Specifications like temporal logic but with ordinary mathematics
yodaiken.com·2d
📄PostScript
Flag this post
Cadabra – a field-theory motivated approach to computer algebra
cadabra.science·28m·
Discuss: Hacker News
📜Digital Philology
Flag this post
Show HN: I created an app that organise your thoughts
apps.apple.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
Flag this post
Show HN: Circalify – 10KB circular timeline library for annual planning
mahmoodseoud.github.io·1d·
Discuss: Hacker News
⏱️Interval Archives
Flag this post
Unicode Footguns in Python
pythonkoans.substack.com·3d·
Discuss: Substack
🔤Unicode Normalization
Flag this post
Fairytale Hunt: In-Browser embedding search text game
ghostweather.com·3d·
Discuss: Hacker News
📜Binary Philology
Flag this post
Ralf Brown's Files (The x86 Interrupt List)
cs.cmu.edu·1d·
Discuss: Hacker News
📺VT100
Flag this post
How to Decide – Will Your AI App Improve with RAG or Fine-Tuning?
sarthakai.substack.com·5h·
Discuss: Substack
🗣️Domain-Specific Languages
Flag this post
Language records reveal a surge of cognitive distortions in recent decades
pnas.org·17h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Kurzgesagt - In a Nutshell: It's Been 10 Years...
dev.to·5h·
Discuss: DEV
🏛Digital humanities
Flag this post
VENI, VINDy, VICI: a generative reduced-order modeling framework with uncertainty quantification
arxiv.org·3h
✨Effect Handlers
Flag this post
The Complete Guide to Prompt Engineering (That Actually Works)
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Flag this post
Urban 3D Change Detection Using LiDAR Sensor for HD Map Maintenance and Smart Mobility
arxiv.org·3h
🏺Computational Archaeology
Flag this post
Weekly Challenge: The one about arrays
dev.to·19h·
Discuss: DEV
📊APL Heritage
Flag this post
Object Genesis: Reconstructing Reality on the Fly by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🏺Computational Archaeology
Flag this post
When Models Manipulate Manifolds: The Geometry of a Counting Task
transformer-circuits.pub·5d·
Discuss: Hacker News
🌀Differential Geometry
Flag this post
Deconstructed Proto-Quipper: A Rational Reconstruction
arxiv.org·3d
🔗Parser Combinators
Flag this post
InnoGate: Anti-Piracy Research Discovery Platform with AI-Powered RAG and Auth0 FGA
dev.to·52m·
Discuss: DEV
🔌Archive APIs
Flag this post
Leverage Unlearning to Sanitize LLMs
arxiv.org·3h
💻Local LLMs
Flag this post
String Seed of Thought: Prompting LLMs for Distribution-Faithful and Diverse Generation
arxiv.org·3h
🧪Binary Fuzzing
Flag this post