Show HN: Tired of ghosting on language apps. I made this to schedule real talks
meetapart.com·21h·
Discuss: Hacker News
🧩Theorem Proving
ChatLoopBackOff: Episode 67 (Kserve)
youtube.com·3h
🧮Programming Language Theory
Testing LLMs offline with Ollama
corinfaife.co·2d
🎲Probabilistic Programming
2025 Fantasy Baseball Week 22 Trade Values: Rest of season rankings for Roto, H2H points
cbssports.com·1h
🔢Mathematical Logic
Grounding Rule-Based Argumentation Using Datalog
arxiv.org·3d
⚖️Logic Programming
Enhanced Direct Conversion Transmitters via Adaptive Phase Noise Cancellation using Bayesian Optimization
dev.to·15h·
Discuss: DEV
📊Information Theory
Building a Better Robot, Block by Block
hackster.io·9h
🤖Sci-Fi
Semi-Supervised Anomaly Detection Pipeline for SOZ Localization Using Ictal-Related Chirp
arxiv.org·1d
🎲Probabilistic Programming
Building a Robust Backend with Effect, GraphQL, and Drizzle
dev.to·2d·
Discuss: DEV
🦀Rust
M5Cardputer Morse Code Suite
hackster.io·3h
🤝Protocol Design
The Impact of Large Language Models (LLMs) on Code Review Process
arxiv.org·3d
🔧Compiler Design
Dynamic Ride-Pooling Optimization via Adaptive Bayesian Network Control
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
CardAIc-Agents: A Multimodal Framework with Hierarchical Adaptation for Cardiac Care Support
arxiv.org·1d
🎲Probabilistic Programming
HOPSO: A Robust Classical Optimizer for VQE
arxiv.org·1d
🔐Cryptography
Accelerated SQL Query Optimization via Hybrid Evolutionary-Reinforcement Learning
dev.to·6d·
Discuss: DEV
🗄️Database Theory
MATA (m\=ata): Mindful Assessment of the Telugu Abilities of Large Language Models
arxiv.org·1d
🔗Parser Combinators
In-Context Examples Matter: Improving Emotion Recognition in Conversation with Instruction Tuning
arxiv.org·2d
🔧Compiler Design
Beyond Solving Math Quiz: Evaluating the Ability of Large Reasoning Models to Ask for Information
arxiv.org·3d
🧭SMT Solvers
AK-TSESC: A two-stage hybrid active learning Kriging algorithm combining an efficient error-based stopping criterion for time-dependent reliability analysis
sciencedirect.com·1d
🎲Probabilistic Programming
NFL teams seeking running back help: Why Saints, Browns, Chiefs are monitoring trade market
nytimes.com·8h
🧫Cellular Automata