hackernews client

news

Page 1

ProofOfThought: LLM-based reasoning using Z3 theorem proving

227 pointsposted 11 hours ago

by barthelomew

113 comments

Read more: github.com

What .NET 10 GC Changes Mean for Developers

7 pointsposted 4 days ago

by roxeem

1 comments

A comparison of Ada and Rust, using solutions to the Advent of Code

216 pointsposted 14 hours ago

by andsoitis

142 comments

Read more: github.com

Blog Feeds

132 pointsposted 10 hours ago

by stevedsimkins

50 comments

Newton: physics simulation engine built upon NVIDIA Warp

73 pointsposted 4 days ago

by skilled

11 comments

Read more: github.com

AI-powered open-source code laundering

51 pointsposted 6 hours ago

by genkiuncle

31 comments

Read more: github.com

Machine Learnability as a Measure of Order in Aperiodic Sequences

14 pointsposted 3 days ago

by PaulHoule

0 comments

Mod. 5140 - IBM's First Laptop Computer

24 pointsposted 5 hours ago

by jumpocelot

11 comments

Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL

27 pointsposted 5 hours ago

by TheWiggles

4 comments

Read more: github.com

Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4

40 pointsposted 6 hours ago

by bookofjoe

4 comments

Matrix Core Programming on AMD GPUs

54 pointsposted 8 hours ago

by skidrow

2 comments

Show HN: The Little Book of C

18 pointsposted 3 days ago

by tamnd

3 comments

Read more: github.com

XiangShan Vector Floating-Point Unit Design

44 pointsposted 8 hours ago

by camel-cdr

5 comments

$912 energy independence without red tape

151 pointsposted 8 hours ago

by nikodunk

101 comments

NSA and IETF: Can an attacker purchase standardization of weakened cryptography?

56 pointsposted 7 hours ago

by zdw

18 comments

Mathematical Models/Algorithms for Optimization of Lego Construction Problems [pdf]

32 pointsposted 4 days ago

by felineflock

0 comments

How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs

78 pointsposted 12 hours ago

by PaulHoule

27 comments

Show HN: Run – a CLI universal code runner I built while learning Rust

74 pointsposted 11 hours ago

by esubaalew

28 comments

Read more: github.com

Earth was born dry until a cosmic collision made it a blue planet

212 pointsposted 5 days ago

by amichail

209 comments

Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces

76 pointsposted 4 days ago

by zdw

19 comments

Read more: github.com

Self-hosting email like it's 1984

209 pointsposted 15 hours ago

by xmx98

136 comments

Thunderscan: A clever device transforms a printer into a scanner (2004)

148 pointsposted 17 hours ago

by dtgriscom

30 comments

Paged Out Issue #7 [pdf]

240 pointsposted 19 hours ago

by todsacerdoti

21 comments

Americans increasingly see legal sports betting as a bad thing for society

15 pointsposted 2 hours ago

by aloukissas

9 comments

The Buchstabenmuseum Berlin is closing

163 pointsposted 18 hours ago

by t-vi

55 comments

Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS

140 pointsposted 4 days ago

by benbridle

28 comments

Borehole Oscillators

28 pointsposted 7 hours ago

by sohkamyung

6 comments

Baseball durations after the pitch clock

63 pointsposted 4 days ago

by zdw

83 comments

The UK is still trying to backdoor encryption for Apple users

309 pointsposted 9 hours ago

by CharlesW

112 comments

Microsoft 365 Copilot's commercial failure

115 pointsposted 10 hours ago

by jukkan

80 comments