Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Five Years of the Koko Analytics WordPress Plugin
thenewleafjournal.com·2d
🔃Feed Algorithms
2025 is 4th consecutive year of record fossil fuel demand
energyinst.org·2h·
Discuss: Hacker News
💰Preservation Economics
SEO Tool for Small Business
seotic.co·5d·
Discuss: Hacker News
📊Search Ranking
Building Modular Rails Applications: A Deep Dive into Rails Engines
panasiti.me·1d·
Discuss: Hacker News, r/programming
🔄Sync Engine
What birdsong and backends can teach us about magic
digitalseams.com·2d·
Discuss: Hacker News, Hacker News
⛏️File Carving
We stopped relying on bloom filters and now sort our ClickHouse primary key on a resource fingerprint. It cut our log query scans to 0.85% of blocks.
signoz.io·5d·
Discuss: Hacker News, r/programming
🗄️Database Internals
Deploy a full-stack web application on Kubernetes: A Full Course meal
blog.devops.dev·3h
📦Container Security
Delegation is the AI Metric that Matters
dbreunig.com·2d·
Discuss: Hacker News
👁️Observatory Systems
Automating Deep Learning: A Gentle Introduction to AutoKeras and Keras Tuner
towardsdatascience.com·2h
📊Quantization
Towards Collaborative Fairness in Federated Learning Under Imbalanced Covariate Shift
arxiv.org·1d
🤐Secure Multiparty
Building a Global News Tracker with NLP and GeoTagging.
dev.to·11h·
Discuss: DEV
📰Feed Readers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Agritech AI from Lab to Land: How an AI Course in Hyderabad Fuels the Farming Revolution
dev.to·13h·
Discuss: DEV
☕Precision Brewing
A Brain Tumor Segmentation Method Based on CLIP and 3D U-Net with Cross-Modal Semantic Guidance and Multi-Level Feature Fusion
arxiv.org·15h
📄Text Segmentation
PU-Lie: Lightweight Deception Detection in Imbalanced Diplomatic Dialogues via Positive-Unlabeled Learning
arxiv.org·15h
👑Coq Tactics
A Data-Driven Review of Remote Sensing-Based Data Fusion in Precision Agriculture from Foundational to Transformer-Based Techniques
arxiv.org·15h
🧠Machine Learning
Sandboxing AI - Extending AI Responsibly
dev.to·5h·
Discuss: DEV
🔒WASM Capabilities
Continuous Spiking Graph Neural Networks
arxiv.org·15h
🕸️Graph Embeddings
Analysis of Propaganda in Tweets From Politically Biased Sources
arxiv.org·1d
📥Feed Aggregation