Tech News
Tech blog posts, updated regularly
Lobsters
Palomar – a registry of Lean verified mathematics
·
terrytao.wordpress.com via darichey
formalmethodsmath
AWS News
Amazon Bedrock now supports SpaceXAI Grok 4.6 with Cross Region Inferencing
·
aws@amazon.com
Lobsters
How I developed an Am29000 C compiler and web browser
·
nanochess.org via spc476
browsersccompilers
Lobsters
Alibaba's TSMC-Built 5nm RISC-V Chip, XuanTie C950, Now Runs Qwen-3.8 27B Model Natively, Unlocking Massive Vertical Integration Tailwinds
·
wccftech.com via Yogthos
hardware
Lobsters
When str.lower() is a security vulnerability in Python
·
sethmlarson.dev via ubernostrum
pythonsecurity