Choosing a Language Based on Its Syntax?
A programming language is not merely its syntax. Semantics actually exist, be that denotation semantics I’ve always found that focusing on the denotational semantics of a language is more important than focusing on the operational semantics because (for me at least) the operational semantics are “obvious” once the denotational semantics are decided upon., operational semantics, […]
Sub-$200 Lidar could reshuffle auto sensor economics
14 Feb 2026 5 min read Willie Jones covers transportation for IEEE Spectrum and the history of technology for The Institute. MicroVision hopes to produce a lidar unit costing under US $200—half of typical prices today. MicroVision MicroVision, a solid-state sensor technology company located in Redmond, Wash., says it has designed a solid-state automotive lidar […]
Gemini 3.1 Pro
Our Frontier Safety Framework includes rigorous evaluations that address risks of severe harm from frontier models, covering five risk domains: CBRN (chemical, biological, radiological and nuclear information risks), cyber, harmful manipulation, machine learning R&D and misalignment. Our frontier safety strategy is based on a “safety buffer” to prevent models from reaching critical capability levels (CCLs), […]
Show HN: Micasa – track your house from the terminal
micasa — your house, in a terminal ▄▓▄█ ▄▓▓▓▓▓▄▄▓▓▓▓▓▓▓▓▓▄██ ░░ ░░ ████ ████ ████ █ █ ██▀▀▀▀▀▀▀▀▀▀▀ should’ve used micasa. A terminal UI for tracking everything about your home. Single SQLite file. No cloud. No account. No subscriptions. github.com/cpcloud/micasa Your house is quietly plotting to break while you sleep—and you’re dreaming about redoing the kitchen. micasa tracks […]
Gemini 3.1 Pro
What’s next Since releasing Gemini 3 Pro in November, your feedback and the pace of progress have driven these rapid improvements. We are releasing 3.1 Pro in preview today to validate these updates and continue to make further advancements in areas such as ambitious agentic workflows before we make it generally available soon. Starting today, […]
America vs. Singapore: You Can’t Save Your Way Out of Economic Shocks
Procrastination does not meaningfully predict saving regret. Across 12 psychometric measures tested in both countries, the relationship is weak to nonexistent, and where statistically significant, it frequently runs in the opposite direction from what the behavioral economics literature predicts. Economic shocks do. Exposure to negative financial shocks is the dominant predictor of wishing you’d saved […]
Keybee: A Keyboard Designed for Smartphones
Keybee Keyboard | Open Source | Discover the new way of typing on touchscreen Keybee Keyboard keyboard_arrow_left Dark keyboard_arrow_right [embedded content] Keybee Keyboard Keybee Keyboard qwerty keybee Keybee Keyboard qwerty keybee Keybee Keyboard Keybee Keyboard Keybee Keyboard Keybee Keyboard 1. Keybee Keyboard Keybee Keyboard add 2. Keybee Keyboard Keybee Keyboard add 3. Keybee Keyboard Keybee […]
Measuring AI agent autonomy in practice
AI agents are here, and already they’re being deployed across contexts that vary widely in consequence, from email triage to cyber espionage. Understanding this spectrum is critical for deploying AI safely, yet we know surprisingly little about how people actually use agents in the real world. We analyzed millions of human-agent interactions across both Claude […]
Famous Signatures Through History
John Hancock 1776 Signed the Declaration of Independence so large that ”John Hancock” became American slang for ”signature.” Legend says he wanted King George III to read it without spectacles. William Shakespeare c. 1616 Only six confirmed signatures survive — all on legal documents, with the surname spelled differently almost every time. Variations include ”Shakp,” […]
C++26: Std:Is_within_lifetime
When I was looking for the next topic for my posts, my eyes stopped on std::is_within_lifetime. Dealing with lifetime issues is a quite common source of bugs, after all. Then I clicked on the link and I read Checking if a union alternative is active. I scratched my head. Is the link correct? It is […]