Implementing E Unification using SMT
philipzucker.com·1d
⚡SIMD
Flag this post
Duck Hunt: Moving Bauplan from DuckDB to DataFusion
bauplanlabs.com·40m·
Discuss: Hacker News
⚡SIMD
Flag this post
A Security Model for Systemd
lwn.net·5d·
Discuss: Lobsters, Hacker News
⚡SIMD
Flag this post
4 open‑source apps I use to run AI locally
xda-developers.com·24m
⚡SIMD
Flag this post
Synth: The New Data Frontier
pleias.fr·9h·
Discuss: Hacker News
⚡performance optimization
Flag this post
Rewiring Human Brain Networks via Lightweight Dynamic Connectivity Framework: An EEG-Based Stress Validation
arxiv.org·10h
⚡performance optimization
Flag this post
[D] Choosing a thesis topic in ML
reddit.com·8h·
Discuss: r/MachineLearning
⚡SIMD
Flag this post
I made my first Go package.
reddit.com·2h·
Discuss: r/golang
💹trading systems
Flag this post
How was your experience upgrading to JDK25?
reddit.com·1d·
Discuss: r/java
⚡performance optimization
Flag this post
Building a Ransomware Playbook That Actually Works
dev.to·7h·
Discuss: DEV
💹trading systems
Flag this post
Are Your Python Fundamentals as Solid as You Think?
dev.to·3d·
Discuss: DEV
⚡SIMD
Flag this post
EASE: Practical and Efficient Safety Alignment for Small Language Models
arxiv.org·10h
⚡SIMD
Flag this post
APIs are the New Sales Demos: The Unfiltered State of B2B Tech in 2024
dev.to·1d·
Discuss: DEV
⚡performance optimization
Flag this post
System Design Interviews Simplified: How Mectora Prepares You for FAANG Companies
dev.to·17h·
Discuss: DEV
⚡SIMD
Flag this post
What I learned building a language-learning app
lesswrong.com·18h
⚡performance optimization
Flag this post
Real-world deployment of model-free reinforcement learning for energy control in district heating systems: Enhancing flexibility across neighboring buildings
sciencedirect.com·2d
⚡SIMD
Flag this post
Fast Code, Fragile Security: How DevSecOps Lost Control (and How We Fix It)
dev.to·2d·
Discuss: DEV
⚡performance optimization
Flag this post
Understanding Dependency Injection with TypeScript, NestJS, and Angular
dev.to·2d·
Discuss: DEV
⚡SIMD
Flag this post
Sloppy : Chrome Extension for AI Slop Detection with Agentic Postgres
github.com·1d·
Discuss: DEV
⚡performance optimization
Flag this post
AdvisingWise: Supporting Academic Advising in Higher Educations Through a Human-in-the-Loop Multi-Agent Framework
arxiv.org·10h
⚡performance optimization
Flag this post