GoKawiil - Tech News

151.

Decimal-Java is a library to convert java.math.BigDecimal to and from IEEE-754r (news.ycombinator.com)

2026-02-24 | get BigDecimal → | tags: decimal-java, ieee-754r, java.math

152.

The Four-Color Theorem 1852–1976 (news.ycombinator.com)

2026-02-21 | get Four Color Theorem → | tags: four-color theorem, augustus de morgan, london mathematical society

153.

AVX2 is slower than SSE2-4.x under Windows ARM emulation (news.ycombinator.com)

2026-02-18 | by Read More | get CPU Cores → | tags: code, emulation, math

154.

An agentic system for rare disease diagnosis with traceable reasoning (feeds.nature.com)

2026-02-18 | by Zhao | get Artificial Intelligence → | tags: disease, mathcal, mathrm

155.

Show HN: Maths, CS and AI Compendium (news.ycombinator.com)

2026-02-16 | get Compendium → | tags: coming, computing, learning

156.

Learning Lean: Part 1 (news.ycombinator.com)

2026-02-15 | get Optimization Tool → | tags: language, lean, mathematics

157.

Microsoft Begins the First-Ever Secure Boot Certificate Swap Across Windows Ecosystem (slashdot.org)

2026-02-10 | by Posted | get Certificate → | tags: knows, knows talking, mathematics

158.

Long-Sought Proof Tames Some of Math's Unruliest Equations (news.ycombinator.com)

2026-02-09 | by Paulina Rowińska | get Mathematical Equation Solver → | tags: elliptic, lava, mathematicians

159.

Five disciplines discovered the same math independently – none of them knew (news.ycombinator.com)

2026-02-08 | by Bruce Stephenson | get Mathematics → | tags: domain, journals, market

160.

A New AI Math Startup Just Cracked 4 Previously Unsolved Problems (wired.com)

2026-02-04 | by Will Knight | get Mathematica → | tags: axiom, axiomprover, chen

161.

Regulatory grammar in human promoters uncovered by MPRA-based deep learning (feeds.nature.com)

2026-02-04 | by Barbadilla-Martínez | get Promoter sequence → | tags: cells, library, mathrm

162.

How HR’s 2026 to-do list will change your workplace (feeds.feedburner.com)

2026-02-02 | get Intranet → | tags: aftermath, aftermath pandemic, anxieties

163.

Show HN: SymDerive – A functional, stateless symbolic math library (news.ycombinator.com)

2026-02-01 | get Mathematica → | tags: agent, agents, functional

164.

Naples' 1790s civil war was intensified by moral panic over Real Analysis (2023) (news.ycombinator.com)

2026-01-31 | by Mar | get Real Analysis → | tags: analysis, fergola, mathematical

165.

Projected impacts of climate change on malaria in Africa (feeds.nature.com)

2026-01-28 | by Symons | get Malaria Nets → | tags: climate, mathrm, model

166.

OpenAI’s latest product lets you vibe code science (technologyreview.com)

2026-01-27 | by Will Douglas Heaven | get Language Model → | tags: chatgpt, mathematical, openai

167.

AI Agents Are Poised to Hit a Mathematical Wall, Study Finds (gizmodo.com)

2026-01-23 | get Artificial Intelligence → | tags: agents, agents poised, ai agents

168.

Temporal tissue dynamics from a spatial snapshot (feeds.nature.com)

2026-01-21 | by Somer | get Temporal tissue dynamics → | tags: boldsymbol, cell, cells

169.

Folding NASA Experience into an Origamist's Toolkit (2024) (news.ycombinator.com)

2026-01-17 | get Folding Tabletop → | tags: design, lang, mathematical

170.

Folding NASA Experience into an Origamist's Toolkit (news.ycombinator.com)

2026-01-17 | get Origami → | tags: design, lang, mathematical

171.

Intuit’s peaceful SoHo flagship tries to solve a problem of its own creation (feeds.feedburner.com)

2026-01-16 | get Intuit → | tags: adorned, adorned plants, broadway

172.

AI models are starting to crack high-level math problems (techcrunch.com)

2026-01-14 | by Russell Brandom | get Mathematica → | tags: chatgpt, math, models

173.

Global subsidence of river deltas (feeds.nature.com)

2026-01-14 | by Ohenhen | get Geological Observatory → | tags: delta, deltas, mathrm

174.

Microsoft Pulls the Plug On Its Free, Two-Decade-Old Windows Deployment Toolkit (slashdot.org)

2026-01-12 | by Posted | get Windows Deployment Toolkit → | tags: knows, knows talking, mathematics

175.

Norway Reaches 97% EV Sales as EVs Now Outnumber Diesels On Its Roads (slashdot.org)

2026-01-12 | by Posted | get Electric Vehicle → | tags: knows, knows talking, mathematics

176.

How Chevron played the long game for Venezuela’s oil reserves (feeds.feedburner.com)

2026-01-12 | get Oil Reserves → | tags: acquired, acquired property, aftermath

177.

Mathematics for Computer Science (2018) [pdf] (news.ycombinator.com)

2026-01-09 | get Mathematics for Computer Science → | tags: computer, computer science, mathematics

178.

A4 Paper Stories (news.ycombinator.com)

2026-01-07 | get A4 Paper → | tags: dimensions, mathrm, mathrm cm

179.

Two ways to crack a walnut, per Grothendieck (2025) (news.ycombinator.com)

2026-01-04 | get Walnut cracking tool → | tags: approach, grothendieck, mathematician

180.

Six-decade math puzzle solved by Korean mathematician (news.ycombinator.com)

2026-01-04 | by Park Han-Na | get Mathematical Puzzle → | tags: baek, mathematical, mathematician