frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

GPT-5.6 used a prompt to close a 30-year gap in convex optimization

https://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/
374•mbustamanter•6h ago•219 comments

The Kimi K3 Moment

https://stephen.bochinski.dev/blog/2026/07/18/the-kimi-k3-moment/
38•sbochins•1h ago•22 comments

Gleam Is Now on Tangled

https://tangled.org/gleam.run/gleam
121•nerdypepper•3h ago•69 comments

Goodbye, and Thanks for All the Bikesheds

https://queue.acm.org/detail.cfm?id=3818307
103•Ygg2•1h ago•87 comments

If You Build It, They Will Come

https://www.benlandautaylor.com/p/if-you-build-it-they-will-come
85•barry-cotter•3h ago•30 comments

Elixir-lang.org has a new design

https://elixir-lang.org/
96•bbg2401•3h ago•61 comments

Is this the end of the once-mighty GoPro?

https://amateurphotographer.com/latest/photo-news/going-going-gone-is-this-the-end-of-the-once-mi...
142•aanet•3d ago•245 comments

Our Approach to Bioresilience: Isomorphic Labs and Google DeepMind

https://deepmind.google/blog/our-approach-to-bioresilience/
35•bookofjoe•3h ago•18 comments

Fable 5 vs. GPT-5.6 Sol on an NP-Hard Problem: Does /goal help?

https://charlesazam.com/blog/fable-5-gpt-5-6-sol-goal/
167•couAUIA•8h ago•85 comments

REO Trucks I4 4WD Pickup Truck Starts at $21,500

https://reotrucks.com
46•b_mc2•1h ago•46 comments

What's the deal with all the random weekly quota resets for agents lately?

https://minimaxir.com/2026/07/agent-quota-reset/
4•minimaxir•20m ago•0 comments

Setting up your spare Mac for Claude Code to control, a step-by-step guide

https://ykdojo.github.io/claude-controls-mac/
98•ykev•3h ago•74 comments

Regressive JPEGs

https://maurycyz.com/projects/bad_jpeg/
596•vitaut•16h ago•62 comments

LG monitors silently install software through Windows Update without consent

https://videocardz.com/newz/lg-monitors-silently-install-software-through-windows-update-without-...
804•baranul•9h ago•405 comments

Tech note: making your own V-I plots at home

https://lcamtuf.substack.com/p/tech-note-making-your-own-v-i-plots
45•zdw•23h ago•6 comments

Show HN: Q3Edit – Edit and play Quake 3 maps in the browser

https://q3edit.com
33•drdator•4h ago•8 comments

A Second-Grade Teacher Revived a Beloved Video Game

https://www.nytimes.com/2026/07/13/style/backyard-baseball-video-game-teacher.html
38•danso•5d ago•15 comments

Show HN: Get alerts for good seats at 70mm IMAX showings of The Odyssey

https://imaxxing.io/
14•andrewtorkbaker•1h ago•10 comments

What AI did to stackoverflow in a graph

https://data.stackexchange.com/stackoverflow/query/1953768#graph
301•secretslol•8h ago•348 comments

How GitHub gave every repository a durable owner

https://github.blog/security/application-security/how-github-gave-every-repository-a-durable-owner/
33•ascertain•1w ago•5 comments

GTX 1080s: Testing a Legend

https://www.lttlabs.com/articles/2026/07/15/gtx-1080s-revisiting-legends
50•LabsLucas•2d ago•18 comments

Thanks HN for 15 years of support and helping me find my life's work

766•nicholasjbs•1d ago•97 comments

The Fermi Paradox, Percolation, and Inbreeding

https://reactormag.com/the-fermi-paradox-percolation-and-inbreeding/
18•bryanrasmussen•3h ago•25 comments

The Computer at the Bottom of a Canal

https://negroniventurestudios.com/2026/07/18/the-computer-at-the-bottom-of-a-canal/
117•Kudos•10h ago•25 comments

Reviving a 15-year-old netbook with Arch Linux

https://parksb.github.io/en/article/41.html
197•parksb•4d ago•134 comments

Fake food delivery site for the dopamine

https://old.reddit.com/r/BingeEatingDisorder/comments/1uzr3ui/fake_food_delivery_site_for_the_dop...
61•guerrilla•3h ago•25 comments

EU ban on destruction of unsold clothes and shoes enters into application

https://environment.ec.europa.eu/news/ban-destruction-unsold-clothes-and-shoes-enters-application...
207•robtherobber•5h ago•193 comments

Qubes OS Security in the Public Record

https://arxiv.org/abs/2607.14587
64•sciences44•10h ago•9 comments

British runner Josh Kerr breaks world record for mile which stood for 27 years

https://news.sky.com/story/british-runner-josh-kerr-breaks-world-record-for-mile-which-had-stood-...
71•austinallegro•4h ago•48 comments

No link between acetaminophen use during pregnancy and adverse birth outcomes

https://sph.unc.edu/sph-news/no-link-between-acetaminophen-use-during-pregnancy-and-adverse-birth...
43•geox•3h ago•23 comments
Open in hackernews

You can now directly sync Postgres with Redis

https://github.com/redfly-ai-org/redfly.ai
22•vijaymohan1979•1y ago

Comments

yohannparis•1y ago
No Pricing information nor an open-source project. I don't know what to do with this product.
jasonlotito•1y ago
Assuming the link to the repo is correct: it's open source.

https://github.com/redfly-ai-org/redfly.ai/blob/main/LICENSE

bradleyjkemp•1y ago
I believe this is another case of abusing GitHub for visibility, not actually doing anything meaningful open source

The code in the repo just seems to be connection code ("provides a way for anybody to test our Redis synchronization service on demand") rather than the sync service itself

vijaymohan1979•1y ago
https://github.com/redfly-ai-org/redfly.ai/wiki/Q-&-A
maxmcd•1y ago
Since db cache consistency is a complex research space with things like https://readyset.io/ and https://www.usenix.org/system/files/conference/nsdi13/nsdi13... it would be great to hear more specifics about what this is giving up in order to sidestep all that complexity.
_1tem•1y ago
There’s also Polyscale as a service.
vijaymohan1979•1y ago
https://github.com/redfly-ai-org/redfly.ai/wiki/Q-&-A
vijaymohan1979•1y ago
https://github.com/redfly-ai-org/redfly.ai/wiki/Q-&-A
henning•1y ago
It'd be nice to see documentation of how it works. Is it using a replication channel for Postgres? The write-ahead log? It looks like it does schema introspection and then works off that. How does it handle schema changes? How does this work in scenarios where you have multi-master replication? What's the compatibility with popular Postgres extensions like PostGIS? What happens if the database is rebooted or crashes? Yes I realize the source is there.
porridgeraisin•1y ago
> Yes, I realize the source is there

It isn't actually. The codein the repo just seems to be some scaffolding.

vijaymohan1979•1y ago
https://github.com/redfly-ai-org/redfly.ai/wiki/Q-&-A
hangonhn•1y ago
Did you really mean to leave your AES key in the code in RedflyEncryptionKeys?

> public const string AesKey = ...

Also, the way AES is used in the code is not good practice. It seems to be using plain AES ( https://learn.microsoft.com/en-us/dotnet/api/system.security... ), which isn't meant to be used bare like that. It needs to be coupled with a digest algorithm to protect the ciphertext. Maybe use AesGcm instead?

foxyv•1y ago
The reason for this is that AES is not an authenticated algorithm so there is no way to determine if the ciphertext has been modified since encryption. The ciphertext could be modified/corrupted and you wouldn't know.

Also, AES is deterministic and will encrypt the same data the same way every time. This means if you are encrypting a lot of fields you will be able to do statistical attacks. Using an initialization vector with AES GCM is similar to salting a hash. This way there is no statistical method to determine the contents of the ciphertext.

vijaymohan1979•1y ago
https://github.com/redfly-ai-org/redfly.ai/wiki/Q-&-A
solatic•1y ago
Can someone ELI5 where this is going to be valuable?

If you set up Postgres read replicas, make sure your queries are covered by appropriate indexes, and your hot queries are handled by Postgres from RAM anyway - do you really need a separate Redis cache?

I feel like anytime I'm going to pull in Redis for a cache, it's going to be for data that I'm not interested in having guaranteed persistency for, like session tokens, and so it'll be for data that I wouldn't be storing in Postgres anyway?

lotharcable•1y ago
Probably useful for sharing stuff with services that already have access to redis, but you don't want to add SQL client dependencies for and/or don't want to give access to your database.

But you want to be able to store/have single source of authority and update them using a SQL database.

This would then eliminate the need to maintain a separate lambda or cron job or something like that to keep them in sync.

vijaymohan1979•1y ago
https://github.com/redfly-ai-org/redfly.ai/wiki/Q-&-A