📱 Laptops

honor, huawei, lenovo, apple, laptop reviews, tests

Typechecker Zoo
sdiehl.github.io·2d·
Discuss: Lobsters, r/programming
λFunctional Programming
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·3d·
Discuss: Lobsters, Hacker News
🔍Query Compilers
Max Read’s ‘A Literary History of Fake Texts in Apple’s Marketing Materials’
daringfireball.net·4d·
Discuss: Hacker News
✨vibe-coding
The Crisis of the University Started Long Before Trump
compactmag.com·3d·
Discuss: Hacker News
🧩Low-code
Documenting Code is boring ….but it doesn’t have to be
medium.com·6h·
Discuss: r/programming
🧩Low-code
OOMProf - Take a heap profile just before OOMkill using eBPF
polarsignals.com·4d·
Discuss: Lobsters, Hacker News, r/golang, r/linux
🔍eBPF
Why `git diff` sometimes hangs for 10 seconds on Windows (it's Defender's behavioral analysis, and file exclusions won't help)
reddit.com·2d·
Discuss: r/programming
🔍eBPF
Salty Seagull: A VSAT Honeynet to Follow the Bread Crumb of Attacks in Ship Networks
arxiv.org·2h
📊Infrastructure Monitoring
Lifting the Hood on Trace Propagation in OpenTelemetry
dev.to·6h·
Discuss: DEV
🔬eBPF Monitoring
Program the BBC Micro in C with VBCC for 6502 on macOS Using Docker
retrogamecoders.com·3d·
Discuss: Hacker News
🦋Tauri
Show HN: Accidentally built churn detection AI (I don't code)
github.com·3d·
Discuss: Hacker News
☁️Serverless Rust
Foldable SuperNets: Scalable Merging of Transformers with Different Initializations and Tasks
arxiv.org·2h
🤝Federated Learning
ACC Cards Generator with Google AI Studio
dev.to·3d·
Discuss: DEV
🗣️Voice Coding
StyleMM: Stylized 3D Morphable Face Model via Text-Driven Aligned Image Translation
arxiv.org·2h
🎙️Whisper
Oracle to Offer Google's Gemini Models to Customers, Accelerating Enterprises' Agentic AI Journeys - Google Cloud Press Corner
news.google.com·3d
🎚️Voice AI Systems
Understanding Databases: A Comprehensive Guide to Types and Use Cases
dev.to·2d·
Discuss: DEV
🔧Database Engines
Hyperspectral vs. RGB for Pedestrian Segmentation in Urban Driving Scenes: A Comparative Study
arxiv.org·2h
⏰Time-Series Analytics
Enhanced Multiplexed Disease Biomarker Detection via Tunable Nanoparticle Resonance Cascade
dev.to·3d·
Discuss: DEV
💧Water Sensors
**Automated Dynamics Mapping & Scoring of PPI Interaction Networks**
dev.to·1d·
Discuss: DEV
🧬Computational Biology
IADGPT: Unified LVLM for Few-Shot Industrial Anomaly Detection, Localization, and Reasoning via In-Context Learning
arxiv.org·3d
🤝Federated Learning