Formal Specs as Sets of Behaviors (surfingcomplexity.blog)

1 points by gm678 3 hours ago | 0 comments

91

Show HN: CopyIP - copy my IP in one click (copyip.co)

2 points by oliv__ 3 hours ago | 1 comment

92

Boeing Predicts the Future, Foresees 50k Planes by 2044 (jalopnik.com)

1 points by rntn 3 hours ago | 0 comments

93

Ask HN: Will I get left behind if I don't jump on AI train?

4 points by LLcolD 3 hours ago | 5 comments

94

Wikipedia editors, unsung heroes, keep it one of the last best places online (theglobeandmail.com)

8 points by throw0101d 3 hours ago | 4 comments

95

Graph foundation models for relational data (research.google)

2 points by PaulHoule 3 hours ago | 0 comments

96

Show HN: Competitor Finder – Paste your domain, get your top competitors (champsignal.com)

2 points by maximedupre 3 hours ago | 4 comments

97

Robots eating other robots: The benefits of machine metabolism (arstechnica.com)

1 points by pseudolus 3 hours ago | 0 comments

98

Physics of Language Models: The Magic of Canon Layers (papers.ssrn.com)

1 points by diwank 3 hours ago | 0 comments

99

Ask HN: Discrete Mathematics Preriquisites for Data Structures?

1 points by shivajikobardan 3 hours ago | 0 comments

100

RT Employees Funded Videos in Furtherance of Russian Interests (justice.gov)

5 points by mobileturdfctry 3 hours ago | 1 comment

101

Build generative search engine with verifiable answers (github.com)

2 points by nikolamilosevic 4 hours ago | 0 comments

102

Startup Claims Up to 100x Better Embedded Computing Efficiency (spectrum.ieee.org)

6 points by hasheddan 4 hours ago | 0 comments

103

Seeing is believing in biomedicine, which isn't great when AI gets it wrong (theregister.com)

3 points by rntn 4 hours ago | 0 comments

104

Wanderer: Decentralized, self-hosted trail database (wanderer.to)

3 points by esher 4 hours ago | 0 comments

105

How Old Dubai's historic streets beat extreme heat (bbc.com)

3 points by bookofjoe 4 hours ago | 0 comments

106

In Seawater, Researchers See an Untapped Bounty of Critical Metals (e360.yale.edu)

1 points by ck45 4 hours ago | 0 comments

107

When reading a book how do you validate the thesis in an unknown field for you?

2 points by L0in 4 hours ago | 1 comment

108

Energy Driven Development (blog.waleson.com)

1 points by jtwaleson 4 hours ago | 0 comments

109

Missionaries using secret audio devices to evangelise Brazil's isolated peoples (theguardian.com)

11 points by axiologist 4 hours ago | 7 comments

110

Wikipedia: Signs of AI Writing (en.wikipedia.org)

26 points by FergusArgyll 4 hours ago | 3 comments

111

The evolution of Worse is Better (dreamsongs.com)

2 points by sundarurfriend 4 hours ago | 0 comments

112

Ethereum EIP-55 added backward-compatible error checking (johndcook.com)

3 points by ColinWright 4 hours ago | 0 comments

113

I built a finance aggregator to manage wealth across banking and crypto (vin.gs)

2 points by chriskrogh 4 hours ago | 1 comment

114

Ask HN: Open source projects make money？

5 points by neocanable 4 hours ago | 7 comments

115

Show HN: Thread4.eu – Platform to deploy a Python function to the web in seconds (thread4.eu)

4 points by joexbayer 4 hours ago | 0 comments

116

UK facing 'significant' volume of cyber attacks, security minister warns (the-independent.com)

3 points by RealCodingOtaku 4 hours ago | 1 comment

117

Show HN: Book2Speech – books to near-human quality AI‑narrated audiobooks (book2speech.com)

2 points by orencoda 4 hours ago | 0 comments

118

No AI Content (eclecticlight.co)

67 points by frizlab 4 hours ago | 55 comments

119

How to Conference (lerner.co.il)

1 points by reuven 4 hours ago | 0 comments

120

More...