CACM Practice Welcomes Submissions
๐Technical Writing
Flag this post
Private AI Compute: our next step in building private and helpful AI
๐ก๏ธAI Security
Flag this post
How to Implement Real-Time Features in Web Apps: A Comprehensive Guide
๐Web Development
Flag this post
What do noise functions sound like?
๐จComputer Graphics
Flag this post
POLYVAL Work Bringing More Performance Gains To Linux Crypto Subsystem
phoronix.comยท2d
๐Performance
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
๐๏ธSystem Design
Flag this post
Structural sign herdability of linear time-invariant systems:theory and design for arbitrary network structures
arxiv.orgยท1d
๐ธ๏ธGraph Theory
Flag this post
Top Open-Source MCP Servers and SDKs to Explore: Your Gateway to AI Superpowers
๐ณTree-sitter
Flag this post
An Empirical Study of Reasoning Steps in Thinking Code LLMs
arxiv.orgยท1d
๐ญProgram Synthesis
Flag this post
Sensitivity of Small Language Models to Fine-tuning Data Contamination
arxiv.orgยท1d
๐Parser Combinators
Flag this post
Decentralized Knowledge Graph Augmentation for Semantic Web3 Discovery
๐ธ๏ธKnowledge Graphs
Flag this post
Why Every Developer Should Learn Prompt Engineering This Year
pub.towardsai.netยท1d
๐ฌPrompt Engineering
Flag this post
Explainable Probabilistic Machine Learning for Predicting Drilling Fluid Loss of Circulation in Marun Oil Field
arxiv.orgยท1d
๐ฌPrompt Engineering
Flag this post
Startup and the Friends
๐Personal Wikis
Flag this post
Think Before You Retrieve: Learning Test-Time Adaptive Search with Small Language Models
arxiv.orgยท7h
๐RAG
Flag this post
DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
arxiv.orgยท7h
๐งฎSMT Solvers
Flag this post
Loading...Loading more...