Cactus Language • Pragmatics 2
inquiryintoinquiry.com·17h
🔤Type Theory
category theory emergency? dial 00よ, now!
thalescircles.tumblr.com·12h
λLambda Formalization
What’s the purpose of a theorem? (Hint: It’s not what you think.)
statmodeling.stat.columbia.edu·19h
⚔️Lean Theorem
Can we build an Activist AI?
micahbornfree.substack.com·7h·
Discuss: Substack
⚡Incremental Computation
The Illusion of Thinking
mjtsai.com·1d
🧮SMT Solvers
Hybrid AI-human approach is necessary to uphold research integrity
thehindu.com·19h·
Discuss: Hacker News
🔄Archival Workflows
TreeView - A Go module for building, navigating, and displaying hierarchical data in the terminal.
github.com·2d·
Discuss: r/golang
🌳Incremental Parsing
Measuring Engineering
fffej.substack.com·5h·
Discuss: Substack
📏Code Metrics
LLMs remain vulnerable to "jailbreaking" through adversarial prompts
link.springer.com·2d·
Discuss: Hacker News
💻Local LLMs
Systematic AI Development: A Demo Project Breakdown
dev.to·1d·
Discuss: DEV
⚡Proof Automation
This AI Learns Faster Than Anything We’ve Seen!
youtube.com·15h
🔲Cellular Automata
Pattern matching across different languages
dev.to·2d·
Discuss: DEV
🧮Algebraic Datatypes
VectorChat - Real-Time AI-Powered Customer Support with Redis Vector Search
dev.to·19h·
Discuss: DEV
🌊Apache Kafka
✨ How I Built Philosophy AI Agent for WLH Project
dev.to·15h·
Discuss: DEV
🌀Brotli Internals
Your personal Blockchain tutor powered by AssemblyAI
dev.to·5h·
Discuss: DEV
🎙️Whisper
Machine Learning Fundamentals: gradient descent
dev.to·2d·
Discuss: DEV
🎵Audio ML
Free Robots.txt Generator Tool Create SEO-Friendly
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Boolean SHA256 with TFHE-rs (2023)
zama.ai·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Removing Box-Free Watermarks for Image-to-Image Models via Query-Based Reverse Engineering
arxiv.org·2d
👁️Perceptual Hashing
Python Fundamentals: collections module
dev.to·20h·
Discuss: DEV
🌀Brotli Internals