some-assembly-required
Nova
Our great sponsors
some-assembly-required | Nova | |
---|---|---|
15 | 6 | |
3,000 | 641 | |
1.3% | 3.3% | |
6.5 | 8.6 | |
5 months ago | 11 days ago | |
Assembly | Rust | |
GNU General Public License v3.0 or later | 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.
some-assembly-required
- Some assembly required: An approachable introduction to assembly
-
Show HN: Sprig, open-source game console and engine, by teenagers, for teenagers
See also:
"Some Assembly Required: An approachable introduction to assembly" - https://github.com/hackclub/some-assembly-required
https://news.ycombinator.com/item?id=31909183 (587 points | 4 months ago | 125 comments)
-
Ask HN: Who is hiring? (November 2022)
Hack Club | Full-time, Part-time or Contract | ONSITE | Vermont, US | https://hackclub.com
Hello friends,
I come from the game dev world where I led the team on the Crash Bandicoot reboot trilogy and helped ship two of the Destiny 2 expansions. Iām now building out a team here at Hack Club that will make inspiring technical and creative projects with and for thousands of the most technical teenagers youāll probably ever meet.
In the past 3 months, weāve shipped an open source game console ( https://github.com/hackclub/sprig ) that you can only get by building a game for it, a guide to assembly language thatās now the 4th most popular GitHub repo written in assembly ( https://github.com/hackclub/some-assembly-required ), and a teaser for a game we're producing about love and graphing (https://hack.af/sr ).
For this role, Iām looking for a technical partner-in-crime with a few notches in your belt.
JOB DESCRIP/APPLY: https://hiring.hackclub.com/26020 or email [email protected]
-
PAID - Creative Technologist
We do this by creating open-source projects which serve the community like a transparent ābankā for nonprofits, a game console you can only get by building a game for it, a guide to assembly language, a cross-country hackathon on a train. Hack Club supports and grows our community by facilitating wholesome social spaces online and in-person.
- Meus caros, vocĆŖs possuem dicas para aprender a linguagem assembly ?
-
Lensm: Go Assembly and Source Viewer
A recent YC article mentioned this [site] (https://github.com/hackclub/some-assembly-required/)
-
Embedded Systems Weekly #107
Some Assembly Required An approachable introduction to assembly that can be read in 30 minutes if you skip code examples. Although it's probably interesting to take a bit more time to try to read them and understand the details.
-
Hacker News top posts: Jun 29, 2022
Some Assembly Required: An approachable introduction to assembly\ (119 comments)
- hackclub/some-assembly-required: An approachable introduction to assembly. Has 6502.
- Teenagersā 30 minute guide to writing in Assembly
Nova
-
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)
-
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
-
[AMA] We are EF Research (Pt. 8: 07 July, 2022)
There's been a lot of VDF progress. The new design is Sloth + SNARKs (specifically Nova with GPU-accelerated MSMs). We will have an end-to-end demo of a CPU-based VDF in a few weeks, and the first VDF ASICs test samples (12nm GlobalFoundries) will be produced in December 2022.
-
Lurk ā Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme
Arkworks isn't really addressing the core of what Lurk provides. In theory, we could use Arkworks to implement a backend ā but we are targeting Nova (https://github.com/microsoft/Nova), and I don't think Arkworks supports Nova currently. So the part we are building from scratch (the language itself) is at a higher level of abstraction. We like Nova's characteristics and are actively helping with aspects of its implementation so we can use it as soon as possible.
-
RiB Newsletter #26
Nova. Recursive SNARKs without trusted setup.
What are some alternatives?
lensm - Go assembly and source viewer
blst - Multilingual BLS12-381 signature library
collisions - Hash collisions and exploitations
jsonrpsee - Rust JSON-RPC library on top of async/await
GitJournal - Mobile first Note Taking integrated with Git
zexe - Rust library for decentralized private computation
sprig - š Learn to code by making games in a JavaScript web-based game editor.
winterfell - A STARK prover and verifier for arbitrary computations
job-descriptions
anoma - Reference implementation of the Anoma protocols in Rust.
the-hacker-zephyr - š The Hacker Zephyr: A cross-country hackathon on a train! This repo: all of our planning documents, finances, and code open sourced.
taiga - A framework for generalized shielded state transitions