Skip to content
Hacker News
New stories
Live mirror
30 stories
·
updated just now
View source snapshot
1
Show HN: AI predicting your life choices
(seek.ws
↗
)
1 points
by
sdrth
0 minutes ago
—
discuss
2
Show HN: Policy gateway for AI agent tool calls, with a tamper-evident log
(github.com/banji-007
↗
)
1 points
by
banji-007
1 minute ago
—
discuss
3
I built a serverless, client-side AI emotional journal
(bolt.host
↗
)
1 points
by
SereneAI
2 minutes ago
—
discuss
4
Banyan Vines
(wikipedia.org
↗
)
1 points
by
smalltorch
4 minutes ago
—
discuss
5
Grow the Harness, Not the Context
(arxiv.org
↗
)
1 points
by
acossta
5 minutes ago
—
discuss
6
Gender, Identity, and Power in the Shaft Tombs of Western Mesoamerica
(metmuseum.org
↗
)
1 points
by
bryanrasmussen
6 minutes ago
1
comments
7
A test of agentic workflows for software engineering
(hankconn.github.io
↗
)
2 points
by
hegem0n
9 minutes ago
—
discuss
8
Sieve: Find and grep in the same command faster than both
(github.com/m10ust
↗
)
1 points
by
m4y0u
10 minutes ago
—
discuss
9
Digital Homesteading: A Primer on Running Your Own Web Services [2025]
(brodybrooks.com
↗
)
1 points
by
erickhill
11 minutes ago
—
discuss
10
Maybe Flagship Models Shouldn't Be World Class Exploit Writers?
(lockboxx.org
↗
)
1 points
by
aahok
11 minutes ago
—
discuss
11
I Deliberately Bet Like a Problem Gambler. DraftKings Made Me a VIP
(propublica.org
↗
)
1 points
by
theanonymousone
12 minutes ago
—
discuss
12
Working with OSC: UDP vs. TCP (2019)
(djy.io
↗
)
1 points
by
gregsadetsky
12 minutes ago
1
comments
13
I'm the Mom in That Viral Giants Clip. Let Me Tell You About My Husband
(themomoftheyear.substack.com
↗
)
1 points
by
minimaxir
13 minutes ago
1
comments
14
Universal Agents
(thesecretsproject.com
↗
)
1 points
by
frabjoused
16 minutes ago
—
discuss
15
Opus 5.5 launch videos are genuinely next level
(twitter.com/bloxstack
↗
)
2 points
by
bloxstack
19 minutes ago
1
comments
16
Heaven's Melodic Strains
(nplusonemag.com
↗
)
1 points
by
herbertl
19 minutes ago
—
discuss
17
Ponysay rewritten in Rust: 22x faster startup
(github.com/jcpsimmons
↗
)
1 points
by
joshcsimmons
19 minutes ago
—
discuss
18
I Built a Native RDP Server for macOS
(prordp.app
↗
)
1 points
by
acrawfis
21 minutes ago
—
discuss
19
Neomacs: GPU rendered Rust hard fork of Emacs
(github.com/eval-exec
↗
)
2 points
by
tagfowufe
22 minutes ago
1
comments
20
It would suck to die because I love consuming
(michalkotowski.pl
↗
)
1 points
by
kocie
23 minutes ago
—
discuss
21
Meta Horizon Create and Horizon Studio "Game Engines"
(gamefromscratch.com
↗
)
1 points
by
tosh
24 minutes ago
—
discuss
22
Dear AlmostHadYa, I got live previews working with a batch ASR model
(mimicscribe.app
↗
)
2 points
by
marshalla
27 minutes ago
1
comments
23
Make Claude your assistant in excalidraw
(tangled.org
↗
)
3 points
by
parasitid
28 minutes ago
1
comments
24
The AI Bubble Explained
(hughhowey.com
↗
)
2 points
by
Tomte
29 minutes ago
—
discuss
25
Can we have reachability properties in TLA⁺?
(ahelwer.ca
↗
)
1 points
by
ahelwer
30 minutes ago
—
discuss
26
Prioritized Grammar Enumeration is the method for solving Symbolic Regression
(github.com/verdverm
↗
)
1 points
by
conorcleary
31 minutes ago
—
discuss
27
Show HN: Waitwise, Replace Claude Code's spinner with anything usefull
(github.com/marciob
↗
)
2 points
by
marciob
34 minutes ago
—
discuss
28
Turning GLM-5.3-Flash into a Jev-like decision model
(privatemode.ai
↗
)
4 points
by
flxflx
36 minutes ago
2
comments
29
Banks and Credit Unions to Team Up Against Apple Pay Fees
(macrumors.com
↗
)
3 points
by
Brajeshwar
37 minutes ago
—
discuss
30
Using an LLM to Automate the Process of Archiving New macOS App Icons
(jim-nielsen.com
↗
)
1 points
by
Brajeshwar
37 minutes ago
—
discuss
Load more stories
Back
Do not let your type system reason about aliasing in your programming language
1 points
by
mpweiher
1h ago
futhark-lang.org
Open original
View on HN
Comments · 0
Comments · 0
Article
Article
0 comments
A quiet thread, for now.
Start the conversation on HN ↗
Maximize article