Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·11h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Google's Jeff Dean on the Coming Era of Virtual Engineers
sequoiacap.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·4d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Code Smell 313 - Workslop Code
dev.to·8h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Reason About Intelligence, Not AI
lesswrong.com·2d
🧠Automated Reasoning
Flag this post
Feature Importance Guided Random Forest Learning with Simulated Annealing Based Hyperparameter Tuning
arxiv.org·14h
📐Linear Algebra
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·14h
🎮Verification Games
Flag this post
From searching to solving: how Vector Databases transform product discovery
dev.to·1d·
Discuss: DEV
🔢Algebraic Data Types
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·14h
λFunctional Programming
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·4d
🧠Automated Reasoning
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·14h
🧠Automated Reasoning
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·14h
📦OPAM
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
dev.to·5h·
Discuss: DEV
🤖Program Synthesis
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·14h
Automated Theorem Proving
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·14h
📚Automata Learning
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1d
📚Automata Learning
Flag this post
Solving a problem with mindware
lesswrong.com·1d
🔲Cellular Automata
Flag this post