🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

Boosting XML Development with AI-Driven Code Actions in Oxygen XML Editor
blog.oxygenxml.comΒ·1d
🌳Incremental Parsing
5 useful ChatGPT prompts that are so surprisingly simple they might make you rethink the way you use AI
techradar.comΒ·15h
πŸŽ™οΈWhisper
Education becomes a new battlefield in the AI war between OpenAI and Google
businessinsider.comΒ·13h
πŸ—ΊοΈCompetency Maps
Modernising the Amiga at Forty
benjamin.computerΒ·1dΒ·
Discuss: Hacker News
🎡Amiga Formats
Qwen3 235B 2507 Instruct Now Available on Cerebras
cerebras.aiΒ·1dΒ·
Discuss: Hacker News
🧠Intelligence Compression
SecureFlow Extension to Vibe Code Securely – Codepathfinder.dev
codepathfinder.devΒ·9hΒ·
Discuss: Hacker News
πŸ“œProof Carrying Code
A Tour of Solaris 2.6 (2021)
smackeyacky.blogspot.comΒ·20hΒ·
Discuss: Hacker News
πŸ”ŒOperating system internals
StackGen's Autonomous Infrastructure Platform
stackgen.comΒ·13hΒ·
Discuss: Hacker News
🏠Homelab Orchestration
Why I’m not letting the juniors use GenAI for coding
lukeplant.me.ukΒ·3d
πŸ—οΈCompiler Archaeology
Beginner HomeLab for Programming and testing phase/VM
reddit.comΒ·1dΒ·
Discuss: r/homelab
🏠HomeLab
Socket Now Protects the Chrome Extension Ecosystem
socket.devΒ·3hΒ·
Discuss: Hacker News
🌐Web Standards
A Graphical Method for Designing Time-Optimal Non-Cartesian Gradient Waveforms
arxiv.orgΒ·2h
βš™οΈTape Engineering
ZIUM: Zero-Shot Intent-Aware Adversarial Attack on Unlearned Models
arxiv.orgΒ·2h
πŸ‘οΈPerceptual Hashing
Discovering Interpretable Ordinary Differential Equations from Noisy Data
arxiv.orgΒ·2h
πŸŒ€Differential Geometry
Dialogic Social Learning for Artificial Agents: Enhancing LLM Ontology Acquisition through Mixed-Initiative Educational Interactions
arxiv.orgΒ·2h
πŸ€–Grammar Induction
Boost Self-Supervised Dataset Distillation via Parameterization, Predefined Augmentation, and Approximation
arxiv.orgΒ·2h
πŸ—‚οΈVector Databases
ChatGPT Reads Your Tone and Responds Accordingly -- Until It Does Not -- Emotional Framing Induces Bias in LLM Outputs
arxiv.orgΒ·2h
🎯Dependent Parsing
diffSPH: Differentiable Smoothed Particle Hydrodynamics for Adjoint Optimization and Machine Learning
arxiv.orgΒ·2h
πŸŒ€Differential Geometry
Bangla BERT for Hyperpartisan News Detection: A Semi-Supervised and Explainable AI Approach
arxiv.orgΒ·2h
πŸ“Text Embeddings
Learning-based Privacy-Preserving Graph Publishing Against Sensitive Link Inference Attacks
arxiv.orgΒ·2h
πŸ›‘οΈDifferential Privacy
Loading...Loading more...
AboutBlogChangelogRoadmap