Iris: A neurosymbolic framework for vulnerability detection in code (github.com)

3 points by todsacerdoti 8 hours ago | 0 comments

121

Using pragma Shared_Passive for data persistence in Ada (adacore.com)

3 points by ajdude 8 hours ago | 0 comments

122

The Amiga 3000 Unix and Sun Microsystems: Deal or No Deal? (datagubbe.se)

41 points by wicket 8 hours ago | 4 comments

123

Being too ambitious is a clever form of self-sabotage (maalvika.substack.com)

204 points by alihm 8 hours ago | 51 comments

124

Cross-Compiling 10k Rust CLI Crates Statically (blog.pkgforge.dev)

2 points by lukastyrychtr 9 hours ago | 0 comments

125

Lenovo Bios Simulator Center (download.lenovo.com)

4 points by znpy 9 hours ago | 0 comments

126

Playing Snake with water with OpenDrop [video] (youtube.com)

2 points by xqcgrek2 9 hours ago | 0 comments

127

From Chatbots to AI Agents: Understanding Modern Agentic Architectures (vmayakumar.wordpress.com)

3 points by mayakumar 9 hours ago | 0 comments

128

Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI (github.com)

2 points by FinalDestiny 9 hours ago | 0 comments

129

Analysing Roman itineraries using GIS tooling (link.springer.com)

1 points by diodorus 9 hours ago | 0 comments

130

Islam, Israel, and the Tragedy of Gaza (samharris.substack.com)

6 points by mhb 9 hours ago | 1 comment

131

Ask HN: Should AIs make errors on purpose to keep human minds sharp?

1 points by amichail 9 hours ago | 2 comments

132

America Is Killing Its Chance to Find Alien Life (theatlantic.com)

24 points by voxleone 9 hours ago | 7 comments

133

Riff: LLMs Are Software Diamonds (evalapply.org)

1 points by Bogdanp 9 hours ago | 0 comments

134

A client wants to buy old SaaS app – smart move or risk?

4 points by AbbeyRoadRunner 9 hours ago | 2 comments

135

Leaktracer: a Rust allocator to trace memory allocations (blog.veeso.dev)

1 points by lukastyrychtr 9 hours ago | 0 comments

136

NebulaStream: High-Performance Streaming Engine for Multi-Modal Edge Apps (dl.acm.org)

2 points by gnabgib 9 hours ago | 0 comments

137

Ask HN: Section 174 will be Restored to Normality. How is Everyone Feeling?

5 points by idontwantthis 9 hours ago | 5 comments

138

People Power: Revisiting the origins of American democracy (2005) (newyorker.com)

1 points by mitchbob 9 hours ago | 1 comment

139

First robot football match happened in China, it's like watching drunk toddlers (pcgamer.com)

1 points by rmason 9 hours ago | 0 comments

140

# [derive(Clone)] Is Broken (rgbcu.be)

1 points by RGBCube 9 hours ago | 0 comments

141

I am Andrew Frelon, the guy running the fake Velvet Sundown Twitter (medium.com)

2 points by jv22222 9 hours ago | 2 comments

142

Laid-off workers should use AI to manage their emotions, says Xbox exec (theverge.com)

13 points by amichail 9 hours ago | 2 comments

143

Ask HN: Are you scared of AI and advancements in next few years?

1 points by hypetrain 9 hours ago | 4 comments

144

Productivity, AI and Pushback (seths.blog)

2 points by thedelanyo 9 hours ago | 0 comments

145

A compact bitset implementation used in Ocarina of Time save files (github.com)

2 points by todsacerdoti 9 hours ago | 0 comments

146

Reading fiction with an e-book or in print: Purposes, pragmatics and practices (researchgate.net)

2 points by smartmic 9 hours ago | 0 comments

147

Human-sized robot strolling down Detroit's 7 Mile stuns residents (wxyz.com)

2 points by rmason 9 hours ago | 0 comments

148

Website Teardown – Neil's Fractional CTO Site (davidraistrick.com)

1 points by mooreds 9 hours ago | 0 comments

149

Theft Problem in Open Source (promptcoding.substack.com)

4 points by AgentMatrixAI 9 hours ago | 0 comments

150

More...