Programming for Computations: Matlab/Octave
link.springer.com·1d·
Discuss: Hacker News
📐Error Bounds
Flag this post
Microservices? No, modularity is what matters
binaryigor.com·6h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
The Illustrated NeurIPS 2025: A Visual Map of the AI Frontier
newsletter.languagemodels.co·1d
🇸🇪Nordic Algorithms
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·1d·
Discuss: Hacker News
Effect Handlers
Flag this post
Mind the Gap: Missing Cyber Threat Coverage in NIDS Datasets for the Energy Sector
arxiv.org·14h
🏠Homelab Pentesting
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·14h
Compression Hardware
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
💧Liquid Types
Flag this post
Benchmarking Generative AI Against Bayesian Optimization for Constrained Multi-Objective Inverse Design
arxiv.org·14h
🧮Constraint Solvers
Flag this post
Region-Aware Reconstruction Strategy for Pre-training fMRI Foundation Model
arxiv.org·14h
📊Learned Metrics
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·4d·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·14h
🌀Riemannian Computing
Flag this post
FedMGP: Personalized Federated Learning with Multi-Group Text-Visual Prompts
arxiv.org·14h
🧮Vector Embeddings
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·7h·
Discuss: DEV
Proof Automation
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·1d·
Discuss: Hacker News
Proof Automation
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·14h
🔄Language Evolution
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·1d
💻Local LLMs
Flag this post
This is one way I use AI for coding
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post
Recording My Experiments in Spec-Driven Development
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Prog8
github.com·3h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·14h
Incremental Computation
Flag this post