juvix VS cli

Heliax | Multiple roles | REMOTE (+-2 hours from CEST ideal) | Full Time | https://heliax.dev/jobs#all-jobs

Heliax is a public goods lab which was built on years of pioneering experience across distributed systems, programming language theory, and zero-knowledge cryptography. All our work is open-source. Examples of some of our projects are Namada (https://github.com/anoma/namada), a sovereign proof-of-stake blockchain; Juvix (https://github.com/anoma/juvix), an experimental programming language; and Taiga (https://github.com/anoma/taiga), a framework for generalized shielded state transitions.

We are currently actively hiring for a number of positions, most notably Senior Rust Engineers, Senior Full Stack Engineers, and a Protocol Security Lead.

For the Senior Rust Engineer position, we are looking for experienced Rust developers that are interested in applying novel research to create high-quality open-source technology and solve outstanding problems in the blockchain space. You'll be working on distributed ledger technology implemented in Rust, all the way up and down the stack from the P2P layer to consensus algorithms, smart contract systems, proof-of-stake incentive mechanisms, privacy-enhancing cryptographic components, and on-chain governance procedures.

For the Senior Full Stack Engineer position, we are looking for either web developers with experience using TypeScript and other modern web frameworks or software developers who have experience with Rust. Some representative examples of features you’ll be working on in this role are: adding support for Ledger hardware wallet connectivity, support for generation and use of file-based keys, generation of shielded transactions using cryptographic libraries, display of any digital asset (including NFTs) and associated transaction history, and on-chain management of staking and governance. It's a plus if you've previously worked with WebAssembly.

For the Protocol Security Lead, you'll be responsible for breaking protocols both in theory and practice in and outside the company, and assembling a team to help them do so. You'll receive a high degree of latitude and autonomy to prioritize tasks and search for the weakest links in complex systems in order to break them. The rough structure could be compared to Google Project Zero, but with a focus on cryptographic protocols & implementations instead of web technology writ large.

> What are the companies that do exciting stuff in compilers?

Some companies solve problems that have a larger component of parsing and evaluating things.

One example is Hasura's SQL-to-GraphQL layer: https://hasura.io/

Another example is GitHub's CodeQL: https://github.com/github/codeql

A third example -- I forget the name of the company -- parses Counter-Strike games real-time and restructures this data for better analytical introspection, e.g. for betting, time-scrollable replay, 2D rendering, etc. There appears to be a lot of hard-earned going from a stream of events monkey-patched over two decades, to a complete model of a game (who's on what team, who is dead, what round is this, etc.)

Microsoft does a lot of interesting compiler-related stuff, too, of course.

Then there's blockchain: A lot of programming-language enthusiasts have been employed to write VMs and DSLs to express safe application-level environments. An example is Anoma's Juvix: https://github.com/anoma/juvix

A job I was looking at involved building a more programmatic interface to some legacy SCADA systems, i.e. make old factory monitoring systems interoperate via a DSL. The idea, I think, is to transform and manage the configuration files from a dynamic GUI system.

tl;dr: If your main tool is a compiler, there are compiler problems everywhere.

I dont know how hard it would be to port it to other platforms. Different Virtual machine.

Tezos uses a human readable stack based language as a low level represenation that is suited for formal proofs: https://tezos.gitlab.io/008/michelson.html

If archetype depends on that then its going to be hard to port but i dont think it does.

Another interesting project in development is https://juvix.org/ which targets more backends beside michelson like llvm and wasm. Might run on eth2/Ewasm.

There are also blockchain specific features like: https://medium.com/tqtezos/tickets-on-tezos-part-1-a7cad8cc7...

Rust is very nice and might be a good fit for smart contracts tough i am not sure what you really gain over Haskell. In Tezos you have a more developed ecosystem and can code in Python, Ligo, Archetype, Haskell and in the future Juvix. You also have a human readable low level (assembly like) representation in Michelson that you can do optimizations and/or run formal proofs with Coq. Smart contracts are a very very special beast and i am somewhat sceptical about developing them in a general purpose language vs a domain/smart contract specific one in the long run (but i could be wrong here).

and in the future: https://juvix.org/ (This stuff is just ridiculously advanced)

Github: https://github.com/metastatedev/juvix

Best regards,

You need an access token from ipinfo to access their API. Go to ipinfo.io and sign up for an account. After signing up, you'll get an access token. Keep it handy as we'll need it in the next step.

stories: - name: get-ip-info steps: - name: get-ip url: https://api.ipify.org/?format=json http_method: GET - name: get-location url: https://ipinfo.io/${{steps.get-ip.response.body.ip}}/geo http_method: GET expectations: - field: Body operation: Contains value: "Australia" schedule: initial_delay: 10 interval: 60 alerts: - url: https://my.site/notify

3- IPinfo

Mullvad VPN location set to Frankfurt germany

Using the us east test server:

Proxy Score: 10/100 - Very likely not a Proxy

VPN Score: 0/55 - Very likely not a VPN

Using german test server:

Proxy Score: 10/100 - Very likely not a Proxy

VPN Score: 30/55 - Very likely a VPN

The thing that changed between both tests was the flow latencies vs ping latencies check. Clicking on more info it said: "flow variance too large in relation to avg flow: 0.6937484181219945"

I guess it works kinda, but not very consistent.

But e.g. https://ipinfo.io/ reveals immediately that this IP is a VPN IP address.

If it's a work computer it may be connecting to it's own VPN automatically. If you go to a site like https://ipinfo.io/ do you recognize the external IP address, region, and org?

Then just check IP of the server when ping is high for you, put IP in https://ipinfo.io/, and block range for all other servers in same datacenter.

3. Check the IP address information by ipinfo.io, and confirm the IP location information is right with okeyproxy's we pasted into ProxyHelper.

IPinfo.io | Various Roles | Remote (Anywhere) | Fulltime / Contract | https://ipinfo.io

IPinfo is a leading provider of IP address data. Our API handles almost 100 billion requests a month, and we also license our data for use in many products and services you might have used. We started as a side project back in 2013, offering a free geolocation API, and we've since bootstrapped ourselves to a profitable business with a global team of over 20, and grown our data offerings to include geolocation, IP to company, carrier detection, and VPN detection. Our customers include T-Mobile, Nike, DataDog, DemandBase, Clearbit and many more.

We're looking for exceptional and ambitious people to join our team. The main role we're hiring for currently is a Product Manager - ideally with SaaS/DaaS experience, and a technical understanding of our products / services. Apply here: https://ipinfo.bamboohr.com/careers/45?source=aWQ9Mjg%3D

We're always on the look out to strong software or data engineers with an internet measuremenet / analysis background to join our team too. Any questions about the roles or IPinfo feel free to reach out to me directly at [email protected]

2023-11-07T10:10:50+01:00 ERROR [ip getter] Get "https://ipinfo.io/": dial tcp: lookup ipinfo.io on 1.1.1.1:53: write udp 172.18.0.22:41311->1.1.1.1:53: write: operation not permitted - retrying in 5s