frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Type-constrained code generation with language models

https://arxiv.org/abs/2504.09246
64•tough•2h ago•27 comments

Your fingers wrinkle the same way every time you're in the water too long

https://www.binghamton.edu/news/story/5547/do-your-fingers-wrinkle-the-same-way-every-time-youre-in-the-water-too-long-new-research-says-yes
19•gnabgib•1h ago•2 comments

Flattening Rust's Learning Curve

https://corrode.dev/blog/flattening-rusts-learning-curve/
47•birdculture•2h ago•21 comments

Branch Privilege Injection: Exploiting branch predictor race conditions

https://comsec.ethz.ch/research/microarch/branch-privilege-injection/
319•alberto-m•7h ago•127 comments

Starcloud

https://www.ycombinator.com/companies/starcloud
125•wiley1454•4h ago•245 comments

Map of Palaeohispanic Coins and Inscriptions

http://hesperia.ucm.es/consulta_hesperia/mapas.php
8•brendanashworth•33m ago•0 comments

Build real-time knowledge graph for documents with LLM

https://cocoindex.io/blogs/knowledge-graph-for-docs/
64•badmonster•4h ago•11 comments

Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit

https://www.space.com/space-exploration/launches-spacecraft/failed-soviet-venus-lander-kosmos-482-crashes-to-earth-after-53-years-in-orbit
98•taubek•3d ago•62 comments

Google is building its own DeX: First look at Android's Desktop Mode

https://www.androidauthority.com/android-desktop-mode-leak-3550321/
194•logic_node•10h ago•160 comments

Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust)

https://github.com/HelixDB/helix-db/
114•GeorgeCurtis•7h ago•50 comments

PDF to Text, a challenging problem

https://www.marginalia.nu/log/a_119_pdf/
222•ingve•9h ago•124 comments

Multiple security issues in GNU Screen

https://www.openwall.com/lists/oss-security/2025/05/12/1
331•st_goliath•13h ago•202 comments

Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses

157•bestwillcui•11h ago•87 comments

A tool to verify estimates, II: a flexible proof assistant

https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/
12•jjgreen•3d ago•0 comments

Garbage collection of object storage at scale

https://www.warpstream.com/blog/taking-out-the-trash-garbage-collection-of-object-storage-at-massive-scale
35•ko_pivot•3d ago•6 comments

It Awaits Your Experiments

https://www.rifters.com/crawl/?p=11511
125•pavel_lishin•9h ago•34 comments

How (memory) safe is Zig? (2021)

https://www.scattered-thoughts.net/writing/how-safe-is-zig/
18•vortex_ape•2h ago•16 comments

Cardiac: A CARDboard Illustrative Aid to Computation [pdf]

https://www.cs.drexel.edu/~bls96/museum/CARDIAC_manual.pdf
15•throwaway71271•2h ago•5 comments

Coffee for people who don't like coffee

https://ostwilkens.se/blog/coffee
20•ostwilkens•3d ago•56 comments

Less meat is nearly always better than sustainable meat

https://ourworldindata.org/less-meat-or-sustainable-meat
7•sohkamyung•50m ago•1 comments

When graphic design saves lives

https://news.harvard.edu/gazette/story/2025/05/when-graphic-design-saves-lives/
7•gnabgib•3d ago•0 comments

Y Combinator says Google is a monopolist, no comment about its OpenAI ties

https://techcrunch.com/2025/05/13/y-combinator-says-google-is-a-monopolist-that-has-stunted-the-startup-ecosystem/
108•mastazi•2h ago•27 comments

OpenTelemetry protocol with Apache Arrow

https://opentelemetry.io/blog/2025/otel-arrow-phase-2/
55•tanelpoder•6h ago•13 comments

The world could run on older hardware if software optimization was a priority

https://twitter.com/ID_AA_Carmack/status/1922100771392520710
561•turrini•14h ago•541 comments

I learned Snobol and then wrote a toy Forth

https://ratfactor.com/snobol/
115•ingve•2d ago•30 comments

Turritopsis dohrnii: Immortal jellyfish

https://www.nhm.ac.uk/discover/immortal-jellyfish-secret-to-cheating-death.html
30•vinnyglennon•4d ago•6 comments

Using obscure graph theory to solve programming languages problems

https://reasonablypolymorphic.com/blog/solving-lcsa/
27•matt_d•4h ago•3 comments

Membrane: Media Framework for Elixir

https://membrane.stream/
112•lawik•3d ago•35 comments

Insurers launch cover for losses caused by AI chatbot errors

https://www.ft.com/content/1d35759f-f2a9-46c4-904b-4a78ccc027df
107•jmacd•2d ago•41 comments

In a high-stress work environment, prioritize relationships

https://wqtz.bearblog.dev/high-stress-job-relationships/
285•wqtz•11h ago•178 comments
Open in hackernews

It Awaits Your Experiments

https://www.rifters.com/crawl/?p=11511
125•pavel_lishin•9h ago

Comments

jkingsman•7h ago
It took me a moment to realize, even after the mention of Echopraxia, that this was Peter Watts.

If you enjoy hard to very-hard science fiction, I strongly recommend the first book of his series, Blindsight. I thoroughly loved the read and bounced right back to the beginning for a second read with the context I'd gained on the first one. It's an absolute firehose of concepts; reminded me a bit of Accelerando by Charles Stross but a little less pleased with its own geekiness. The best summary I could give would be a meditation on consciousness set against a first-contact backdrop.

subscribed•7h ago
I think the Blindsight is the best sci-fi book for me. Absolutely gripping and novel.

And what I found particularly interesting, the afterword is about as interesting and engaging as the book.

It's such a gem of a book.

otikik•7h ago
I wonder how he's feeling about Chinese rooms these days.
ImaCake•1h ago
He blogs a lot on the OP link. I would imagine he has a few words about LLMs in there.

One of his older works explores the risks of software similar to LLMs but a little more advanced.

Boogie_Man•7h ago
This may be well known, but I'm posting it because I didn't know: "very-hard" science fiction in this context means extremely plausible science fiction, as opposed to extremely speculative science fiction. The author explains how these fantastic things exist in a way which is realistic.

Originally, I thought it meant "very hard to understand" i.e. very technically complicated

ZpJuUuNaQ5•6h ago
>extremely plausible science fiction

>I thought it meant "very hard to understand"

For a mere mortal like myself, those definitions aren't mutually exclusive. I think I tried reading "Blindsight" a long time ago but never got past a few dozen pages. Maybe I should give it a try again someday.

Scene_Cast2•6h ago
Blindsight is known to be a slog for a lot of people including myself.

I love sci-fi, I love challenging ideas, and I really liked the concepts explored in Blindsight - except that I learned those concepts through summaries and selective reading.

jkingsman•6h ago
Yes, there were definitely parts where I felt maybe I was picking up on a vibe or a hint, and later realized that was now a structural part of the story without which I would be quite lost.

I found this INCREDIBLY FULL OF SPOILERS explanation of fundamental plot points to be helpful in confirming or summarizing some things I missed[0].

[0]: —-EXTREME SPOILER WARNING-- https://old.reddit.com/r/printSF/comments/4p6zqj/understandi...

Boogie_Man•6h ago
I'm certified dumb as a box of rocks 19 Wonderlic and I was able to follow most of it without issue or pause. It's possible that it's a bell curve and I'm too dumb to realize I was missing things. Hard to say.
jkingsman•6h ago
Plausible oftentimes, I would say, but more that there are reliable, consistent systems at work that may or may not be explained, but that are definitely used. Very little "magic" or hand waving, but at the least the implication that there is an understandable system at work at some level.
mordechai9000•5h ago
To me, "hard science fiction" evokes the old school writers like Arthur C. Clarke who would explore ideas with a slide rule or a calculator when planning a story. Even if he had to use a little hand waving and some unobtainium to make Ringworld work.
crooked-v•3h ago
Maybe the neatest part of that with Ringworld is when fans proved that the theoretical structure itself is orbitally unstable... which he then came up with explanations for and used as a major plot point in a follow-up book.
Loughla•3h ago
Larry Niven wrote ringworld and the follow ups, not Clarke. Clarke wrote the Rama series.
Scarblac•5h ago
The way I see it is that hard science is about the new science and its effects on people, so it has to make the science believable somehow.

Whereas soft science fiction has a futuristic setting but isn't primarily about that.

ngangaga•4h ago
I would characterize "hard" sci fi as "consistent" or "coherent", not necessarily "plausible".
swayvil•1h ago
How about very comprehensible science fiction?

Because science first and foremost strives for comprehensibility in its discussion of strange things.

Which is exactly why we borrow it for fiction.

NikolaNovak•7h ago
Astonishing book which I reread regularly. Echopraxia has grown on me upon further reading - initially I focused on the seeming promise of action and plot, vs ideas and concepts.

His Starfish book however has the most realistic, plausible, feasible, likely AI doomsday scenario though - published as it was 26 years ago and without AI being the focus for majority of the book.

duskwuff•2h ago
"Checkers or chess?"

But yes. Especially when you boil it down to the essentials: humans take an AI built to perform one task and press it into duty for another, much more impactful task which it was completely unsuited for.

atombender•1h ago
The Freeze-Frame Revolution is also fantastic, along with the short stories, which collectively form the "Sunflower" cycle.

Watts writes the smartest but also scariest science fiction. There's an aura of existential, Lovecraftean dread in all his writings that I find incredibly appealing. In the case of Sunflower, Watts is able to make the idea of floating through space for millions of years, unable to stop, into something genuinely upsetting. It's bleak, but also really well plotted.

Not too long ago, Watts published a short story set right after Blindsight, "The Colonel". It's an excellent, standalone read.

davidthewatson•7h ago
For those of you who read with glee of the author's work and it's launch in Toronto soon, the event is free and open to the public if you wanna flee to Toronto for fun or are already there. I hope this won't become an unlikely Superbloom given the subject.

https://www.eventbrite.ca/e/coach-house-spring-group-launch-...

Atreiden•7h ago
This is one of the coolest things I've read here in some time. This is the kind of insanity I can get behind.

> The rest of us might think we achieve artistic immortality if our work lasts a century or three. Bök blows his nose at such puny ambitions. His work might get deciphered by Fermi aliens who finally make it to our neighborhood a billion years from now. It could be iterating right up until the sun swallows this planet whole.

I got frisson reading this. I may have to read the author's novels, his writing style is compelling.

The5thElephant•6h ago
Peter Watts is fantastic. Very different tone from a lot of other scifi, with some very clever and dark ideas.
subscribed•6h ago
You can download several of his novels from his own website.

Yeah, for free.

And indeed, his style is like this. It's really hard to put the book down.

sriram_malhar•6h ago
This (Xenotext v2) blew my mind. I'm astonished not just by how people can think like this, but the persistence of effort to get it to fruition.

I have to read it a couple more times to savor this. What a delight!

MinimalAction•5h ago
Amazing article! His writing style is unique and made me go down a rabbit hole of discovering his other works.

I was unaware of this demagogue of a bacterium Deinococcus radiodurans. It survives levels of radiation that is designed to kill all lifeforms. Wikipedia [0] lists this as a bacteria that supports panspermia -- that life originated elsewhere but spread through cosmic dust and was seeded on Earth eventually.

Fun fact: Thermococcus gammatolerans is known to be the one that tolerates the most toxic radiation.

[0]: https://en.wikipedia.org/wiki/Deinococcus_radiodurans

alnwlsn•5h ago
> only known organism to have ever lived on the Moon

Anyone know what this is referring to? The only instance I know of was the Surveyor 3 camera, which was supposedly Streptococcus mitis and even that situation is greatly contested.

dekhn•4h ago
their description of deinococcus has several errors. For example, they claim it reproduces without DNA, which is not true.
dejobaan•5h ago
Fantastic. While it's not quite at the level of Bök's work, an inevitable comparison is all of Tom7's projects (and in particular http://tom7.org/harder). I always love when this kind of stuff pops up onto HN. I feel that we're all interesting and experimental, and sometimes need a nudge to remember that people can do weird, neat stuff.
flysand7•4h ago
This reminds me of "I'm Humanity" by Yakushimaru Etsuko, which was also etched onto a DNA of a bacteria. I love that song.

Also see https://ars.electronica.art/aeblog/en/2018/05/30/im-humanity...

dekhn•3h ago
I have a phd in a related field and I can't understand exactly what is being said here. From what I can tell, the author claims a protein was engineered, where the protein sequence maps (through a chosen translation table) to a human text. But at the same time, the protein folds into a well-defined shape (predicted, then experimentally determined), and somehow also enciphers... another poem?
duskwuff•2h ago
You've got the right idea. The "poem" ("any style of life / is prim...") is encoded as a DNA sequence. This DNA codes for a protein, whose amino acids can be read as English text as well ("the faery is rosy / of glow..."), and which causes the bacterium to glow red. Watts mentions this work in his book Echopraxia as follows:

"The sequence spells a message and codes for a protein. The protein fluoresces and contains a response. It’s not contamination or lateral transfer. It’s a poem."

There's a more verbose explanation in this interview of Bök:

https://maisonneuve.org/article/2011/06/1/sls-interviews-chr...

aaroninsf•3h ago
De rigeur trigger warning,

Peter Watts' Rifters books (hence the domain),

are however full of memorable compelling ideas,

totally un-recommendable,

because they are also unedited indulgences by the author in his own sadomasochistic fantasies of sexual violence (specifically, to women), and they are in effect sexual torture-porn.

swayvil•1h ago
Meh. Art guided by science is like flight guided by digging.

Otoh science guided by art is good.