The limits of formal mathematical systems

15 10 2026
The limits of formal mathematical systems

In 1930, the mathematician David Hilbert declared that every mathematical problem could be solved using the right set of axioms. The following day, a twenty-four-year-old Kurt Gödel proved him wrong by showing that any consistent logical system must contain truths it cannot prove. This meant that certain truths will always lie beyond our ability to formally verify, no matter how many rules we establish.

This result ended generations of attempts to reduce mathematics to pure, air-tight logic, from Kant to Frege. It remains a sobering reminder that formal systems have permanent boundaries. We should be careful not to mistake the completeness of a framework for a complete understanding of reality.

more: https://aeon.co/essays/the-century-long-search-for-the-limits-to-knowledge

my other side: ivo.blogspot.com





Stroke rates double among younger adults since 1993

15 10 2026
Stroke rates double among younger adults since 1993

Data from the Greater Cincinnati and Northern Kentucky region show that stroke rates among adults aged 20 to 54 nearly doubled between 1993 and 2020, rising from 33.9 to 62.2 cases per 100,000 person-years. This increase was driven almost entirely by ischemic strokes, which occur when a blood vessel supplying the brain becomes blocked. While 30-day survival rates improved slightly during the same period, more younger people are now left to manage lasting neurological damage.

The study observed an increase in known risk factors like hypertension, diabetes, and substance use—particularly marijuana—among stroke patients over the decades. However, because researchers lacked a control group of healthy peers, the data cannot establish a direct causal link between these rising risk factors and the increase in strokes. It remains a troubling epidemiological shift without a definitive explanation.

more: https://www.sciencedaily.com/releases/2026/10/261014015459.htm

my other side: ivo.blogspot.com





Google OAuth Adds DPoP for Refresh Tokens

15 10 2026
Google OAuth Adds DPoP for Refresh Tokens

Google now supports RFC 9449 DPoP binding for OAuth refresh tokens, replacing traditional bearer tokens with application-layer cryptographic keypairs. The design targets infostealer malware and adversary-in-the-middle attacks by binding long-lived credentials to a client-generated asymmetric key. High-throughput access tokens remain standard bearer tokens to avoid per-request cryptographic overhead at the API gateway layer.

It is worth implementing if you are hardening server-to-server integrations or agent architectures against credential theft, but skip it if your stack cannot easily manage client-side key storage and strict nonce handling. The scheme also does nothing to protect standard browser session cookies, requiring you to wait for separate Device Bound Session Credentials proposals for full coverage.

more: https://developers.googleblog.com/announcing-dpop-support-for-google-oauth-securing-refresh-tokens/

my other side: ivo.blogspot.com





HiRO-ACEv2 Climate Downscaling and Simulation Models

15 10 2026
HiRO-ACEv2 Climate Downscaling and Simulation Models

Allen Institute's HiRO-ACEv2 is an open-source machine learning system that downscales coarse 100 km climate data to 3 km resolution. It pairs a coarse atmospheric emulator, ACE, with a fine-scale diffusion model, HiROv2, to simulate rare rain, wind, and pressure events. The full pipeline generates global high-resolution output at roughly one-three-hundredth the compute cost of traditional numerical models like X-SHiELD.

The models and tutorial notebooks are available on Hugging Face if you want to inspect extreme weather generation or run regional downscaling yourself. The major catch is that HiROv2 was trained exclusively on X-SHiELD outputs, meaning it currently only works with that specific ACE baseline and cannot yet ingest historical datasets like ERA5 or projected future climates.

more: https://huggingface.co/blog/allenai/hiro-acev2

my other side: ivo.blogspot.com





Awesome Reverse Engineering tools and frameworks list

15 10 2026
Awesome Reverse Engineering tools and frameworks list

Awesome Reverse Engineering is a curated GitHub repository organizing tools, frameworks, and learning resources by specific tasks like triage, native analysis, and instrumentation. Entries are grouped by objective, such as debugging or unpacking managed code, with commercial options explicitly marked. It provides a structured index that connects practitioners directly to relevant software without wading through generic search results.

It is worth bookmarking if you occasionally need to inspect binaries or unpack proprietary runtimes and want a vetted starting point. However, it is just a directory rather than a tutorial, so you still need to know what questions to ask the tools it lists. Skip it if you are looking for an all-in-one suite or expect hand-holding through your first disassembly session.

more: https://github.com/morluto/awesome-reverse-engineering

my other side: ivo.blogspot.com





Nobel Ekonomi 2026 untuk Ekspektasi dan Kebijakan Makro

14 10 2026
Nobel Ekonomi 2026 untuk Ekspektasi dan Kebijakan Makro

Robert Hall dan Michael Woodford memenangi Nobel Ekonomi 2026 berkat kontribusi mereka memasukkan faktor ekspektasi warga dan perilaku rumah tangga ke dalam model makroekonomi. Hall menunjukkan bahwa keputusan konsumsi sangat bergantung pada perkiraan pendapatan masa depan, sementara Woodford merumuskan bagaimana keputusan mikro tersebut memengaruhi efektivitas suku bunga acuan terhadap inflasi. Pendekatan ini memperbaiki model lama yang kerap gagal memprediksi krisis karena hanya mengandalkan angka-angka agregat masa lalu.

Model baru ini membuat kebijakan stabilisasi ekonomi terasa lebih membumi karena memperhitungkan kecemasan dan harapan riil masyarakat. Namun, menerjemahkan sentimen psikologis yang mudah berubah ke dalam rumus matematika kebijakan tetap menyisakan ruang ketidakpastian yang besar. Pengambil kebijakan tentu tidak boleh naif menganggap ekspektasi publik dapat dikendalikan sekadar lewat sinyal suku bunga.

more: https://theconversation.com/nobel-ekonomi-2026-buktikan-harapan-dan-keresahan-warga-amat-krusial-dalam-menstabilkan-perekonomian-293827

my other side: ivo.blogspot.com





Why ice baths can stunt muscle growth

14 10 2026
Why ice baths can stunt muscle growth

Ice baths relieve next-day muscle soreness by dampening the body's acute inflammatory response. But researchers point out that this same inflammation is what signals muscles to adapt and grow stronger over the long term. Using cold plunges too frequently trades away permanent gains just to avoid temporary discomfort.

It is a useful reminder that healing and strengthening are often biologically opposed processes. If a hard workout is meant to build capacity rather than just finish a task, letting the inflammation run its course appears to be the more productive choice.

more: https://www.sciencedaily.com/releases/2026/10/261013015805.htm

my other side: ivo.blogspot.com





How senescent cells hide from the immune system

14 10 2026
How senescent cells hide from the immune system

Researchers at Cedars-Sinai have found that senescent cells use the protein PD-L2 to evade immune clearance. When scientists blocked or removed PD-L2 in mice, the animals showed reduced accumulation of these aging cells, lower inflammation, and improvements in grip strength and blood sugar processing.

The mechanism points to a concrete target for clearing out lingering cells that drive age-related decline. Still, moving from mouse models to human therapy is a long path, and we do not yet know if blocking PD-L2 is safe or effective in people.

more: https://www.sciencedaily.com/releases/2026/10/261013015800.htm

my other side: ivo.blogspot.com





Mapping the brain through fatty molecules

13 10 2026
Mapping the brain through fatty molecules

Researchers at EPFL have constructed a 3D lipid atlas of the mouse brain using mass spectrometry imaging. By tracking 172 different lipids across 109 brain slices, the team mapped 539 chemically distinct regions they call lipizones. These regions often reveal chemical boundaries that do not appear in standard genetic or anatomical maps.

It is a useful reminder that gene expression and cell structure do not tell the whole story of how an organ is organized. However, this is currently limited to mice, and translating these static chemical snapshots into a dynamic understanding of human neurological disease will take a great deal more work. The underlying data is fully open, which is the right way to build these tools.

more: https://www.sciencedaily.com/releases/2026/10/261012185011.htm

my other side: ivo.blogspot.com





Bagaimana sains menjelaskan pewarisan trauma antargenerasi

13 10 2026
Bagaimana sains menjelaskan pewarisan trauma antargenerasi

Neurosains belum menemukan bukti bahwa ingatan spesifik tentang peristiwa traumatis dapat diwariskan lewat sel sperma atau sel telur. Yang diturunkan kepada anak bukanlah memori masa lalu, melainkan sensitivitas biologis yang lebih tinggi pada sistem pengatur stres serta pola adaptasi lingkungan keluarga.

Stres dalam kandungan dan cara orang tua merespons bahaya memang membentuk sirkuit emosi anak, namun ini lebih tepat disebut pemrograman prenatal daripada pewarisan genetik. Pengaruh lingkungan setelah lahir, pola asuh, dan plastisitas saraf membuat jalur perkembangan anak tetap terbuka dan tidak ditentukan sepenuhnya oleh masa lalu orang tuanya.

more: https://theconversation.com/apakah-trauma-orang-tua-bisa-diwariskan-kepada-anak-begini-jawaban-sainsnya-292681

my other side: ivo.blogspot.com