Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·15h·
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
Your Transformer is Secretly an EOT Solver
elonlit.com·4d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Molecular Alchemy: AI-Powered Design of Novel Compounds by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🤖Program Synthesis
Flag this post
Feature Importance Guided Random Forest Learning with Simulated Annealing Based Hyperparameter Tuning
arxiv.org·18h
📐Linear Algebra
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·18h
🎮Verification Games
Flag this post
A Quantitative Framework to Predict Wait-Time Impacts Due to AI-Triage Devices in a Multi-AI, Multi-Disease Workflow
arxiv.org·1d
👁️Observability
Flag this post
DCcluster-Opt: Benchmarking Dynamic Multi-Objective Optimization for Geo-Distributed Data Center Workloads
arxiv.org·18h
🖥️Self-hosted Infrastructure
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
dev.to·9h·
Discuss: DEV
🤖Program Synthesis
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·18h
λFunctional Programming
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·4d
🧠Automated Reasoning
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·18h
📦OPAM
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·18h
🧠Automated Reasoning
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·18h
📚Automata Learning
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·18h
✓Automated Theorem Proving
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
Tech With Tim: 3 Unique Python Features You NEED To Know
vibe.forem.com·15h·
Discuss: DEV
📝Nix Language
Flag this post
This is one way I use AI for coding
dev.to·1d·
Discuss: DEV
🧮Z3 Solver
Flag this post