AIXTRON SE (AIXXF) Q2 2025 Earnings Call Transcript
seekingalpha.com·9h
📋PREMIS Events
Alternatives to ‘AFAB’ and ‘AMAB’
medium.com·2d
🔀Category Theory
Atlassian Terminates 150 Staff With Pre-Recorded Video
slashdot.org·5h
🤖Archive Automation
Creativity, The Fifth Freedom & Access To Knowledge
techdirt.com·5h
🧲Magnetic Philosophy
Show HN: I built a voice-first tool for Twitter, pivoted to cursor for X
x11.social·1d·
Discuss: Hacker News
📰RSS Archaeology
Show HN: We Built a Serverless GPU Platform with Fast Cold Starts
dat1.co·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
From BIOS Jumpers to Figma Stocks
philwornath.substack.com·1d·
Discuss: Substack
🖥️Terminal Renaissance
Knowledge Graph achieves SOTA 94%+ accuracy on RobustQA
webai.com·11h·
Discuss: Hacker News
✅Archive Validation
The Reanimated Renaissance, C-Speed Compression, and JSON-Loving LLMs
thereactnativerewind.com·2d·
Discuss: Hacker News
🎬WebCodecs
Verification debt is the AI era's technical debt
kevinbrowne.ca·1d·
Discuss: Hacker News
⚙️Proof Engineering
What is an AI-first software company?
varungodbole.com·2d·
Discuss: Hacker News
⚙️TLA+
What Makes NixOS Different (and Why It's Better)
dashdot.me·5d·
Discuss: Hacker News
❄️Nix Adoption
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·3d
🧮Theorem Proving
Tiny giants: Marine microbes' pivotal role in the ocean's future
phys.org·1d
🌈Spectroscopy
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·3d
⏰Temporal Logic
Wall Shear Stress Estimation in Abdominal Aortic Aneurysms: Towards Generalisable Neural Surrogate Models
arxiv.org·2d
🌀Riemannian Computing
Dear 2022 Me: You’re Not Lazy. You’re Building Backwards.
dev.to·16h·
Discuss: DEV
💾Persistence Strategies
How UI Engineers Can Use AI (GenAI + Agentic) to Work Faster and Smarter
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Sendria is a test SMTP server
github.com·1d·
Discuss: Hacker News
⚡gRPC
Rethink Domain Generalization in Heterogeneous Sequence MRI Segmentation
arxiv.org·1d
📊Learned Metrics