~lobsters | Bookmarks (241)

clear filters

programming ×

zkSNARKs & zkSTARKs: A Novel Verifiable Computation Model

illya.sh

If you’ve heard of blockchain, you’ve likely heard of Zero-Knowledge Proofs (ZKP) and protocols build on...
If you’ve heard of blockchain, you’ve likely heard of Zero-Knowledge Proofs (ZKP) and protocols build on top of them like zkSNARKs and zkSTARKs. You may have also heard of zkLocus, which leverages these technologies to turn geolocation data into a Real World Asset (RWA) on-chain, and enable private and verifiable ge...

privacy programming
1
GitHub - linkdd/doceaser: Interactive documentation with Markdown and HTMX made easier

github.com

Hello there! This project is a bit of a proof concept, I wanted to generate documentation...
Hello there! This project is a bit of a proof concept, I wanted to generate documentation from Markdown files and be able to embed forms and other dynamic content in it using HTMX. This is how DocEaser was born. Comments

programming
1
“Tear”able Puns, and Worse Ideas: A Minimally Thread-Safe Cell

shift.click

programming
1
What are you doing this weekend? | Lobsters

lobste.rs

Feel free to tell what you plan on doing this weekend and even ask for help...
Feel free to tell what you plan on doing this weekend and even ask for help or feedback. Please keep in mind it’s more than OK to do nothing at all too!

ask programming
1
A math puzzle and a better algorithm for top-k | Quickwit

quickwit.io

compsci engineering math programming
1
p.b. hua

pbt.dev

2024-04-09 This is not just the source code; this is the user interface itself. Try checking...
2024-04-09 This is not just the source code; this is the user interface itself. Try checking off a todo or typing in one. (view full screen) At the Recurse Center, I thought a lot about computers. In a group I facilitated, the subject of the Dynabook came up: Alan Kay and Adele Goldberg’s vision for a programmable p...

programming web
1
Some notes on for loops

buttondown.email

April 10, 2024 Don't let Alloy facts make your specs a fiction, about formal methods practices...
April 10, 2024 Don't let Alloy facts make your specs a fiction, about formal methods practices (and a lot of Alloy). Patreon link here. I sometimes like to sharpen the axe by looking at a basic programming concept and seeing what I can pull out. In this case, for loops. There are two basic forms of for loops: for(i ...

programming
1
Crystal 1.12.0 is released!

crystal-lang.org

We are announcing a new Crystal release with several new features and bug fixes. Pre-built packages...
We are announcing a new Crystal release with several new features and bug fixes. Pre-built packages are available on GitHub Releases and our official distribution channels. See crystal-lang.org/install for instructions. Stats This release includes 142 changes since 1.11.2 by 14 contributors. We thank all the contrib...

programming
1
Chris's Wiki :: blog/programming/ConfigureNoSourceCodeChanges

utoronto.ca

programming
2
Carbon Copy Newsletter No.2 · carbon-language/carbon-lang · Discussion #3869

github.com

programming
1
What are you doing this week? | Lobsters

lobste.rs

What are you doing this week? Feel free to share! Keep in mind it’s OK to...
What are you doing this week? Feel free to share! Keep in mind it’s OK to do nothing at all, too.

ask programming
1
A TODO that lives inside your REPL

asciinema.org

programming video
1
Solving Advent of Code ’23 “Aplenty” by Compiling

abhinavsarkar.net

compilers haskell interpreters parsing programming
1
Learning lower-level programming | James' Coffee Blog

jamesg.blog

For most of my programming life, I have worked with the abstractions made by others. I...
For most of my programming life, I have worked with the abstractions made by others. I have used tools that use well-researched and clearly defined data structures to solve problems, rather than learning about them myself. Indeed, abstraction lets me stand on the shoulders of giants, using existing implementations o...

programming
1
eC Programming Language

ec-lang.org

import "ecere" #include <stdio.h> class Spell { public: int difficulty; int damage; int manaCost; virtual void...
import "ecere" #include <stdio.h> class Spell { public: int difficulty; int damage; int manaCost; virtual void Backfire(Creature self, Creature opponent) { self.health -= damage/4; } virtual void Success(Creature self, Creature opponent) { if(damage > opponent.health) damage = opponent.health; PrintLn(self._class.na...

programming
1
Do you have any programming "white whales"? | Lobsters

lobste.rs

I know many of us here have side projects. I’m wondering if there’s a project that...
I know many of us here have side projects. I’m wondering if there’s a project that you never figured out how to finish. Maybe it requires an non-existent algorithm, or the scope is too large for one person. Despite the barrier, it continues to live rent-free in your brain and you return to it occasionally hoping that you’ll crack it this time. I’m curious...

ask programming
1
Custom Artifacts Directories – Happenings in GNOME

gnome.org

programming
1
XXIIVV — modal

xxiivv.com

plt programming
2
What are you doing this weekend? | Lobsters

lobste.rs

Feel free to tell what you plan on doing this weekend and even ask for help...
Feel free to tell what you plan on doing this weekend and even ask for help or feedback. Please keep in mind it’s more than OK to do nothing at all too!

ask programming
1
Why Don't I Like Git More?

matduggan.com

git opinion programming rant vcs
2
Pandoc: Convert links to footnotes (the easy way) | Garrit's Notes

garrit.xyz

lua programming
1
Software Unscripted

pod.link

audio programming
1
GitHub - linkdd/logfmtxx: Header only C++23 structured logging library using logfmt

github.com

c++programming
2
Programming Apprenticeships

two-wrongs.com

programming
1