PHP 8.5 Brings Long-Awaited Pipe Operator, Adds New URI Tools
developers.slashdot.orgยท17h
๐Shell Languages
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.ioยท19h
๐Hash Algorithms
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.orgยท2d
๐ฏFinite Automata
Flag this post
original โ
zylstra.orgยท19h
๐ฒTree-sitter
Flag this post
Post-Conj update
๐ฎClojure
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
๐ฌInteractive REPLs
Flag this post
Typing Monkeys
๐ฑTiny Languages
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.comยท4d
๐ถLattice Theory
Flag this post
10000
jro.sgยท1d
๐ฆExecutable Size
Flag this post
Recursive Satellite Trajectory Optimization for Collision Avoidance via Hybrid Symbolic-Numeric Simulation
โกPartial Evaluation
Flag this post
Predicting Complex Disease Phenotypes via Multi-Modal CNV Graph Integration and Bayesian HyperScoring
โจEffect Inference
Flag this post
Show HN: Liteยณ โ A JSON-Compatible Zero-Copy Serialization Format in 9.3 KB of C
๐ขBinary Formats
Flag this post
It's LIT! Reliability-Optimized LLMs with Inspectable Tools
arxiv.orgยท3d
๐ชRecursive Descent
Flag this post
Predictive and secure look-ahead log interception using Aho-Corasick & log tokenization (Java & Spring)
๐Incremental Lexing
Flag this post
Lorxus Does Halfhaven: 11/15~11/21
lesswrong.comยท2d
โกFusion Laws
Flag this post
Loading...Loading more...