news

prev

Page 1

next

ProofOfThought: LLM-based reasoning using Z3 theorem proving

227 pointsposted 11 hours ago
by barthelomew

What .NET 10 GC Changes Mean for Developers

7 pointsposted 4 days ago
by roxeem

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

216 pointsposted 14 hours ago
by andsoitis

Blog Feeds

132 pointsposted 10 hours ago
by stevedsimkins

Newton: physics simulation engine built upon NVIDIA Warp

73 pointsposted 4 days ago
by skilled

AI-powered open-source code laundering

51 pointsposted 6 hours ago
by genkiuncle

Machine Learnability as a Measure of Order in Aperiodic Sequences

14 pointsposted 3 days ago
by PaulHoule

Mod. 5140 - IBM's First Laptop Computer

24 pointsposted 5 hours ago
by jumpocelot

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

27 pointsposted 5 hours ago
by TheWiggles

Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4

40 pointsposted 6 hours ago
by bookofjoe

Matrix Core Programming on AMD GPUs

54 pointsposted 8 hours ago
by skidrow

Show HN: The Little Book of C

18 pointsposted 3 days ago
by tamnd

XiangShan Vector Floating-Point Unit Design

44 pointsposted 8 hours ago
by camel-cdr

$912 energy independence without red tape

151 pointsposted 8 hours ago
by nikodunk

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

56 pointsposted 7 hours ago
by zdw

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

32 pointsposted 4 days ago
by felineflock

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

78 pointsposted 12 hours ago
by PaulHoule

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

74 pointsposted 11 hours ago
by esubaalew

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

212 pointsposted 5 days ago
by amichail

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

76 pointsposted 4 days ago
by zdw

Self-hosting email like it's 1984

209 pointsposted 15 hours ago
by xmx98

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

148 pointsposted 17 hours ago
by dtgriscom

Paged Out Issue #7 [pdf]

240 pointsposted 19 hours ago
by todsacerdoti

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

15 pointsposted 2 hours ago
by aloukissas

The Buchstabenmuseum Berlin is closing

163 pointsposted 18 hours ago
by t-vi

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

140 pointsposted 4 days ago
by benbridle

Borehole Oscillators

28 pointsposted 7 hours ago
by sohkamyung

Baseball durations after the pitch clock

63 pointsposted 4 days ago
by zdw

The UK is still trying to backdoor encryption for Apple users

309 pointsposted 9 hours ago
by CharlesW

Microsoft 365 Copilot's commercial failure

115 pointsposted 10 hours ago
by jukkan