Power of CAD software in accelerating product development in chemical industries
chemistryworld.com·2d·
Discuss: Hacker News
🐳Containerization
'Microbial piracy' uncovers new way to fight drug-resistant infections
imperial.ac.uk·2h·
Discuss: Hacker News
🍏Darwin
I built "The Great Lock-In" app (currently trending on the App Store)
apps.apple.com·9h·
Discuss: Hacker News
🍎Apple
Goals per Week: A Proven Productivity Method for Stem Professionals – Execute3
execute3.com·2d·
Discuss: Hacker News
🏹Effect Systems
Windows KASLR Bypass – CVE-2025-53136
crowdfense.com·9h·
Discuss: Hacker News
👁️System Observability
Perl Rebounds In TIOBE Index - Why?
i-programmer.info·1d·
Discuss: Hacker News, r/programming
🔤DSLs
Nontransitive comparison functions lead to out-of-bounds read and write in glibc
qualys.com·4d·
Discuss: Hacker News
🧮Lambda Calculus
Using RPI 5 Compute Module for FPGA Test
hackster.io·3d·
Discuss: Hacker News
🐫Embedded OCaml
Nanonext: breaking down language barriers in data science
tidyverse.org·10h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
I'm Using Perplexity
fldr.zip·3d·
Discuss: Hacker News
📦Unikernel Systems
We Ship ML Algorithms to Prod Without Rewrites (Or ML Engineers)
shlep.ai·4d·
Discuss: Hacker News
💎Refinement Types
Oracle boasts $455B backlog from AI boom, but not all will live to pay up
theregister.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The short case for Oracle (via ChatGPT)
news.ycombinator.com·11h·
Discuss: Hacker News
⚙️PL Implementation
Vertex-ordering and arc-partitioning problems
arxiv.org·3d
⚡Process Calculi
Research on Multi-hop Inference Optimization of LLM Based on MQUAKE Framework
arxiv.org·3d
🧩Parser Combinators
Can AI code? Study maps the roadblocks to autonomous software engineering
csail.mit.edu·3d·
Discuss: Hacker News
🤖Program Synthesis
MachineLearningLM: Continued Pretraining Language Models on Millions of Synthetic Tabular Prediction Tasks Scales In-Context ML
arxiv.org·2d
📚Automata Learning
Systematic Evaluation of Multi-modal Approaches to Complex Player Profile Classification
arxiv.org·2d
🎮Verification Games
Quantifying Accuracy of an Event-Based Star Tracker via Earth's Rotation
arxiv.org·21h
🏹Effect Systems
NVIDIA Rubin CPX Accelerates Inference Performance and Efficiency for 1M+ Token Context Workloads
developer.nvidia.com·4d·
Discuss: Hacker News
🧩Separation Logic