frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Ironclad – formally verified, real-time capable, Unix-like OS kernel

https://ironclad-os.org/
216•vitalnodo•9h ago•45 comments

Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican

https://simonwillison.net/2025/Nov/9/gpt-5-codex-mini/
47•simonw•4h ago•22 comments

Largest cargo sailboat completes first Atlantic crossing

https://www.marineinsight.com/shipping-news/worlds-largest-cargo-sailboat-completes-historic-firs...
215•defrost•12h ago•142 comments

Marko – A declarative, HTML‑based language

https://markojs.com/
270•ulrischa•13h ago•127 comments

Tabloid: The Clickbait Headline Programming Language

https://tabloid.vercel.app/
184•sadeshmukh•5h ago•30 comments

Runc breaks pods when CPU requests aren't multiples of 10

https://github.com/opencontainers/runc/issues/4982
14•dropbox_miner•3h ago•2 comments

Study identifies weaknesses in how AI systems are evaluated

https://www.oii.ox.ac.uk/news-events/study-identifies-weaknesses-in-how-ai-systems-are-evaluated/
341•pseudolus•17h ago•173 comments

Defeating Kaslr by Doing Nothing at All

https://googleprojectzero.blogspot.com/2025/11/defeating-kaslr-by-doing-nothing-at-all.html
15•aa_is_op•4d ago•0 comments

Forth – is it still relevant?

https://github.com/chochain/eforth
15•lioeters•3h ago•5 comments

Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework

https://github.com/Ido-Levi/Hephaestus
34•idolevi•5d ago•1 comments

Open-source communications by bouncing signals off the Moon

https://open.space/
140•fortran77•6d ago•33 comments

Control structures in programming languages: from goto to algebraic effects

http://xavierleroy.org/control-structures/
134•SchwKatze•5d ago•17 comments

How Airbus Took Off

https://worksinprogress.co/issue/how-airbus-took-off/
41•JumpCrisscross•6h ago•24 comments

Study finds memory decline surge in young people

https://onepercentrule.substack.com/p/under-40s-declining-memory
45•drcwpl•3h ago•8 comments

Avería: The Average Font (2011)

http://iotic.com/averia/
155•JoshTriplett•12h ago•29 comments

Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs

https://www.downtowndougbrown.com/2025/11/debugging-beagleboard-usb-boot-with-a-sniffer-fixing-om...
66•todsacerdoti•9h ago•1 comments

Show HN: Geofenced chat communities anyone can create

https://vicinity.social/
27•clarencehoward•5h ago•20 comments

Syntax and Semantics of Programming Languages (1995)

https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/
27•nill0•4h ago•15 comments

How to build your own VPN, or: the history of WARP

https://blog.cloudflare.com/how-to-build-your-own-vpn-or-the-history-of-warp/
37•yla92•5d ago•8 comments

IRIX Introduction

http://www.sgistuff.net/software/irixintro/index.html
18•naves•6h ago•5 comments

WriterdeckOS

https://writerdeckos.com
168•surprisetalk•13h ago•98 comments

Grok 4 Fast now has 2M context window

https://docs.x.ai/docs/models
46•hereme888•4h ago•52 comments

Show HN: Sparktype – a CMS and SSG that runs entirely in the browser

https://app.sparktype.org
3•mattkevan•4d ago•1 comments

Visa and Mastercard near deal with merchants that would change rewards landscape

https://www.wsj.com/finance/banking/visa-and-mastercard-near-deal-with-merchants-that-would-chang...
12•josephcsible•1h ago•6 comments

Cloudflare scrubs Aisuru botnet from top domains list

https://krebsonsecurity.com/2025/11/cloudflare-scrubs-aisuru-botnet-from-top-domains-list/
130•jtbayly•15h ago•28 comments

Judge denies request to exempt Flock footage from Public Records Act

https://www.goskagit.com/news/local_news/court-denies-request-that-it-find-flock-safety-camera-da...
126•p_ing•7h ago•37 comments

Valdi – A cross-platform UI framework that delivers native performance

https://github.com/Snapchat/Valdi
484•yehiaabdelm•1d ago•199 comments

Show HN: PingStalker – A a macOS tool for network engineers

https://www.pingstalker.com/?hn
21•n1sni•4d ago•2 comments

What Hallucinogens Will Make You See (2023)

https://nautil.us/what-hallucinogens-will-make-you-see-308247/
55•simonebrunozzi•10h ago•58 comments

Why is Zig so cool?

https://nilostolte.github.io/tech/articles/ZigCool.html
508•vitalnodo•1d ago•450 comments
Open in hackernews

You can now directly sync Postgres with Redis

https://github.com/redfly-ai-org/redfly.ai
22•vijaymohan1979•6mo ago

Comments

yohannparis•6mo ago
No Pricing information nor an open-source project. I don't know what to do with this product.
jasonlotito•6mo 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•6mo 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•6mo ago
https://github.com/redfly-ai-org/redfly.ai/wiki/Q-&-A
maxmcd•6mo 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•6mo ago
There’s also Polyscale as a service.
vijaymohan1979•6mo ago
https://github.com/redfly-ai-org/redfly.ai/wiki/Q-&-A
vijaymohan1979•6mo ago
https://github.com/redfly-ai-org/redfly.ai/wiki/Q-&-A
henning•6mo 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•6mo ago
> Yes, I realize the source is there

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

vijaymohan1979•6mo ago
https://github.com/redfly-ai-org/redfly.ai/wiki/Q-&-A
hangonhn•6mo 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•6mo 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•6mo ago
https://github.com/redfly-ai-org/redfly.ai/wiki/Q-&-A
solatic•6mo 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•6mo 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•6mo ago
https://github.com/redfly-ai-org/redfly.ai/wiki/Q-&-A