Looking for a good course to learn proof assistant Lean 4
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐ŸŽจart
Flag this post
Recombinant FGF19 as a Treatment to Increase Muscle Strength
fightaging.orgยท18h
๐Ÿ“‰degrowth
Flag this post
Show HN: Zingle โ€“ an AI code reviewer for data teams (SQL/dbt/Airflow/Spark)
news.ycombinator.comยท18hยท
Discuss: Hacker News
๐ŸŽจart
Flag this post
1 Top Cryptocurrency to Buy Before It Soars 157%, According to Billionaire Venture Capitalist Tim...
damepsp.comยท20h
๐ŸŽจart
Flag this post
Illegal bets in the Dominican Republic come under scrutiny after MLB pitchers arrested
omaha.comยท22h
๐ŸŽจart
Flag this post
Machine Text Detectors are Membership Inference Attacks
paperium.netยท22hยท
Discuss: DEV
๐Ÿ“‰degrowth
Flag this post
Build a Smart Object Detection Alarm with Arduino & HC-SR04 Sensor โ€“ Full Tutorial
dev.toยท1dยท
Discuss: DEV
๐ŸŽจart
Flag this post
Is it too late to contribute to AI? (Andrew Ng)
deeplearning.aiยท1dยท
Discuss: Hacker News
๐ŸŽจart
Flag this post
Modelling PM<sub>2.5</sub> reduction scenarios for future cardiopulmonary disease reduction
nature.comยท1d
๐Ÿ“‰degrowth
Flag this post
Tim MacMahon names โ€˜absolute starโ€˜ helping San Antonio Spurs make a bigger leap next to Victor Wembanyama
nordot.appยท20h
๐ŸŽจart
Flag this post
"It just works": Valve talk the Steam Frame, Android games on SteamOS, and putting a PC on your face - Rock Paper Shotgun
news.google.comยท1d
๐ŸŽจart
Flag this post
The Transformer and the Hash
lesswrong.comยท1d
๐ŸŽจart
Flag this post
Types of systems that could be useful for agent foundations
lesswrong.comยท1d
๐ŸŽจart
Flag this post
Transgene SA (TRGNF) Discusses TG4050 Phase I Immunological Data in Head and Neck Cancer from SITC Presentation Transcript
seekingalpha.comยท20h
๐ŸŽจart
Flag this post
Resilience assessment of urban conventional bus networks in cold regions under snowfall weather
sciencedirect.comยท1d
๐ŸŽจart
Flag this post
Critical Vulnerability in v380 Cameras: How Plaintext Credentials Exposed Millions of Devices
dev.toยท18hยท
Discuss: DEV
๐ŸŽจart
Flag this post
November 2025's AI Fireworks: From GPT Glow-Ups to Infra Mega-Bets โ€“ A Dev's Grateful Dash Through the Frenzy
dev.toยท18hยท
Discuss: DEV
๐ŸŽจart
Flag this post
PagSeguro (PAGS) Q3 2025 Earnings Call Transcript
fool.comยท1d
๐ŸŽจart
Flag this post
Somebody Is Losing The War On EVs, Bigly
cleantechnica.comยท22h
๐Ÿ“‰degrowth
Flag this post
Cubs won't rule out top of free-agent market as they expect active winter
nytimes.comยท3d
๐ŸŽจart
Flag this post