Tversky Neural Networks: Psychologically Plausible Deep Learning With (arxiviq.substack.com)

1 points by che_shr_cat 38s ago 0 comments

Single Image –> Multiview Splat (github.com)

1 points by pablovelagomez 7m ago 0 comments

KrebsOnSecurity in New 'Most Wanted' HBO Max Series (krebsonsecurity.com)

1 points by todsacerdoti 7m ago 0 comments

Llevered beta is all you need (ethanding.substack.com)

1 points by whoami_nr 8m ago 0 comments

Early-stage lending fintech founders –> how did you fund your first loan book?

1 points by CocoIemon 11m ago 0 comments

Breaking the Sorting Barrier for Directed Single-Source Shortest Paths (alphaxiv.org)

1 points by chaosprint 12m ago 0 comments

Star leaky app of the week: StarDict (theregister.com)

1 points by LorenDB 17m ago 0 comments

Undefined Behavior in C and C++ (russellw.github.io)

3 points by imadr 20m ago 1 comments

Incorrect Lift Theory (grc.nasa.gov)

2 points by johlo 22m ago 1 comments

Show HN: Private Markdown library for AI agents / development work (markdown-vault.vercel.app)

1 points by lloydjones 24m ago 1 comments

Texas politicians warn Smithsonian it must not lobby to retain its space shuttle (arstechnica.com)

9 points by LorenDB 24m ago 0 comments

Show HN: I made FiscalBud to send invoices fast and worldwide in 77 languages (apps.iridesk.com)

2 points by drex91on 24m ago 0 comments

Hackers Sought a Backdoor in High-Tech Safes – Now Can Open Them in Seconds (wired.com)

3 points by kPwn 25m ago 1 comments

A Puzzling Python Program (jo3-l.dev)

3 points by Bogdanp 28m ago 1 comments

OpenAI returns old models to ChatGPT (venturebeat.com)

3 points by geox 28m ago 0 comments

Rising heat threatens female-male ratio of India's unique gharial crocs (news.mongabay.com)

1 points by PaulHoule 31m ago 0 comments

Show HN: I've built a macOS app to quit biting my nails in homeoffice (stopnailbiting.app)

1 points by kohjakob 32m ago 0 comments

Media Capitulation Index: Who Owns the Media (freepress.net)

3 points by Improvement 33m ago 0 comments

URL Lengthener – The Opposite of a URL Shortener (namitjain.com)

1 points by tart-lemonade 33m ago 0 comments

Asterix: The Mansions of the Gods - Movie Review (2018) (pipelinecomics.com)

1 points by walterbell 37m ago 0 comments

Our European search index goes live (blog.ecosia.org)

2 points by maelito 38m ago 0 comments

Shakespeare – AI Website Builder (shakespeare.diy)

1 points by janandonly 39m ago 0 comments

Mastering Office Politics is a thing (app--power-mentor-42eef654.base44.app)

1 points by adelementary 39m ago 0 comments

Jim Lovell has passed away (seattletimes.com)

1 points by WalterBright 39m ago 2 comments

Administration seeking $1B settlement from UCLA (cnn.com)

12 points by SubiculumCode 41m ago 1 comments

The FCC Will Review Emergency Alert Systems in the US (engadget.com)

2 points by m463 42m ago 0 comments

As Ozempic Shrinks Appetites, Some Restaurants Offer Miniature Meals (nytimes.com)

2 points by edward 42m ago 1 comments

Coplay becomes steward of Unity MCP open‑source automation tool (coplay.dev)

2 points by josvdwest 42m ago 1 comments

GPT-5 AMA with OpenAI's Sam Altman (old.reddit.com)

4 points by amrrs 43m ago 0 comments

C++ Exceptions Are Code Compression – Khalil Estell – ACCU 2025 [video] (youtube.com)

1 points by matt_d 44m ago 0 comments

Unity MCP is being maintained by Coplay (pocketgamer.biz)

1 points by msanatan 44m ago 0 comments

Lifelike robots for sale to the public as Chian opens new store (bbc.com)

1 points by quantified 44m ago 0 comments

Meet the Universe's Earliest Confirmed Black Hole: A Monster at the Dawn of Time (news.utexas.edu)

1 points by wjSgoWPm5bWAhXB 44m ago 0 comments

What Would the Aftermath of the AI Bust Look Like? (thediff.co)

1 points by rwmj 49m ago 0 comments

AI is taking hold in K-12 schools – here are some ways it can improve teaching (theconversation.com)

2 points by rntn 52m ago 0 comments

Free PDF of 'The Anarchist's Tool Chest: Revised Edition' Now Online (blog.lostartpress.com)

3 points by lemonberry 56m ago 3 comments

Making a Billion-Year Lego Clock [video] (youtube.com)

2 points by ColinWright 1h ago 0 comments

REI3 tickets – best open source ticket system? (rei3.de)

1 points by khargara 1h ago 0 comments

Must democracy "deliver the goods" to beat autocracy? (democracyorbust.bearblog.dev)

3 points by tornadofart 1h ago 0 comments

Open source lowcode builder – REI3 looks awesome for business needs (github.com)

1 points by khargara 1h ago 0 comments

Simon Willison on the Talking Postgres podcast: AI for data engineers" (talkingpostgres.com)

1 points by clairegiordano 1h ago 0 comments

Trump Wants UCLA to Pay $1B to Restore Its Research Funding (nytimes.com)

7 points by mitchbob 1h ago 4 comments

ChatGPT Is Still a Bullshit Machine (gizmodo.com)

18 points by 01-_- 1h ago 9 comments

A Guide Dog for the Face-Blind (asimov.blog)

2 points by arto 1h ago 0 comments

"Magic" Cleaning Sponges Found to Release Trillions of Microplastic Fibers (scitechdaily.com)

4 points by 01-_- 1h ago 0 comments

Study finds flavor bans cut youth vaping but slow decline in cigarette smoking (medicalxpress.com)

13 points by PaulHoule 1h ago 10 comments

Slack Threads are utter dog shit, so I made a quote reply extension with gpt5 (github.com)

1 points by KeysToHeaven 1h ago 1 comments

Ask HN: Have we reached the acceptance phase of generative AI?

1 points by wsgeorge 1h ago 3 comments

Is Gen X Nostalgia Just Trauma-Bonding? (wsj.com)

2 points by petethomas 1h ago 1 comments

Buttercup is now open-source (blog.trailofbits.com)

4 points by wglb 1h ago 0 comments

Lurk – A Turing-complete programming language for ZK-SNARKs

31 diggan 2 8/8/2025, 5:03:50 PM github.com ↗

Comments (2)

vincent-manis · 1h ago

“Lurk's distinguishing feature relative to most programming languages is that the correct execution of Lurk programs can be directly proved using SNARKs.”

Do these proofs involve boojums?

noman-land · 1h ago

Curious if there'a any demo apps that are actually deployed that were built with Lurk. It would be nice to see a whole end to end app working, not just example Lurk code.