NASA Shuts Off Instrument on Voyager 1 to Keep Spacecraft Operating
Comments URL: https://news.ycombinator.com/item?id=47820531
Points: 59
# Comments: 23
TechBrief — تازهترین اخبار فناوری
آخرین خبرها
Zero-Copy GPU Inference from WebAssembly on Apple Silicon
Article URL: https://abacusnoir.com/2026/04/18/zero-copy-gpu-inference-from-webassembly-on-apple-silicon/
Comments URL: https://news.ycombinator.com/item?id=47820195
Points: 13
# Comments: 8
Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean
Current support for nonlinear inequalities in Lean is quite limited. This package attempts to solve this. It contains a collection of Lean4 tactics for proving polynomial inequalities via sum-of-squares (SOS) decompositions, powered by a Python backend. You can use it via Python or Lean.
These tactics are significantly more powerful than `nlinarith` and `positivity` -- i.e., they can prove inequalities they cannot. In theory, they can be used to prove any of the following types of statements
- prove that a polynomial is nonnegative globally - prove that a polynomial is nonnegative over a semialgebraic set (i.e., defined by a set of polynomial inequalities) - prove that a semialgebraic set is empty, i.e., that a system of polynomial inequalities is infeasible
The underlying theory is based on the following observation: if a polynomial can be written as a sum of squares of other polynomials, then it is nonnegative everywhere. Theorems proving the existence of such decompositions were one of the landmark achievements of real algebraic geometry in the 20th century, and its connection to semidefinite programming in the 21st century made it a practical computational tool, and is what this software does in the background.
Comments URL: https://news.ycombinator.com/item?id=47820134
Points: 5
# Comments: 0
Dad brains: How fatherhood rewires the male mind
Article URL: https://www.bbc.com/future/article/20260417-fatherhood-how-the-male-brain-and-body-prepare-for-childcare
Comments URL: https://news.ycombinator.com/item?id=47820046
Points: 71
# Comments: 29
My first impressions on ROCm and Strix Halo
Article URL: https://blog.marcoinacio.com/posts/my-first-impressions-rocm-strix-halo/
Comments URL: https://news.ycombinator.com/item?id=47819823
Points: 13
# Comments: 0
Tesla brings its robotaxi service to Dallas and Houston
Tesla is expanding its robotaxi service to Dallas and Houston, according to a social media post from the company. The post says simply that “Robotaxi is now rolling out in Dallas & Houston 🤠” and includes a 14-second video showing Tesla vehicles driving without human monitors or drivers in the front seat. The company now […]
The RAM shortage could last years
According to Nikkei Asia, even as suppliers ramp up DRAM production, manufacturers are only expected to meet 60 percent of demand by the end of 2027. SK Group chairman has even said that shortages could last until 2030. The world's largest memory makers - Samsung, SK Hynix, and Micron - are all working to add […]
NIST scientists create 'any wavelength' lasers
Comments URL: https://news.ycombinator.com/item?id=47819453
Points: 166
# Comments: 74
Optimizing Ruby Path Methods
Article URL: https://byroot.github.io/ruby/performance/2026/04/18/faster-paths.html
Comments URL: https://news.ycombinator.com/item?id=47819369
Points: 51
# Comments: 20
VC Ron Conway says he has a ‘rare form of cancer’
Conway wrote that he “will be stepping back from some of my usual activities,” but he will “continue to support” founders backed by his firm SV Angel.