New comment by kobieps in "Ask HN: Who is hiring? (November 2025)"
🔌Network Programming
Flag this post
GSOC 2025 - Converting Demucs v4 (Hybrid Transformer) AI model to ONNX format
mixxx.org·16h
🧭SMT Solvers
Flag this post
Claude as a physicist
🧩Theorem Proving
Flag this post
How to check if a .onion is alive or dead (with Hidden Service Descriptors)
discuss.privacyguides.net·1d
⚖️Logic Programming
Flag this post
Inception raises $50 million to build diffusion models for code and text
techcrunch.com·19h
⚖Algorithmic Game Theory
Flag this post
OpenAI engineers don’t prompt like you do.
threadreaderapp.com·23h
👐Open Source Software
Flag this post
Students' Acceptance of Arduino Technology Integration in Student-Led Science Inquiry: Insights from the Technology Acceptance Model
arxiv.org·3h
🧮Programming Language Theory
Flag this post
My Hands-On Review of Kimi K2 Thinking: The Open-Source AI That's Changing the Game
🧩Theorem Proving
Flag this post
Using Liquid Time-Constant Neural Networks combined with water balance equations for groundwater level prediction in karst aquifers
sciencedirect.com·17h
🧫Cellular Automata
Flag this post
Steering the Flow: Network Control Through Mathematical Optimization
🔌Network Programming
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·3d
🔗Parser Combinators
Flag this post
Submanifold Sparse Convolutional Networks for Automated 3D Segmentation of Kidneys and Kidney Tumours in Computed Tomography
arxiv.org·3h
🔢Mathematical Logic
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
🤝Protocol Design
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·2d
🔗Parser Combinators
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·3d
🔗Parser Combinators
Flag this post
Qwen3-Nemotron-32B-RLBFF: How This Open-Source LLM Is Changing Production AI for Developers (Performance, Cost, & Secure SDLC)
👐Open Source Software
Flag this post
Loading...Loading more...