frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Formalizing Fermat's Last Theorem

https://www.anthropic.com/research/formalizing-fermats-last-theorem
379•jlebar•3h ago•247 comments

Statichost.eu – European static site hosting

https://www.statichost.eu/
108•p4bl0•2h ago•35 comments

Actively exploited sandbox RCE in all Chromium versions

https://nvd.nist.gov/vuln/detail/cve-2026-85046
41•negura•47m ago•7 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/
1386•moultano•10h ago•1114 comments

GPT-6 Astra on OpenRouter

https://openrouter.ai/openai/gpt-6-astra
32•Topfi•1h ago•11 comments

Can AI design circuit boards yet?

https://eebench.org/blog/can-ai-design-circuit-boards-yet/
103•iopapa•2h ago•69 comments

Shutting down our public encrypted DNS

https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-i...
189•mywacaday•3h ago•71 comments

An open DNS recursive service for free security and high privacy

https://quad9.net/
34•mooreds•2h ago•7 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com
200•stingrae•5h ago•65 comments

Government Rails Site Hit Hours After CVE Patch

https://rietta.com/blog/ruby-on-rails-cve-exploited-hours-after-patch/
59•rietta•3h ago•12 comments

The Rust React Compiler is now native in Vite

https://blog.master.dev/react-now-rusted-all-the-way-out/
91•acusti•4h ago•17 comments

Fermat's Last Theorem in Lean 4

https://github.com/anthropics/fermats-last-theorem
39•aaraujo002•3h ago•9 comments

Updates on HEIR, the Homomorphic Encryption Compiler Project

https://www.jeremykun.com/2026/09/04/updates-on-heir-homomorphic-encryption/
7•turtleyacht•1h ago•0 comments

Digital Sovereignty Is Written in PHP

https://thephp.foundation/blog/2026/09/02/digital-sovereignty-is-written-in-php/
9•taubek•2d ago•0 comments

RSA-260 Factorized

https://twitter.com/penlume/status/2095372672356212876
24•samyok•1d ago•5 comments

How to Create a Tor Exit Node

https://madpsy.uk/how-to-create-a-tor-exit-node/
24•Eridanus2•2h ago•17 comments

IBM Bob

https://bob.ibm.com/
206•artpar•9h ago•241 comments

deSEC – Free Secure DNS

https://desec.io/
94•gurjeet•7h ago•37 comments

Solving the Jane Street reverse engineering challenge

https://jestoph.com/2026/09/04/jane-street-challenge.html
369•anitil•12h ago•83 comments

The Wormhole Hall of Shame

https://rznicolet.com/2026/07/05/wormhole-hall-of-shame/
18•rznicolet•4d ago•8 comments

Fomu An FPGA board that fits inside your USB port

https://www.crowdsupply.com/sutajio-kosagi/fomu
19•Bluestein•2d ago•4 comments

Project HydraFusion: Frontier quality via multi-model orchestration

https://github.blog/ai-and-ml/github-copilot/project-hydrafusion-frontier-quality-via-multi-model...
54•qainsights•6h ago•28 comments

Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive

https://torrentfreak.com/adult-film-producer-unmasks-prolific-john-doe-torrent-pirate-as-meta-exe...
282•speckx•5h ago•174 comments

Deadpan Photography: Enjoying the Pretence

https://photoni.st/index.php/2026/07/12/deadpan-photography-enjoying-the-pretence/
22•NaOH•3d ago•12 comments

Some more thoughts on random_page_cost

https://vondra.me/posts/some-more-thoughts-on-random-page-cost/
5•blueshoess•1h ago•0 comments

People that worked on the same idea for decades

https://nityasnotes.com/writing/decades/
48•sebg•1d ago•23 comments

SubImage (YC W25) Is Hiring a Founding Engineer in SF

https://www.ycombinator.com/companies/subimage/jobs/NCTFgKK-founding-engineer
1•alexchantavy•10h ago

"Next-token predictor" is the wrong mental model for LLMs

https://gmcgoldr.github.io/2026/09/04/llm-next-token-predictors.html
48•garrinm•5h ago•111 comments

Icons as a Service

https://nravic.com/blog/images/
3•nravic•54m ago•0 comments

Show HN: TERMy – A fast terminal assistant that does not use LLMs

https://github.com/gioblu/NPC-Forge/blob/main/docs/development.md
79•gioscarab•13h ago•26 comments
Open in hackernews

QueryLeaf: SQL for Mongo

https://github.com/beekeeper-studio/queryleaf
23•tilt•1y ago

Comments

ttfkam•1y ago
Would much rather have "Mongo" for SQL like this:

https://github.com/microsoft/documentdb

I am skeptical that SQL with Mongo backing it would be at all performant except in the most trivial cases. On the flip side, Postgres's jsonb indexing makes the inverse very doable.

Zambyte•1y ago
https://www.ferretdb.com/
VWWHFSfQ•1y ago
We're seeing a convergence of document DBs adding relational features, and relational DBs adding document features. At this point I find the best of both worlds to simply be PG with JSONB.

    create table document (
      id uuid primary key default gen_random_uuid(),
      doc jsonb
    );

This alone will give you a huge number of the features that Mongo provides, but also the full power of Postgres for everything else.
victor106•1y ago
this makes so much sense.

I also wonder if there are some specific capabilities of MongoDB that this pattern does not support?

etse•1y ago
Maybe not capabilities, but I'm wondering if Postgres has gotten any easier to scale horizontally. The administrative overhead of scaling and maintenance with MongoDB seemed lower to Postgres to me.

Would love to hear from others with more Postgres than I.

ttfkam•1y ago
Excluding conversations about MongoDB compatibility, PG16 added bidirectional replication for multiple writers and there are Postgres-compatible options out there for a distributed database including Citus, EDB Postgres Distributed, Yugabyte, CockroachDB, Aurora Limitless, etc.

The choices require some nuance to figure out a best fit, but then again so does any MongoDB installation (despite the marketing hype to the contrary as there are no free lunches).

You might be surprised how far most folks can typically scale with just read replica(s) on a reasonably sized writer. Add in bidirectional replication for multiple writers, and you can go even further. Beyond that, even vanilla Postgres can do it, but you'll need to do some combinations of partitioning and foreign tables.

zareith•1y ago
Curious if there is something similar that works with sqlite.
maxbond•1y ago
As of 3.38 (or 3.45 if you meant a binary JSON structure specifically) https://sqlite.org/json1.html
zareith•1y ago
We can use json type, but the dx around directly using that is not comparable to mongodb. Which is why I was looking for a similar abstraction.
aleksi•1y ago
There is FerretDB v1, which provides MongoDB protocol for SQLite. See https://github.com/FerretDB/FerretDB/tree/main-v1
zareith•1y ago
They seemed to have moved away from that.

From https://docs.ferretdb.io/migration/migrating-from-v1

> Unlike v1.x that provides options for PostgreSQL and SQLite as backend, FerretDB v2.x requires a PostgreSQL with DocumentDB extension as the backend

aleksi•1y ago
FerretDB v2 is built on top of this extension. See https://github.com/FerretDB/FerretDB
gavinray•1y ago
It's somewhat of a secret, but AWS's JDBC driver for DocumentDB supports Mongo as well

Let's you interact with Mongo as if it were a regular SQL JDBC database

https://github.com/aws/amazon-documentdb-jdbc-driver

bdcravens•1y ago
That driver is read-only
gitroom•1y ago
Honestly, putting Mongo and SQL together always confuses me a bit. I'm way more comfy with Postgres and jsonb. Anyone else feel like scaling Postgres is still kinda a pain?
sparky_•1y ago
I can appreciate the technical aspect of a translation layer, but I struggle to understand the use case for a tool like this. If your data is inherently relational, then you should be using a relational store anyway. And if it isn't, trying to hammer it on-demand into something that looks relational is going to eat you with performance implications. Unless I'm missing something.