frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Synadia and TigerBeetle Commit $512k USD to the Zig Software Foundation

https://www.synadia.com/blog/synadia-tigerbeetle-zig-foundation-pledge
189•derekcollison•2h ago•38 comments

Making a micro Linux distro (2023)

https://popovicu.com/posts/making-a-micro-linux-distro/
64•turrini•2h ago•17 comments

React vs. Backbone in 2025

https://backbonenotbad.hyperclay.com/
182•mjsu•6h ago•131 comments

The future of Python web services looks GIL-free

https://blog.baro.dev/p/the-future-of-python-web-services-looks-gil-free
68•gi0baro-dev•6d ago•22 comments

Unlocking free WiFi on British Airways

https://www.saxrag.com/tech/reversing/2025/06/01/BAWiFi.html
445•vinhnx•1d ago•104 comments

The Swift SDK for Android

https://www.swift.org/blog/nightly-swift-sdk-for-android/
608•gok•19h ago•241 comments

People with blindness can read again after retinal implant and special glasses

https://www.nbcnews.com/health/health-news/tiny-eye-implant-special-glasses-legally-blind-patient...
218•8bitsrule•4d ago•61 comments

Windows 10 Deadline Boosts Mac Sales

https://www.macrumors.com/2025/10/25/windows-10-deadline-boosts-mac-sales/
23•akyuu•32m ago•3 comments

Valetudo: Cloud replacement for vacuum robots enabling local-only operation

https://valetudo.cloud/
346•freetonik•5d ago•145 comments

DNA reveals the real killers that brought down Napoleon's army

https://www.gavi.org/vaccineswork/dna-reveals-real-killers-brought-down-napoleons-army
41•janandonly•2h ago•41 comments

First shape found that can't pass through itself

https://www.quantamagazine.org/first-shape-found-that-cant-pass-through-itself-20251024/
477•fleahunter•1d ago•132 comments

Key IOCs for Pegasus and Predator Spyware Removed with iOS 26 Update

https://iverify.io/blog/key-iocs-for-pegasus-and-predator-spyware-cleaned-with-ios-26-update
141•transpute•13h ago•87 comments

Context engineering is sleeping on the humble hyperlink

https://mbleigh.dev/posts/context-engineering-with-links/
136•mbleigh•2d ago•57 comments

Study: MRI contrast agent causes harmful metal buildup in some patients

https://www.ormanager.com/briefs/study-mri-contrast-agent-causes-harmful-metal-buildup-in-some-pa...
192•nikolay•19h ago•165 comments

Harnessing America's heat pump moment

https://www.heatpumped.org/p/harnessing-america-s-heat-pump-moment
188•ssuds•19h ago•401 comments

What is intelligence? (2024)

https://whatisintelligence.antikythera.org/
127•sva_•14h ago•81 comments

The State of Machine Learning Frameworks in 2019

https://thegradient.pub/state-of-ml-frameworks-2019-pytorch-dominates-research-tensorflow-dominat...
11•jxmorris12•3d ago•5 comments

I invited strangers to message me through a receipt printer

https://aschmelyun.com/blog/i-invited-strangers-to-message-me-through-a-receipt-printer/
253•chrisdemarco•6d ago•97 comments

Public Montessori programs strengthen learning outcomes at lower costs: study

https://phys.org/news/2025-10-national-montessori-early-outcomes-sharply.html
333•strict9•2d ago•197 comments

The persistence of tradition: the curious case of Henry Symeonis (2023)

https://blogs.bodleian.ox.ac.uk/archivesandmanuscripts/2023/12/13/the-persistence-of-tradition-th...
21•georgecmu•3d ago•0 comments

The geometry of mathematical methods

https://books.physics.oregonstate.edu/GMM/book.html
51•kalind•5d ago•3 comments

Code like a surgeon

https://www.geoffreylitt.com/2025/10/24/code-like-a-surgeon
203•simonw•1d ago•109 comments

Twake Drive – An open-source alternative to Google Drive

https://github.com/linagora/twake-drive
340•javatuts•1d ago•199 comments

Meet the real screen addicts: the elderly

https://www.economist.com/international/2025/10/23/meet-the-real-screen-addicts-the-elderly
217•johntfella•11h ago•220 comments

Diamond Thermal Conductivity: A New Era in Chip Cooling

https://spectrum.ieee.org/diamond-thermal-conductivity
44•rbanffy•4d ago•17 comments

Euro cops take down cybercrime network with 49M fake accounts

https://www.itnews.com.au/news/euro-cops-take-down-cybercrime-network-with-49-million-fake-accoun...
116•ubutler•9h ago•59 comments

Luau's performance

https://luau.org/performance
48•todsacerdoti•2d ago•10 comments

Why formalize mathematics – more than catching errors

https://rkirov.github.io/posts/why_lean/
204•birdculture•6d ago•69 comments

Fast TypeScript (Code Complexity) Analyzer

https://ftaproject.dev/
39•hannofcart•10h ago•16 comments

How to make a Smith chart

https://www.johndcook.com/blog/2025/10/23/smith-chart/
147•tzury•22h ago•26 comments
Open in hackernews

Synadia and TigerBeetle Commit $512k USD to the Zig Software Foundation

https://www.synadia.com/blog/synadia-tigerbeetle-zig-foundation-pledge
189•derekcollison•2h ago

Comments

derekcollison•2h ago
TigerBeetle's excellent companion blog - https://tigerbeetle.com/blog/2025-10-25-synadia-and-tigerbee...
jorangreef•2h ago
Thank you Derek, such a pleasure to do this with you.
praveenperera•2h ago
Are you guys using Zig?, love NATS by the way.
derekcollison•1h ago
We are waiting on the IO abstraction for a supported Zig client (There are others though today), but this is specifically for a new initiative at Synadia that we will share more details about soon!
dangoodmanUT•2h ago
> For each of our companies to donate $256,000 in monthly installments over the next two years, with Synadia matching TigerBeetle, for a total of $512,000

Why over 2 years?

Like VC investment, Id assume a lump sum up front allow them to move faster with that money (hiring the right people sooner, etc.)

I wonder if projects like this care more about predictability of income (e.g. not hiring people depending on future funding to sustain them)

codegladiator•2h ago
There is always a burden of deployment of assets
mikkupikku•1h ago
Slow is smooth. Smooth is fast.
gethly•1h ago
I heard that very recently in a movie, just cannot recall which one.
kapitar•1h ago
Not a recent movie, but it was mentioned in Shooter, a Mark Wahlberg film from way back when
RedShift1•1h ago
2007 is way back when territory? :utf8_shocked_emoji:
mi_lk•59m ago
Brad Pitt's F1

https://www.imdb.com/title/tt16311594/quotes/?item=qt8134908...

gethly•52m ago
Yes, I think that was it.
mikkupikku•13m ago
It's popularly claimed to be a Navy SEAL saying. I have no idea if that's true, but I think it has some broad merit to many things, almost anything which benefits from careful planning or training. In this context, throwing a big lump sum of money all at once could pressure the developers to spend money / hire too fast without careful planning. Spreading the payments out could be the donor's way of saying they don't want radical hasty changes, they just want to help out in a way.
trenchpilgrim•1h ago
Most businesses prefer to make payments monthly because it's easier on cash flow.
SoftTalker•58m ago
This is a donation, not an investment in the VC sense.
Aurornis•50m ago
I assume it’s being budgeted out of their monthly cash flow, not coming out of cash reserves.

> Id assume a lump sum up front allow them to move faster with that money (hiring the right people sooner, etc.)

On the other hand, the monthly payments mean they’re less likely to overcommit their spending up front.

If they’re hiring someone with twice-monthly paychecks, receiving the money up front doesn’t make much difference unless they want to hire based on projections of higher future donations, which is a risky move.

elthor89•2h ago
Is nats not written in go? Or does this foreshadow a switch to zig?
galangalalgol•2h ago
They have clients in many languages. But the zig repo is still just a placeholder. They often have bare bones servers in the languages too, like rust has one, but I think they are mostly for testing.
lukaslalinsky•1h ago
I'll shamelessly plug this. I think this is the most complete NATS client for Zig, matching the official clients in API and features: https://github.com/lalinsky/nats.zig

In fact, working on this client prompted me to start working on another Zig project, asynchronous I/O framework, which I'll be integrating with the NATS client soon: https://github.com/lalinsky/zio

drfuchs•1h ago
Real programmers would have donated $524,288. But seriously good news nonetheless.
bryant•1h ago
For those who don't intuitively think in base 2,

2¹⁹ bytes, or 512KiB.

eggy•1h ago
In performing an assessment of which ecosystem and PL to use to develop our high-integrity automation software for mission-critical applications, we assessed Rust, Zig, and Ada/SPARK. Rust had the support behind it from a big corp., a passionate developer community, and some adoption by significant entities, but none with cyber-physical systems. And it has been interesting to see some developers leaving Rust for Zig for the sheer enjoyment of using it instead. Our software will be controlling machinery overhead and other close coupling with machinery and people. Rust does not have the legacy in these areas or the ecosystem to cover formal verification. Zig was considered, but was even more new than Rust, and had similar disadvantages as listed for Rust. SPARK, a relatively newer PL, a subset of Ada, has legacy in high-integrity, mission-critical applications, and formal verification tooling that along with human review, makes it the strongest choice to meet the government's latest push for such critical software, and the language though verbose, is low friction to learn and apply. I found Zig to be a great second choice, and look forward to both Rust and Zig's future. Glad to see Zig moving along since Andrew started it. Congrats Andrew and the team currently pulling this off!
7thaccount•1h ago
Interesting to see this. I bought a book on Ada 2012 awhile back. Pretty cool stuff - especially with Spark.

The license model always made me uncomfortable for when you were using the commercial compilers though. Does this lock you into Spark forever?

tayo42•1h ago
>leaving Rust for Zig for the sheer enjoyment of using it instead.

What do people find more enjoyable?

lagniappe•38m ago
Speaking for myself, the community is more humble and kind on the zig side, and their chats are more on-topic.
tkz1312•38m ago
Zig is orders of magnitude more pleasant and enjoyable to use than Rust.
estebank•8m ago
>>> Zig is more enjoyable than Rust

>> Why is that?

> Zig is more enjoyable than Rust

You didn't really leave the GP more informed than before.

littlestymaar•5m ago
It's like saying bacon is better than cheese. I totally get why some people would feel that way, but it's far from a universal feeling.

Tastes are just subjective.

LexiMax•29m ago
Some people enjoy the relative simplicity and straight forwardness of C, some folks enjoy the flexibility and zero cost abstractions C++ gives you.

Some people can appreciate both. I actually like both languages for different reasons and I don't really understand why they're consistently being pitted against each other. Language wars are... for lack of a more appropriate and less-crass term... stupid.

tayo42•6m ago
With limited time and mental energy and I woukd say the languages are fighting for attention. The war is over why should I pay attention and for territory in my head.
hnlmorg•2m ago
> Language wars are... for lack of a more appropriate and less-crass term... stupid.

I couldn’t agree more!

gorjusborg•27m ago
Zig feels like a better C with modern tooling. It is a tool that works for me.

Rust feels like a better C++ with modern tooling. I am a tool that works for it.

ozgrakkurt•4m ago
I find it easier to develop low level code like file format, async io library and similar stuff in zig
meindnoch•27m ago
That's about 1 year's worth of salary of a full-time dev.
SalmoShalazar•13m ago
No, it’s not.
trollbridge•13m ago
Where can I get a $512k a year salary job?
tm11zz•10m ago
> We run a fuzzing fleet of 1,000 dedicated CPU cores 24/7.

lol what?

I was nodding along until that part which put things in a different perspective for me.

9front•58s ago
That's a pledge only! Let me know when Synadia & TiregBeetle actually send money to Zig Foundation.