woid

top stories

Hacker News (Feb 2025)

  1. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving [pdf]

    5 points • comment • feb 12, 2025

  2. Tesla 'Full Self-Driving' Isn't Called That in China

    5 points • comment • feb 26, 2025

  3. My List of CLI Tools

    5 points • comment • feb 09, 2025

  4. Understanding DOGE as Procurement Capture

    5 points • comment • feb 05, 2025

  5. Hotdogs and motorways: The ripples created by Denmark's Ozempic and Wegovy boom

    5 points • comment • feb 21, 2025

  6. Sega Channel

    5 points • comment • feb 14, 2025

  7. Doge Enters NOAA Headquarters

    5 points • comment • feb 05, 2025

  8. AI Tools Allow Nonexperts to Find Patterns in Satellite Images Across Globe

    5 points • comment • feb 06, 2025

  9. State Department official has called for mass sterilization of 'low-IQ trash'

    5 points • comment • feb 27, 2025

  10. Sabine Hossenfelder: I was asked to keep this confidential

    5 points • comment • feb 15, 2025

  11. Elon Musk's presidency is just getting started

    5 points • comment • feb 06, 2025

  12. Explaining Glasser's 'Quality World'

    5 points • comment • feb 09, 2025

  13. How to make any AMD Zen CPU always generate 4 from RDRAND

    5 points • comment • feb 05, 2025

  14. A fourth federal agency locks its doors to Democratic lawmakers

    4 points • comment • feb 07, 2025

  15. Things USAID has funded [video]

    4 points • comment • feb 09, 2025

  16. "Disturbing" new detail emerges about DeepSeek and what it does with your data

    4 points • comment • feb 05, 2025

  17. Has UK rail's Elizabeth line shown what rail investment can achieve?

    4 points • comment • feb 21, 2025

  18. Ask HN: Books or games to teach kids math

    4 points • comment • feb 16, 2025

  19. Critical PostgreSQL bug tied to zero-day attack on US Treasury

    4 points • comment • feb 20, 2025

  20. Feds ask Colorado River official to resign, leaving another leadership gap

    4 points • comment • feb 11, 2025

  21. Musk's X investigated by French prosecutors over alleged algorithmic bias

    4 points • comment • feb 07, 2025

  22. America is now in fascism's legal phase (2021)

    4 points • comment • feb 01, 2025

  23. Majorana 1 Explained: The Path to a Million Qubits [video]

    4 points • comment • feb 21, 2025

  24. Trump's Orders on Gender Put Science Back in the Driver's Seat

    4 points • comment • feb 11, 2025

  25. Whats your max wpm in typing?

    4 points • comment • feb 02, 2025

  26. States sue to block new NIH funding policy–court puts it on hold

    4 points • comment • feb 11, 2025

  27. 1k artists release "silent" album to protest UK copyright sell-out to AI

    4 points • comment • feb 25, 2025

  28. A16Z hires acquitted former Marine Daniel Penny as an investor

    4 points • comment • feb 04, 2025

  29. Steve Wynn vs. the Associated Press [pdf]

    4 points • comment • feb 07, 2025

  30. Show HN: A Tiny Terminal Chat App for AI Models with MCP Client Support

    4 points • comment • feb 11, 2025

  31. The Puzzle

    4 points • comment • feb 08, 2025

  32. Arduino based OBD dongle for vehicle telemetry

    4 points • comment • feb 12, 2025

  33. Understanding Yoneda

    4 points • comment • feb 17, 2025

  34. Bitcoin is not Good Enough

    4 points • comment • feb 08, 2025

  35. The Delirious, Violent, Impossible True Story of the Zizians

    4 points • comment • feb 23, 2025

  36. Spike Japan – A Look at the Overlooked

    4 points • comment • feb 08, 2025

  37. Ask HN: Do you think Photonic Tensor Cores will replace GPUs in the future?

    4 points • comment • feb 05, 2025

  38. Sam Altman: OpenAI plans to develop a dedicated AI device to replace smartphones

    4 points • comment • feb 03, 2025

  39. Federal prisons prep to move trans inmates as early as next week

    4 points • comment • feb 24, 2025

  40. Grok.com Grok 3 is live

    4 points • comment • feb 20, 2025

  41. Avg price of a dozen eggs has nearly doubled since last year

    4 points • comment • feb 17, 2025

  42. Copyright Is a Civil Liberties Nightmare

    4 points • comment • feb 02, 2025

  43. Google to be hit with EU charges of breaching Digital Markets Act

    4 points • comment • feb 21, 2025

  44. The AI revolution is running out of data

    4 points • comment • feb 02, 2025

  45. Tesla Powerwall 3 Alternatives

    4 points • comment • feb 28, 2025

  46. Trump Says Military Spending Could Be Halved, Defense Stocks Drop

    4 points • comment • feb 15, 2025

  47. Gulf of America Day, 2025

    4 points • comment • feb 10, 2025

  48. War Has Become a Force of Planetary Destruction

    4 points • comment • feb 19, 2025

  49. The Gervais Principle

    4 points • comment • feb 06, 2025

  50. Bolivians smuggle Starlink to escape China-backed internet

    4 points • comment • feb 18, 2025

  51. Why Are Jujutsu's ID Prefixes So Short?

    4 points • comment • feb 27, 2025

  52. Class Action over Biased FAA Hiring Practices Is Cleared for Takeoff

    4 points • comment • feb 01, 2025

  53. AI is accelerating scientific production, not progress

    4 points • comment • feb 10, 2025

  54. 'Trump Gaza is finally here ': US president promotes Gaza plan in AI video

    4 points • comment • feb 26, 2025

  55. Solving Postgres' Search Limitations

    4 points • comment • feb 07, 2025

  56. GPT-5 Could Be Coming as Soon as May

    4 points • comment • feb 21, 2025

  57. Taichi: High-Performance Parallel Programming in Python

    4 points • comment • feb 15, 2025

  58. Inside the violent rationalist cult of the Zizians

    4 points • comment • feb 21, 2025

  59. Hard Drive Graveyard

    4 points • comment • feb 26, 2025

  60. California Nominates Steve Jobs for $1 American Innovation Coin

    4 points • comment • feb 22, 2025

  61. Java JIT Compiler and Runtime in Common Lisp

    4 points • comment • feb 06, 2025

  62. Unity Suddenly Lays Off Numerous Developers with a 5 Am Email

    4 points • comment • feb 11, 2025

  63. A Unified Interface for LLMs

    4 points • comment • feb 12, 2025

  64. China saved Apple from bankruptcy but now holds the company hostage

    4 points • comment • feb 04, 2025

  65. Dataviz: Wildfires and Climate Change

    4 points • comment • feb 11, 2025

  66. What's going on with AI copyright authorship?

    4 points • comment • feb 08, 2025

  67. What Is a Bivector? [video]

    4 points • comment • feb 04, 2025

  68. Sam Altman's Answer to DeepSeek Is Giving Away OpenAI's Tech

    4 points • comment • feb 01, 2025

  69. AI Expert's Testimony Collapses over Fake AI Citations

    4 points • comment • feb 03, 2025

  70. Policing the internet in Germany, where hate speech, insults are a crime [video]

    4 points • comment • feb 18, 2025

  71. China repatriates from Thailand 1k online scam workers rescued from Myanmar

    4 points • comment • feb 23, 2025

  72. From "hot blonde" to "stepsis": porn titles over time

    4 points • comment • feb 27, 2025

  73. Teen on Musk's DOGE Team Graduated from 'The Com'

    4 points • comment • feb 08, 2025

  74. Noaa imposes limits on scientists, sparking concerns over global forecasts

    4 points • comment • feb 15, 2025

  75. President Elon Musk

    4 points • comment • feb 04, 2025

  76. New homes listed for sale is absolutely EXPLODING in Washington DC

    4 points • comment • feb 15, 2025

  77. If it moves, it's probably alive: Searching for life on other planets

    4 points • comment • feb 13, 2025

  78. AI Takeover Might Happen in 2 Years

    4 points • comment • feb 10, 2025

  79. Subverting Control with Weak References

    4 points • comment • feb 24, 2025

  80. The Overuse of Browser Engines in Desktop Applications

    4 points • comment • feb 13, 2025

  81. As Trump 'Exports' Deportees, Hundreds Are Trapped in Panama Hotel

    4 points • comment • feb 18, 2025

  82. Physicists decipher structure of antimony melt, explain structural anomalies

    4 points • comment • feb 13, 2025

  83. AI tool to create well-written LinkedIn posts in seconds

    4 points • comment • feb 06, 2025

  84. The 'AI granny' driving scammers up the wall

    4 points • comment • feb 05, 2025

  85. Trump's Purge Hits Nuclear Weapons Agency–Setting Off National Crisis

    4 points • comment • feb 14, 2025

  86. S.F. must rehire employees who refused to get vaccinated, court rules

    4 points • comment • feb 03, 2025

  87. Show HN: Mist v2 – next gen conversational speech synthesis

    4 points • comment • feb 06, 2025

  88. DeepSeek AI's Hidden Data Pipeline to China

    4 points • comment • feb 05, 2025

  89. Apple Reportedly Picks Alibaba as China AI Partner

    4 points • comment • feb 11, 2025

  90. How to Not Get Fired in 2025

    4 points • comment • feb 07, 2025

  91. Elon Musk's AI company, xAI, releases its latest flagship model, Grok 3

    4 points • comment • feb 18, 2025

  92. Restrict Mutability of State

    4 points • comment • feb 08, 2025

  93. Do You Use a Debugger?

    4 points • comment • feb 12, 2025

  94. Show HN: LLMule – Run and Share Local LLMs in a P2P Networking

    4 points • comment • feb 01, 2025

  95. Talking to people before building took me from failed projects to $9K in revenue

    4 points • comment • feb 18, 2025

  96. S25 Ultra – Are We All Just Bored Now?

    4 points • comment • feb 03, 2025

  97. Show HN: LifeboatLinux, recover your damaged system from a 35Mb EFI Linux distro

    4 points • comment • feb 25, 2025

  98. Cheetos Other Hand Font

    4 points • comment • feb 12, 2025

  99. Humble Book Bundle Game Programming by Pearson

    4 points • comment • feb 04, 2025

  100. Join JupyterHub on Zulip Chat

    4 points • comment • feb 06, 2025