news
ProofOfThought: LLM-based reasoning using Z3 theorem proving
227 pointsposted 11 hours ago
by barthelomewWhat .NET 10 GC Changes Mean for Developers
7 pointsposted 4 days ago
by roxeemA comparison of Ada and Rust, using solutions to the Advent of Code
216 pointsposted 14 hours ago
by andsoitisNewton: physics simulation engine built upon NVIDIA Warp
73 pointsposted 4 days ago
by skilledAI-powered open-source code laundering
51 pointsposted 6 hours ago
by genkiuncleMachine Learnability as a Measure of Order in Aperiodic Sequences
14 pointsposted 3 days ago
by PaulHouleMod. 5140 - IBM's First Laptop Computer
24 pointsposted 5 hours ago
by jumpocelotParrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL
27 pointsposted 5 hours ago
by TheWigglesSpace Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4
40 pointsposted 6 hours ago
by bookofjoeMatrix Core Programming on AMD GPUs
54 pointsposted 8 hours ago
by skidrowXiangShan 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 nikodunkNSA and IETF: Can an attacker purchase standardization of weakened cryptography?
56 pointsposted 7 hours ago
by zdwMathematical Models/Algorithms for Optimization of Lego Construction Problems [pdf]
32 pointsposted 4 days ago
by felineflockHow to inject knowledge efficiently? Knowledge infusion scaling law for LLMs
78 pointsposted 12 hours ago
by PaulHouleShow HN: Run – a CLI universal code runner I built while learning Rust
74 pointsposted 11 hours ago
by esubaalewEarth was born dry until a cosmic collision made it a blue planet
212 pointsposted 5 days ago
by amichailClavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces
76 pointsposted 4 days ago
by zdwSelf-hosting email like it's 1984
209 pointsposted 15 hours ago
by xmx98Thunderscan: A clever device transforms a printer into a scanner (2004)
148 pointsposted 17 hours ago
by dtgriscomPaged Out Issue #7 [pdf]
240 pointsposted 19 hours ago
by todsacerdotiAmericans increasingly see legal sports betting as a bad thing for society
15 pointsposted 2 hours ago
by aloukissasThe Buchstabenmuseum Berlin is closing
163 pointsposted 18 hours ago
by t-viShow HN: Cobalt – a pixel-art painting studio for the Nintendo DS
140 pointsposted 4 days ago
by benbridleBaseball durations after the pitch clock
63 pointsposted 4 days ago
by zdwThe UK is still trying to backdoor encryption for Apple users
309 pointsposted 9 hours ago
by CharlesWMicrosoft 365 Copilot's commercial failure
115 pointsposted 10 hours ago
by jukkan