Factoring Carmichael Numbers
blog.computationalcomplexity.org·2d·
Discuss: blog.computationalcomplexity.org
🧮Constraint SMT
Flag this post
New research reveals the cognitive hurdles created by our number systems
psypost.org·1d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·10h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Zig in 30 Minutes
gist.github.com·12h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Windows ARM64 Internals: Deconstructing Pointer Authentication
preludesecurity.com·8h·
Discuss: Lobsters, Hacker News
👑RISC-V Privilege
Flag this post
GQLSchemaGen v1.0.0: Generate GraphQL Schemas from Go Code
pablor21.github.io·1d
📋DFDL
Flag this post
Hyper-Secure Code Generation via Lattice-Based Homomorphic Encryption & AI-Assisted Verification
dev.to·2d·
Discuss: DEV
🔐Homomorphic Encryption
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.com·10h·
Discuss: r/golang
⚡gRPC
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·8h·
Discuss: Hacker News
📟Terminals
Flag this post
Fizz Buzz with Cosines
susam.net·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📐Interval Arithmetic
Flag this post
High-grade encryption solution protects classified communications, resists quantum attacks
interestingengineering.com·2d
🔐Quantum Security
Flag this post
eBPF and Go in Production: Network Monitoring and Security
skoredin.pro·1d·
Discuss: Hacker News
🛡️eBPF Programs
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.com·1d·
Discuss: Hacker News
🔬Lean
Flag this post
How Wipro PARI accelerates PLC code generation using Amazon Bedrock
aws.amazon.com·1d
⚙️PL Implementation
Flag this post
Hacker Review of Ghost in the Shell (1995)
hackerfiction.net·14h·
Discuss: Hacker News
🔓Hacking
Flag this post
Show HN: AI Watermarkremover
aiwatermarkremover.online·31m·
Discuss: Hacker News
🤖AI Paleography
Flag this post
The Sacrilegious Coder
dev.to·7h·
Discuss: DEV
🎯Gradual Typing
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
LLM APIs are a Synchronization Problem
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
⚙️TLA+
Flag this post