Machine learning by satisfiability solving
johndcook.com·2d
🎯Performance Proofs
Python Scripts – From Classroom to Community - 1
brezular.com·1d
🔗Concatenative Programming
Vision for W3C to reach durable and sustainable success
w3.org·2d
🏷️Metadata Standards
My AI chatbot thinks my idea is fundable
nature.com·2d
🤖AI Curation
Rescue workers in Chile find the body of one of 5 miners trapped in a copper mine
the-independent.com·5h
🔍Cassette Forensics
Soft-leaving social media; choosing creation over connection
scyy.fi·15h·
Discuss: Hacker News
🔗Online Curation
Best Programming Codes for Free
dev.to·11h·
Discuss: DEV
🌳Huffman Trees
What does your chatbot think about this chatbot's thoughts on GPT-5
karimmustaghni.substack.com·2d·
Discuss: Substack
🤖AI Curation
Escaping AI Slop: A Design System Approach to Claude Code
raduan.xyz·15h·
Discuss: Hacker News
🦋Format Metamorphosis
From ideation and creation to scheduling and posting, all in one intelligent platform -- Content Lead
dev.to·2d·
Discuss: DEV
📡RSS Automation
World's First Mental Gym – No AI Allowed
news.ycombinator.com·9h·
Discuss: Hacker News
🧠Intelligence Compression
Launch HN: Societies.io (YC W25) – AI simulations of your target audience
news.ycombinator.com·1d·
Discuss: Hacker News
📊Feed Optimization
PHAX: A Structured Argumentation Framework for User-Centered Explainable AI in Public Health and Biomedical Sciences
arxiv.org·3d
🔢Denotational Semantics
Dual Cross-image Semantic Consistency with Self-aware Pseudo Labeling for Semi-supervised Medical Image Segmentation
arxiv.org·3d
🌀Riemannian Computing
Operator-Based Machine Intelligence: A Hilbert Space Framework for Spectral Learning and Symbolic Reasoning
arxiv.org·3d
🧠Machine Learning
Modern Uyghur Dependency Treebank (MUDT): An Integrated Morphosyntactic Framework for a Low-Resource Language
arxiv.org·3d
🎯Dependent Parsing
Reviving Your MNEME: Predicting The Side Effects of LLM Unlearning and Fine-Tuning via Sparse Model Diffing
arxiv.org·3d
💻Local LLMs
Before the Outrage: Challenges and Advances in Predicting Online Antisocial Behavior
arxiv.org·4d
⚖️Feed Ranking
Customize Multi-modal RAI Guardrails with Precedent-based predictions
arxiv.org·4d
📊Learned Metrics
Validating Generative Agent-Based Models of Social Norm Enforcement: From Replication to Novel Predictions
arxiv.org·3d
🔲Cellular Automata