GoKawiil - Tech News

10831.

Broken Proofs and Broken Provers (news.ycombinator.com)

2026-02-04 | get Proofs → | tags: bugs, definitions, isabelle

10832.

5 promising side businesses to start in 2026 (feeds.feedburner.com)

2026-02-04 | get E-commerce Store → | tags: americans, americans hustle, business potential

10833.

Flush door handles were futuristic, now China says they're too dangerous (techspot.com)

2026-02-04 | get Smart Locks → | tags: aesthetics, aesthetics deadly, airflow

10834.

Microsoft rolls out native Sysmon monitoring in Windows 11 (bleepingcomputer.com)

2026-02-04 | get Windows 11 → | tags: events, installed, microsoft

10835.

The full history of Windows widgets, from 1997 to today (news.ycombinator.com)

2026-02-04 | by Pavel Osadchuk | get Windows Live Tiles → | tags: build, constraints, containment

10836.

The Out-of-This-World Reasons for Elon Musk’s SpaceX Deal (feeds.content.dowjones.io)

2026-02-04 | get Starlink → | tags: ai ambitions, aloft, ambitions

10837.

This Debian-based Linux distro has one of the smartest security features I've tested in years (zdnet.com)

2026-02-04 | by Jack Wallen | get OpenWRT → | tags: applications, ideal, ideal os

10838.

I'm a Linux power user, and this distro made me rethink what an operating system can be (zdnet.com)

2026-02-04 | by Jack Wallen | get Linux Kernel → | tags: command, desktop, free

10839.

Immune cells from the gut drive development of Parkinson’s disease in the brain (feeds.nature.com)

2026-02-04 | by Baekelandt | get Neuroprotection → | tags: brain, cells, disease

10840.

How tumours trick the brain into shutting down cancer-fighting cells (feeds.nature.com)

2026-02-04 | by Chen | get Neurostimulator → | tags: cancer, cells, genetic

10841.

Open-source AI tool beats giant LLMs in literature reviews — and gets citations right (feeds.nature.com)

2026-02-04 | by Gibney | get Language Model → | tags: citations, literature, llms

10842.

A tumour-to-brain pathway hinders anticancer defences (feeds.nature.com)

2026-02-04 | by Chang | get Neurotrophic factor → | tags: al nature, cell, et al

10843.

Imaging the sub-moiré potential using an atomic single electron transistor (feeds.nature.com)

2026-02-04 | by Klein | get Atomic Electron Transistor → | tags: consistent, graphene, potential

10844.

Contemporaneous mobile- and stagnant-lid tectonics on the Hadean Earth (feeds.nature.com)

2026-02-04 | by Valley | get Geodesic dome → | tags: ages, analysis, mounts

10845.

Phenome-wide analysis of copy number variants in 470,727 UK Biobank genomes (feeds.nature.com)

2026-02-04 | by Zou | get Genomics Atlas → | tags: analysis, associations, cnvs

10846.

Signatures of fractional charges via anyon–trions in twisted MoTe<sub>2</sub> (feeds.nature.com)

2026-02-04 | by Li | get Anyon-trions → | tags: anyon, anyon trions, anyons

10847.

Discovery Learning predicts battery cycle life from minimal experiments (feeds.nature.com)

2026-02-04 | by Zhang | get Battery Life → | tags: battery, designs, discovery

10848.

PtdIns(3,5)P<sub>2</sub> is an endogenous ligand of STING in innate immune signalling (feeds.nature.com)

2026-02-04 | by Tan | get DNA-binding protein → | tags: cells, cgamp, flag

10849.

A universal concept for melting in mantle upwellings (feeds.nature.com)

2026-02-04 | by Schmidt | get Geothermal system → | tags: compositions, melt, melt compositions

10850.

‘It means I can sleep at night’: how sensors are helping to solve scientists’ problems (feeds.nature.com)

2026-02-04 | by Fleming | get Smart Alarm Clock → | tags: monitoring, research, sensor

10851.

The smart sensors improving the world’s biggest cities (feeds.nature.com)

2026-02-04 | by Nogrady | get Smart Sensors → | tags: carbon, city, emissions

10852.

Biodiversity conservation has an evidence problem — it’s time to fix it (feeds.nature.com)

2026-02-04 | get Ecological monitoring system → | tags: biodiversity, conservation, evidence

10853.

KKR Makes AI Play With $10.9B Asia Data-Center Deal (feeds.content.dowjones.io)

2026-02-03 | get Data Center → | tags: buy stake, centres, centres parent

10854.

Google Home Finally Adds Support For Buttons (slashdot.org)

2026-02-03 | by Posted | get Smart Speaker → | tags: automations, button, buttons

10855.

How one country is engineering its way out of a construction cost crisis (cnbc.com)

2026-02-03 | by Lucy Handley | get Bridges → | tags: billion, building, cnbc

10856.

Brandon Sanderson Reveals His Journey to Make a ‘Cosmere’ Adaptation (gizmodo.com)

2026-02-03 | get Elder Scrolls → | tags: adaptations, adaptations wants, author

10857.

Spain to Ban Under-16s on Social Media as the World Goes All in on Age Verification (gizmodo.com)

2026-02-03 | get Social Media → | tags: age crackdowns, australia, australia countries

10858.

FlashAttention-T: Towards Tensorized Attention (news.ycombinator.com)

2026-02-03 | get TensorFlow → | tags: attention, flashattention, flashattention tensorized

10859.

Universal Successfully Bullied Into Letting Olympian Use ‘Minions’ Music (gizmodo.com)

2026-02-03 | get Music → | tags: able, able use, fans

10860.

Varonis to Acquire AllTrue as AI Security Concerns Mount (feeds.content.dowjones.io)

2026-02-03 | get AllTrue → | tags: acquisitions, acquisitions aimed, aimed