Type-constrained code generation with language models

https://arxiv.org/abs/2504.09246

54•tough•2h ago•14 comments

Flattening Rust's Learning Curve

https://corrode.dev/blog/flattening-rusts-learning-curve/

38•birdculture•1h ago•14 comments

Branch Privilege Injection: Exploiting branch predictor race conditions

https://comsec.ethz.ch/research/microarch/branch-privilege-injection/

316•alberto-m•7h ago•120 comments

Starcloud

https://www.ycombinator.com/companies/starcloud

117•wiley1454•4h ago•230 comments

Build real-time knowledge graph for documents with LLM

https://cocoindex.io/blogs/knowledge-graph-for-docs/

61•badmonster•4h ago•10 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

94•taubek•3d ago•60 comments

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

https://github.com/HelixDB/helix-db/

110•GeorgeCurtis•6h ago•50 comments

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

https://www.androidauthority.com/android-desktop-mode-leak-3550321/

187•logic_node•9h ago•158 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/

11•jjgreen•3d ago•0 comments

PDF to Text, a challenging problem

https://www.marginalia.nu/log/a_119_pdf/

218•ingve•9h ago•122 comments

Multiple security issues in GNU Screen

https://www.openwall.com/lists/oss-security/2025/05/12/1

329•st_goliath•12h ago•198 comments

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

156•bestwillcui•11h ago•86 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

32•ko_pivot•3d ago•6 comments

Cardiac: A CARDboard Illustrative Aid to Computation [pdf]

https://www.cs.drexel.edu/~bls96/museum/CARDIAC_manual.pdf

14•throwaway71271•2h ago•5 comments

It Awaits Your Experiments

https://www.rifters.com/crawl/?p=11511

122•pavel_lishin•8h ago•34 comments

Ask HN: How are you acquiring your first hundred users?

461•amanchanda•15h ago•282 comments

How (memory) safe is Zig? (2021)

https://www.scattered-thoughts.net/writing/how-safe-is-zig/

14•vortex_ape•2h ago•12 comments

When graphic design saves lives

https://news.harvard.edu/gazette/story/2025/05/when-graphic-design-saves-lives/

4•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/

98•mastazi•2h ago•25 comments

OpenTelemetry protocol with Apache Arrow

https://opentelemetry.io/blog/2025/otel-arrow-phase-2/

53•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

555•turrini•13h ago•537 comments

I learned Snobol and then wrote a toy Forth

https://ratfactor.com/snobol/

113•ingve•2d ago•30 comments

Using obscure graph theory to solve programming languages problems

https://reasonablypolymorphic.com/blog/solving-lcsa/

23•matt_d•4h ago•3 comments

Turritopsis dohrnii: Immortal jellyfish

https://www.nhm.ac.uk/discover/immortal-jellyfish-secret-to-cheating-death.html

28•vinnyglennon•4d ago•6 comments

Membrane: Media Framework for Elixir

https://membrane.stream/

108•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

105•jmacd•2d ago•41 comments

In a high-stress work environment, prioritize relationships

https://wqtz.bearblog.dev/high-stress-job-relationships/

279•wqtz•11h ago•176 comments

Android and Wear OS are getting a redesign

https://blog.google/products/android/material-3-expressive-android-wearos-launch/

44•whatever3•4h ago•88 comments

A Taxonomy of Bugs

https://ruby0x1.github.io/machinery_blog_archive/post/a-taxonomy-of-bugs/index.html

41•lissine•8h ago•14 comments

TheForger's Win32 API Tutorial

https://winprog.org/tutorial/

55•xeonmc•10h ago•4 comments

Open in hackernews

Mill as a direct style build tool

https://mill-build.org/blog/12-direct-style-build-tool.html

31•lihaoyi•3d ago

Comments

fithisux•3d ago

It is a build engineering tool. Build engineering is either hidden behind corporate doors or underrated.

evacchi•5h ago

OT: I really like Li Haoyi's work in the Scala community, trying to bring Python's straightforward programming model to Scala.

I've been wondering if there is an equivalent in the Rust ecosystem. I think https://github.com/facet-rs/facet is going in the right direction

vamega•3h ago

Does Mill plan to have something like Bazel’s Remote Execution?

openplatypus•1h ago

In Li Haoyi's recent talk he shows how incredibly fast Java compiler is.

Also demonstrates how much overhead comes from Maven and Gradle.

If Java build feels sluggish, know that first 50s is lost due to maven.

Mill still has rough edges. The project is evolving fast and things change, but it is a great tool.

The BSP support in IDEs is IMO still work in progress (not related to Mill itself) so for JVM languages, Maven and Gradle still have a leg up.

vips7L•1h ago

I'd rather deal with 50s of lost time due to Maven than hours of lost time dealing with Scala.