Note
hsu.cy·9h
📜Text Collation
Flag this post
Sandy Maguire: Arrows to Arrows, Categories to Queries
reasonablypolymorphic.com·18h
🧮Algebraic Datatypes
Flag this post
Cosy Writer’s Den in Bengaluru, India
makerstations.io·2d
⌨️Mechanical Keyboards
Flag this post
Cyberdelics: VR hallucinations modulate cognitive-affective processes
📈Entropy Estimation
Flag this post
To panic or not to panic
🔒Type Safety
Flag this post
Self-improving language models are becoming reality with MIT's updated SEAL technique
💻Local LLMs
Flag this post
Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
arxiv.org·4h
✅Formal Methods
Flag this post
Beating Harmful Stereotypes Through Facts: RAG-based Counter-speech Generation
arxiv.org·4h
📝ABNF Extensions
Flag this post
(R)evolution of Programming: Vibe Coding as a Post-Coding Paradigm
arxiv.org·4h
🔄Language Evolution
Flag this post
What do you think about this setup ?
💾Proxmox Storage
Flag this post
Dancing proteins keep cells moving: Redefining the function and role of key factors in actin filament disassembly
phys.org·1d
⚙️Tape Engineering
Flag this post
Repeated-and-Offset QPSK for DFT-s-OFDM in Satellite Access
arxiv.org·1d
⚽Sphere Packing
Flag this post
IBM 1130 MRAM memory replacement - continuity test, then testing on the IBM 1130
💾Floppy Imaging
Flag this post
On the Alignment Between Supervised and Self-Supervised Contrastive Learning
arxiv.org·2d
🧠Machine Learning
Flag this post
Hallucination Filtering in Radiology Vision-Language Models Using Discrete Semantic Entropy
arxiv.org·2d
📈Mutual Information
Flag this post
HandEval: Taking the First Step Towards Hand Quality Evaluation in Generated Images
arxiv.org·2d
🌀Differential Geometry
Flag this post
Sample-Efficient Omniprediction for Proper Losses
arxiv.org·4h
🧠Intelligence Compression
Flag this post
Loading...Loading more...