Inside Ticker
insideticker.com·2h
📊Feed Optimization
On This Day in Math - July 9
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Mathematical Art
The lost history of the electric car–and what it tells us about the future(2021)
theguardian.com·1d·
Discuss: Hacker News
🕯️Wax Cylinders
Galois field instructions on 2021 CPUs
corsix.org·47m·
Discuss: Hacker News
🔐RISC-V Cryptography
guile lab notebook: on the move!
wingolog.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Separation Logic
Replace AI References in Comments with Tests That Actually Work
hackernoon.com·3d
⚡Proof Automation
A nuanced model of soil moisture illuminates plant behavior and climate patterns
phys.org·2d
🔶Voronoi Diagrams
Beyond classical and contemporary models: a transformative ai framework for student dropout prediction in distance learning using rag, prompt engineering, and c...
arxiv.org·1d
🗺️Competency Maps
Integrating Generative AI in BIM Education: Insights from Classroom Implementation
arxiv.org·1d
⚡Effectful Programming
Nutrients activate distinct patterns of small-intestinal enteric neurons
nature.com·1d
📈Mutual Information
Bit-Flip Fault Attack: Crushing Graph Neural Networks via Gradual Bit Search
arxiv.org·1d
🌸Bloom Variants
Prompt Migration: Stabilizing GenAI Applications with Evolving Large Language Models
arxiv.org·1d
🦋Format Metamorphosis
Information Needs and Practices Supported by ChatGPT
arxiv.org·1d
🌱Personal Wikis
🚀Building with Bolt: How I Created Smile2Earn
dev.to·17h·
Discuss: DEV
🚀Indie Hacking
Enterprise AI feature development with LLMs
dev.to·1d·
Discuss: DEV
🎙️Whisper
Understanding Everything as Code: A Taxonomy and Conceptual Model
arxiv.org·2d
🔢Denotational Semantics
Model Collapse Is Not a Bug but a Feature in Machine Unlearning for LLMs
arxiv.org·2d
💻Local LLMs
LILI clustering algorithm: Limit Inferior Leaf Interval Integrated into Causal Forest for Causal Interference
arxiv.org·2d
🧠Machine Learning
AI Tools Every Developer Should Know in 2025
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Explainable Anomaly Detection with RuleFit: An Intuitive Guide
towardsdatascience.com·5d
🧮Kolmogorov Bounds