Artur Lojewski
@ArturLojewski
Followers
106
Following
490
Media
50
Statuses
1K
The new Huberman Lab episode is out: Improve Energy & Longevity by Optimizing Mitochondria | Dr. Martin Picard (@MitoPsychoBio) 0:00 Martin Picard 3:50 What is Energy?, Energy Flow & Transformation 7:53 Energy, Vitality, Emotions, Sensory Perception 14:18 Sponsors: Helix Sleep &
65
210
2K
The science of computation is rapidly changing. Read executive editor Michael Moyer’s list of this year’s biggest developments in theoretical computer science:
quantamagazine.org
Explore the year’s most surprising computational revelations, including a new fundamental relationship between time and space, an undergraduate who overthrew a 40-year-old conjecture, and the...
3
64
189
Framework hikes DDR5 upgrade pricing by 50% as memory costs spike https://t.co/wHBm7n1eqB
videocardz.com
Framework has raised the price of DDR5 memory options for Framework Laptop DIY Edition orders by 50%, citing higher costs from suppliers and
3
13
131
We’ve acquired @VentanaMicro, a recognized innovator in RISC-V CPU technology. This acquisition strengthens our engineering capabilities and supports our commitment to next-generation computing solutions. Read more: https://t.co/djsHNC46zf
0
27
63
P vs NP explained (really good!): https://t.co/edOPFPKG8j
#CircuitComplexity #NaturalProofsBarrier #MetaComplexity #MCSP #ComputationalComplexity #SAT
0
0
0
I am learning. #justkeepswimming Beyond crypto: how tokenization is quietly rewiring markets | The Paypers
thepaypers.com
Graduate Analyst at Global Digital Finance, Fabienne van Kleef, discusses tokenized assets and their broader impact on financial markets.
520
471
4K
Time Monads in the Lean CS Library are showing up: https://t.co/EFTOhL3gx2
https://t.co/4Ay1IRuZvN
#LeanLang #Monads
github.com
Introducing time monad and analysis of mergeSort, including correctness and running time.
0
0
0
NeurIPS 2025's top 50 paper contributors show China and the US neck-and-neck. In the US, corporate labs—Google DeepMind, Meta, Microsoft—now rival top schools like Stanford, CMU, MIT, showing a major shift to industry-led AI research. China’s leaders remain academic: Tsinghua,
30
338
2K
I’m working on an #OpenSource usb-c hub with expansion cards compatible with @FrameworkPuter . We are also building some useful tool cards like a multimeter, power supply, esp32-s3 dev board (Xiao), Mini SSD (2TB), etc. I would love to get your feedback: https://t.co/hXPdZPRG9T
5
9
111
Google may have to wait to ramp up TPU output, as TSMC’s CoWoS advanced packaging won’t substantially increase until 2027, media report, adding Google’s TPU chip output will double at that point. TSMC CoWoS is the key bottleneck for Google TPUs now, and the reason forecasts of 4
chinatimes.com
谷歌自研AI晶片TPU原本被市場高度期待，甚至傳出2026 年產量可望挑戰400 萬片大關。��而，最新供應鏈調查顯示，台積電 CoWoS 先進封裝產能仍是主要瓶頸，使得TPU大規模量產可能要延後到2027 年才能實現。華爾街見聞
27
70
459
Framework Laptop 13 gets ARM processor with 12 cores via upgrade kit https://t.co/iHCiPw5mKC ( https://t.co/JONjsv5Cbx)
notebookcheck.net
The Framework Laptop 13 has a replaceable mainboard, which means that the processor can be easily upgraded after purchase. While Framework itself only offers Intel and AMD CPUs, a mainboard with a...
0
1
0
The Math Legend Who Just Left Academia–For an AI Startup Run by a 24-Year-Old https://t.co/HFb2zUujQZ ( https://t.co/YKJb6fY72V)
wsj.com
Ken Ono had an epiphany. Now the professor is moving to Silicon Valley to chase mathematical superintelligence.
0
1
0
Hot Chips 2025 presentations and videos are now publicly available:
hc2025.hotchips.org
A Symposium on High Performance Chips
0
48
161
Introducing Ricursive Intelligence, a frontier AI lab enabling a recursive self-improvement loop between AI and the chips that fuel it. Learn more at https://t.co/cSpbrQwwEn
44
136
966
10Gbps!
32
118
4K
Lean: Verifying *imperative programs* using mvcgen (from Sebastian Graf, September 22, 2025): mvcgen = monadic verification condition generator - Control Flow - Compositional reasoning - Custom Monads - Exceptions https://t.co/T8dsaaYU0J
#LeanLang #LeanProver #HoareTriples
hackmd.io
The mvcgen tactic implements a monadic verification condition generator:It breaks down a goal involving a program written using Lean's imperative do notation into a number of pure verification...
0
0
1
Native Secure Enclave backed SSH keys on macOS https://t.co/IellCLFLM9 ( https://t.co/mRg9H1xphF)
gist.github.com
Native Secure Enclaved backed ssh keys on MacOS . GitHub Gist: instantly share code, notes, and snippets.
0
1
2