Asterinas: A new Linux-compatible kernel project (lwn.net)

1 points by howtofly 1m ago 0 comments

Soundness: How can one decide\know if premise is true or false (philosophy.stackexchange.com)

1 points by squircle 3m ago 0 comments

System Manager – Manage system config using Nix on any distro (github.com)

1 points by pabs3 3m ago 0 comments

mgmt – next generation distributed, event-driven, parallel config management (github.com)

1 points by pabs3 5m ago 0 comments

Organic Markdown (github.com)

1 points by aard 9m ago 0 comments

Feeling Blue(Noroff): Inside a Sophisticated DPRK Web3 Intrusion (huntress.com)

1 points by todsacerdoti 10m ago 0 comments

Alex Mark shares commentary on building Direct File for IRS (alexthemark.substack.com)

2 points by kr2 10m ago 0 comments

A popular manga predicted catastrophe – and Japanese tourism took a hit (washingtonpost.com)

2 points by pseudolus 15m ago 1 comments

Triaging security issues reported by third parties (gitlab.gnome.org)

3 points by PaulHoule 18m ago 0 comments

Revisiting Knuth's "Premature Optimization" Paper (probablydance.com)

3 points by Bogdanp 20m ago 0 comments

A software bug caused a series of fatal radiation overdoses (createdigital.org.au)

2 points by pretoriusdre 20m ago 1 comments

Termius: Modern SSH Client (termius.com)

2 points by handfuloflight 21m ago 0 comments

Benchmark for Evaluating Text Embeddings (huggingface.co)

2 points by fzliu 23m ago 0 comments

Not-for-Profit vs. Nonprofit: What's the Difference? (forbes.com)

2 points by squircle 27m ago 0 comments

AI-assisted coding for teams that can't get away with vibes (blog.nilenso.com)

2 points by simonpure 28m ago 0 comments

Show HN: ATAC, an event verification platform evidence based (atac.seraum.com)

3 points by seraum 30m ago 0 comments

Information Integrity about Climate Science: A Systematic Review (ipie.info)

2 points by mitchbob 32m ago 1 comments

Triaging security issues reported by third parties (gitlab.gnome.org)

2 points by pabs3 32m ago 0 comments

Classes C++23 Style (Sebastian Theophil-Meeting C++ 2024)[Video] (youtube.com)

2 points by BiraIgnacio 34m ago 0 comments

Free Virtual CS Classes and Tutoring

3 points by _Yguy_ 39m ago 0 comments

I'm a Developer. I Won't Teach My Kids to Code, and Neither Should You (2018) (slate.com)

2 points by ripe 40m ago 0 comments

I built something w/ paying users, survived "Hug of Death" in 2 months w/ Cursor (twitter.com)

2 points by gametorch 43m ago 0 comments

Unpacking the bias of large language models (news.mit.edu)

2 points by pseudolus 46m ago 0 comments

NSEnter and Kubernetes (linuxadmin.blog)

2 points by TiccyRobby 49m ago 0 comments

FedFlix — Public Domain Stock Footage Library (public.resource.org)

4 points by bookofjoe 50m ago 0 comments

Finally, a Makefile formatter (50 years overdue) (github.com)

2 points by rainmans 51m ago 0 comments

Open Source Can't Coordinate (matklad.github.io)

6 points by LorenDB 51m ago 0 comments

The Science of a Kundalini Awakening (youtube.com)

3 points by squircle 54m ago 0 comments

Tech giants unleash AI on weather forecasts: are they any good? (bbc.co.uk)

3 points by dijksterhuis 55m ago 0 comments

eFlesh: Customizable Magnetic Touch Sensing Using Cut-Cell Microstructures (e-flesh.com)

3 points by walterbell 1h ago 0 comments

Snapshot Analysis for C++ (core-explorer.github.io)

2 points by LorenDB 1h ago 0 comments

No More -ishings (shellsharks.com)

4 points by OuterVale 1h ago 0 comments

Mathematicians discover a new way to find prime numbers (scientificamerican.com)

3 points by geox 1h ago 1 comments

Build LLM REPLs into your program itself (old.reddit.com)

2 points by gametorch 1h ago 0 comments

Seaweed APT2 (seaweed-apt.com)

3 points by unit-vector 1h ago 0 comments

Massacring C Pointers (wozniak.ca)

4 points by signa11 1h ago 0 comments

Structured Output for Beginners and 3 Prompting Tips (pocketflow.substack.com)

2 points by zh2408 1h ago 0 comments

Nyxt: The Emacs-like web browser (lwn.net)

2 points by signa11 1h ago 0 comments

Metaobject Protocols: Why we want them and what else they can do [pdf] (cseweb.ucsd.edu)

2 points by todsacerdoti 1h ago 0 comments

HCP Packer is a cloud service for image management (hashicorp.com)

2 points by rchandna 1h ago 0 comments

Adobe launches a new 'computational photography' camera app for iPhones (theverge.com)

3 points by gametorch 1h ago 0 comments

Infinite Mac OS X (blog.persistent.info)

35 points by kristianp 1h ago 7 comments

Wound Healing, the Salamander Way (asianscientist.com)

3 points by squircle 1h ago 0 comments

How to Find the Smartest AI (economist.com)

3 points by petethomas 1h ago 0 comments

Project Indigo – a computational photography camera app (research.adobe.com)

6 points by borski 1h ago 0 comments

Integer Partitions Detect the Primes (pnas.org)

2 points by gnabgib 1h ago 0 comments

Let's Talk About Serving Home Things (market-ticker.org)

4 points by mikece 1h ago 0 comments

So, Is Coding Dead? (00f.net)

4 points by nnx 1h ago 0 comments

Security vs. Compliance (adaptive.live)

4 points by debarshri 1h ago 0 comments

Do you need to be academically smart to be a successful tech founder?

4 points by moneyhungry 2h ago 2 comments

Asterinas: A new Linux-compatible kernel project

1 howtofly 0 6/20/2025, 1:56:16 AM lwn.net ↗

Comments (0)

No comments yet