lurk-rs
owid-grapher
Our great sponsors
lurk-rs | owid-grapher | |
---|---|---|
6 | 198 | |
396 | 1,316 | |
7.3% | 1.7% | |
9.6 | 10.0 | |
7 days ago | 7 days ago | |
Rust | TypeScript | |
Apache License 2.0 | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lurk-rs
-
Ask HN: Who is hiring? (December 2022)
Lurk Lab @ Protocol Labs | Multiple Positions | REMOTE | Full-time
Lurk Lab is building Lurk (https://github.com/lurk-lang), a Turing-complete programming language for recursive zk-SNARKs. Lurk implements a minimal Lisp whose program executions can be proved in zero-knowledge, yielding succinct proofs that are concretely small and fast to verify. Lurk uses a Rust implementation (https://github.com/lurk-lang/lurk-rs) for expression evaluation, proving, and verification, with Nova (https://github.com/microsoft/Nova/) as its proving backend. Because Lurk is Turing-complete, it can be used to make and prove arbitrary computational claims (within resource limits).
We are looking for strong cryptography engineers, researchers, functional programming language specialists, applications developers, and start-up leaders/web3 entrepreneurs who want to build next-generation SNARK technology.
Ideal candidates will be knowledgeable about the state of the art in zero-knowledge proofs and (if looking for an engineering position) strong in Rust.
We are specifically hiring for:
- Rust Cryptography Engineers
-
Ask HN: Who is hiring? (November 2022)
Lurk Lab is building Lurk (https://github.com/lurk-lang), a Turing-complete programming language for recursive zk-SNARKs. Lurk implements a minimal Lisp whose program executions can be proved in zero-knowledge, yielding succinct proofs that are concretely small and fast to verify. Lurk uses a Rust implementation (https://github.com/lurk-lang/lurk-rs) for expression evaluation, proving, and verification, with Nova (https://github.com/microsoft/Nova/) as its proving backend. Because Lurk is Turing-complete, it can be used to make and prove arbitrary computational claims (within resource limits).
We are looking for strong cryptography engineers, researchers, documentation specialists, applications developers, and start-up leaders/web3 entrepreneurs who want to build next-generation SNARK technology. Relevant programming languages include Rust, Lisp, and (less significantly) WASM.
We are hiring for:
- Rust Cryptography Engineers, https://grnh.se/d94e94ec4us
- Software Engineers for Lurk Application Development, https://grnh.se/de7e82424us
- Documentation Engineer, https://grnh.se/10e2ca4d4us
- Start-up operator / business lead (currently unlisted, email [email protected] with CV and a brief cover letter describing your experience driving the business end of deep technical projects in the web3 space)
-
How to Prove You Know a Secret Without Giving It Away
I recently published a fairly detailed blog post about how to formulate expressive provable programs in Lurk (https://github.com/lurk-lang/lurk-rs). Although this post goes into no details about the underlying proving mechanism, it does build to some pretty powerful ideas. If you haven't thought about the implications of being able to prove correctness of a computation without revealing some or all details of what the computation actually was, you might enjoy it. https://blog.lurk-lang.org/posts/prog-intro/
-
Ask HN: Who is hiring? (October 2022)
Lurk Lab @ Protocol Labs | Multiple Positions | REMOTE | Full-time contract-to-hire
Lurk Lab is building Lurk (https://github.com/lurk-lang), a Turing-complete programming language for recursive zk-SNARKs. Lurk implements a minimal Lisp whose program executions can be proved in zero-knowledge, yielding succinct proofs that are concretely small and fast to verify. Lurk uses a Rust implementation (https://github.com/lurk-lang/lurk-rs) for expression evaluation, proving, and verification, with Nova (https://github.com/microsoft/Nova/) as its proving backend. Because Lurk is Turing-complete, it can be used to make and prove arbitrary computational claims (within resource limits).
We are looking for strong cryptography engineers, researchers, documentation specialists, applications developers, and start-up leaders/web3 entrepreneurs who want to build next-generation SNARK technology. Relevant programming languages include Rust, Lisp, and (less significantly) WASM.
We are hiring for:
- Rust Cryptography Engineers, https://grnh.se/d94e94ec4us
-
Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme
Nova (for example) doesn't require a trusted setup. The circuit is just a schematic description of the underlying computation. In the case of the Lurk core language, this computation is 'one reduction step of a Lurk evaluation' (https://github.com/lurk-lang/lurk-rs/blob/master/spec/reduct...). Coming up with a 'fixed computation' that yields general computation is part of the design problem for Lurk (or any other Lurk-like language). Even if we did need a per-circuit trusted setup (which we don't), we could perform such a setup for our core circuit and use it to prove arbitrary programs. For example, although we have not actually performed the trusted setup, we do have an example using Groth16 (which does require a trusted setup to be secure) and aggregates the potentially many discrete reduction steps to produce a succinct proof.
owid-grapher
-
IT Healthcare: Its Importance, Challenges And How To Find Good Healthcare Data
Let’s begin with a data visualization-friendly resource.
-
Why Are Older Americans Drinking So Much?
Here's a dashboard: https://ourworldindata.org/
Pick almost anything to see a positive trend.
-
Observable 2.0, a static site generator for data apps
I think the idea of Framework is really good, but static data limits the applications, excluding monitoring and other cases in which the data is constantly changing, but the dashboard can stay as it is. For example, I'd love to see a revamped Framework version of the LHC beam monitor and related pages (see https://op-webtools.web.cern.ch/vistar/, but check again in 2 months or so, when the accelerator will be running).
In high-energy physics, ROOT is /the/ toolkit for data analysis, and I guess jsROOT (https://root.cern.ch/js/) could also be used to load data to be shown in Framework dashboards. I thought the idea of Framework as a blogging engine with powerful data visualization built-in could be very interesting. Think, for example, about physicists pulling open data (https://opendata.cern.ch) and writing about their analysis or someone pulling data from https://ourworldindata.org/ in their own visualizations to support their case while writing about a particular subject, etc.
-
When I look into the future I see nothing.
This is patently false. Visit ourworldindata.org and look at the data for the past few hundred years. 17th-century English philosopher Thomas Hobbes famously wrote the "the life of man [is] solitary, poor, nasty, brutish, and short," which was largely accurate in the 17th century. Today, the poorest people in developed nations enjoy a standard of living that royalty of Hobbes time would have envied. And while the percentage of humanity living in extreme poverty increased from 8.5% to just above 9% in 2022, overall it's down from 80% in the year 1800. We have made similar strides in the areas of education and healthcare.
- The Techno-Optimist Manifesto
-
This single dad makes $75K a year. He can't find affordable housing in Vancouver for him and his son
If your statement were true, we wouldn't be living in a world where every measure of human well being only goes up.
-
Project Ideas!! Need Guidance
I don't have any ideas, but I'm just sharing this in case you're not aware https://ourworldindata.org/
- Ein tatsächlich guter Artikel über Fleischersatzprodukte. „Was Sie über Fleischersatzprodukte wissen sollten“
-
53% of parents say climate change affects their decision to have more kids
Not according to Worldometers.info, nor by ourworldindata.org or worldpopulationreview.com. Wikipedia gives India a slight edge.
-
The global trade of plastic waste [OC]
The data comes from ourworldindata.org and from the OECD website. Pretty simple !
What are some alternatives?
sprig - 🍃 Learn to code by making games in a JavaScript web-based game editor.
seaborn - Statistical data visualization in Python
Nova - Nova: High-speed recursive arguments from folding schemes
plotly - The interactive graphing library for Python :sparkles: This project now includes Plotly Express!
twenty-first - Collection of mathematics routines and cryptography for the twenty-first century
prettymaps - A small set of Python functions to draw pretty maps from OpenStreetMap data. Based on osmnx, matplotlib and shapely libraries.
HANDSONTABLE - JavaScript data grid with a spreadsheet look & feel. Works with React, Angular, and Vue. Supported by the Handsontable team ⚡
nexe - 🎉 create a single executable out of your node.js apps
taiga - A framework for generalized shielded state transitions
abstreet - Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit
o1js - TypeScript framework for zk-SNARKs and zkApps
deno - A modern runtime for JavaScript and TypeScript.