A useful website for choosing your target Chinese university
findchinaschool.com·10h·
Discuss: r/Africa
⚖Algorithmic Game Theory
Horoscopes Aug. 30, 2025: Lisa Ling, a change of attitude will go a long way this year
mercurynews.com·6h
🔢Mathematical Logic
The 8 Best Container Scanning Tools for 2025
boostsecurity.io·4h
🔍Static Analysis
Proxmox Disk Caching Modes
blog.raymond.burkholder.net·2d
🐧Linux
Some more notes on the “wireless service unit”
boston.conman.org·14h
🔌Network Programming
How to Install and Use OpenAI's Codex Agent in VS Code
hackernoon.com·1d
👐Open Source Software
AI Emotions: System Prompt Design for Artificial Emotional States in LLMs
doi.org·2d·
Discuss: r/LLM
🔧Compiler Design
When a language model stops simulating and starts choosing
reddit.com·22h·
Discuss: r/LLM
🧮Programming Language Theory
Simplify Your Data Queries with Query Lens - Feedback Needed!
dev.to·3d·
Discuss: DEV
🌍Distributed Systems
Six bets on web development in the era of AI
llmstxt.org·3d·
Discuss: DEV
🔧Compiler Design
第40回調布花火 ９月20日 約１万発が夜空彩る 川崎市多摩区・川崎市麻生区
news.jp·4h
📊Information Theory
Issues with fine tuning llama 3.1 instruct
reddit.com·3d·
Discuss: r/LLM
🧭SMT Solvers
[Showoff Saturday] cozycli.com - a small terminal to learn linux commands
reddit.com·2h·
Discuss: r/webdev
🦀Rust
I Built a Vanilla JS PWA: My Age & Duration Calculator Project
dev.to·22h·
Discuss: DEV
🎲Probabilistic Programming
Can Tunisia’s Largest Labor Union Survive Saied?
foreignpolicy.com·3d
🧮Programming Language Theory
Human in the Loop for computer use agents
reddit.com·1d·
Discuss: r/LocalLLaMA
🧩Theorem Proving
Building AI Agents with Haystack and Gaia Node: A Practical Guide
dev.to·3d·
Discuss: DEV
🏗️Software Architecture
Visualizing nexus of porous architecture and reactive transport in heterogeneous catalysis by deep learning computer vision and transfer learning
nature.com·20h
🧫Cellular Automata
Some thoughts on LLMs and Software Development
martinfowler.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔧Compiler Design
Antonio Cuni: PhD Thesis about PyPy's CLI JIT Backend
antocuni.eu·1d
🧩Theorem Proving