💻 CS

computer science, automata, theory, computation

Adding a little Carpentries Magic to Workshop Organisation at the Collaborations Workshop
software.ac.uk·11h
📚MARC Archaeology
Announcing Precomputed Reachability Analysis in Socket
socket.dev·3h·
Discuss: Hacker News
👁️System Observability
Understanding ASTs
hypermod.io·1d·
Discuss: Hacker News
📊Static Analysis
Senior Rust Engineer
news.ycombinator.com·8h·
Discuss: Hacker News
🔐CBOR
Pscyhology Safety in Engineering Teams
yeka.substack.com·6h·
Discuss: Substack
🔍Concolic Testing
Online Software for an Interstellar Civilization
gatlin.io·1h·
Discuss: Hacker News
⏰Time Crystals
Remodelling of corticostriatal axonal boutons during motor learning
nature.com·7h
🔲Cellular Automata
🎨 Clean code setup that boosts focus:
dev.to·1d·
Discuss: DEV
📟CLI Design
Machine Learning Fundamentals: k-nearest neighbors example
dev.to·1d·
Discuss: DEV
🗂️Vector Databases
Complementarity-driven Representation Learning for Multi-modal Knowledge Graph Completion
arxiv.org·1d
🕸️Graph Embeddings
The tradeoff between human and AI context
softwaredoug.com·7h·
Discuss: Hacker News
🏗️Compiler Archaeology
GitHub Copilot: Reusable Prompts, Part 2 — Walkthrough & Real Examples
dev.to·11h·
Discuss: DEV
⚔️Lean Tactics
Tokenomics by Grammar
hackernoon.com·2d
📋Document Grammar
Matching Game Preferences Through Dialogical Large Language Models: A Perspective
arxiv.org·1d
🧠Intelligence Compression
Building an AI-Powered Real-Time Recommendation Engine with Redis Vector Search
dev.to·1d·
Discuss: DEV
⚖️Feed Ranking
Empowering Educators in the Age of AI: An Empirical Study on Creating custom GPTs in Qualitative Research Method education
arxiv.org·19h
🗺️Competency Maps
Can You Trust an LLM with Your Life-Changing Decision? An Investigation into AI High-Stakes Responses
arxiv.org·19h
💻Local LLMs
🔮 Top 5 Future-Proof Tech Skills Every Developer Should Learn
dev.to·17h·
Discuss: DEV
🌊Stream Processing
Adaptive Learned Belief Propagation for Decoding Error-Correcting Codes
arxiv.org·1d
🧮Kolmogorov Complexity
Integration of Large Language Models within Cognitive Architectures for Autonomous Robots
arxiv.org·19h
🧮Prolog Parsing