best video Editing software for chromebook
basanzietech.blogspot.com·1h·
Discuss: Hacker News
👐Open Source Software
Answer: Best ways to do just-in-time learning. Part 3: getting a teaching summary with NotebookLM
searchresearch1.blogspot.com·1h·
Discuss: searchresearch1.blogspot.com
🎲Probabilistic Programming
Fast Reasoning on GPT-OSS with Speculative Decoding and Arctic Inference
snowflake.com·2d
🎲Probabilistic Programming
original ↗
manton.org·1d
🧩Theorem Proving
86Box 5.0
86box.net·3d·
Discuss: Hacker News
💾Retrocomputing
AI-powered materials map speeds up materials discovery
phys.org·3h
🧫Cellular Automata
Make the Easy Change Hard
blog.appliedcomputing.io·2d·
Discuss: Lobsters, Hacker News
🦀Rust
Difference between the Kernel Type and the OS Architecture
reddit.com·3d·
Discuss: r/linux
💻Operating Systems
Can AI Have a Personality? Prompt Engineering for AI Personality Simulation: A Chatbot Case Study in Gender-Affirming Voice Therapy Training
arxiv.org·1d
📝Lisp
Are we creating intelligence, or discovering it?
medium.com·2d·
Discuss: Hacker News, r/LLM
🧫Cellular Automata
Prompt "RESTOFF"
reddit.com·3h·
Discuss: r/ChatGPTJailbreak
🧩Theorem Proving
[FM] Harbinger City
stacker.news·2d
🧮Programming Language Theory
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🧭SMT Solvers
Nvidia beat on earnings and revenue for the quarter
cnbc.com·1h
💾Retrocomputing
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·2d
🧩Theorem Proving
Explainable AI (XAI) for Arrhythmia detection from electrocardiograms
arxiv.org·1d
🎲Probabilistic Programming
Analyzed months of Claude Code usage logs tell why it feels so much better than other AI coding tools
reddit.com·3d·
Discuss: r/ClaudeAI
🧩Theorem Proving
NUC10 as first NAS?
reddit.com·2d·
Discuss: r/homelab
💾Retrocomputing
RL Is Neither a Panacea Nor a Mirage: Understanding Supervised vs. Reinforcement Learning Fine-Tuning for LLMs
arxiv.org·2d
🎲Probabilistic Programming
Your-Error-Handling-is-a-Mess-and-Its-Costing-You-💸
dev.to·1d·
Discuss: DEV
🔍Static Analysis