Formal Conjectures: Contribute your favorite conjecture (leanprover.zulipchat.com)

1 points by firsching 1m ago 0 comments

Can Large Language Models play chess effectively? (maxim-saplin.github.io)

1 points by nhatcher 5m ago 0 comments

Every economist on Mastodon had anonymity broken by hackers from Yale (2023) (karlstack.com)

1 points by Michelangelo11 9m ago 0 comments

Huawei brings sanctions-busting Kirin 9000C CPU to desktop PCs (tomshardware.com)

1 points by molinwow 9m ago 1 comments

A single factor for safer cellular rejuvenation (biorxiv.org)

1 points by kkoncevicius 15m ago 0 comments

Why Silicon Valley's Most Powerful People Are So Obsessed with Hobbits (nytimes.com)

1 points by BerislavLopac 17m ago 0 comments

Roku simulator now runs SceneGraph apps (youtube.com)

1 points by lvcabral 22m ago 1 comments

Show HN: Kotobase: Slack translation for EN/JP teams (flp.studio)

1 points by raleighm 22m ago 0 comments

Cannibal Crusaders (historytoday.com)

1 points by Thevet 26m ago 0 comments

Show HN: Threadbase – Observability platform for debugging LLM memory (threadbase.dev)

1 points by parser1 27m ago 0 comments

Fake Travel: Create Travel Photos with AI (faketravel.net)

1 points by websellcn 31m ago 0 comments

Public health bodies urged to launch period tracking apps to protect data (theguardian.com)

1 points by beardyw 32m ago 0 comments

Why Recursive Self-Improvement Might Be Closer Than We Think (claude.ai)

2 points by smoothplastic 32m ago 0 comments

Show HN: ESP32 Dashboard with e-paper display and custom widgets (github.com)

2 points by mechadwarf 32m ago 0 comments

Chicken Eyeglasses (en.wikipedia.org)

1 points by thomassmith65 34m ago 1 comments

Low-background Steel (pre-AI) (lowbackgroundsteel.ai)

1 points by doener 35m ago 1 comments

Show HN: Perspt – fast, immersive terminal CLI to chat with AI models (github.com)

1 points by vikrantrathore 36m ago 0 comments

Gnome introducing stronger dependencies on systemd (blogs.gnome.org)

6 points by todsacerdoti 39m ago 6 comments

The Epic of James Joyce (newstatesman.com)

1 points by samclemens 42m ago 0 comments

Amazon Kuiper second satellite launch delayed by ULA due to weather (cnbc.com)

1 points by 01-_- 43m ago 0 comments

High-profile Americans' iPhones may have been targeted in hacking campaign (nbcnews.com)

3 points by 01-_- 45m ago 1 comments

o3 Pro Just Dropped (chatgpt.com)

2 points by johnnyApplePRNG 49m ago 1 comments

Cray versus Raspberry Pi (aardvark.co.nz)

2 points by flyingkiwi44 49m ago 0 comments

The Crypto Heist Apple Kept Quiet: An iMessage Zero-Day in iOS 18 (substack.com)

3 points by pabs3 52m ago 1 comments

0-Click iMessage Chain → Secure Enclave Key Theft, Wormable RCE, Crypto Theft (seclists.org)

1 points by pabs3 53m ago 1 comments

Show HN: D-Hera_D-Pheri_3.0_Plot_-Fan-Fiction (github.com)

1 points by deazy 56m ago 0 comments

Type Theory and Themes in Philosophical Logic (consequently.org)

1 points by matt_d 59m ago 0 comments

Agents for the Agent (ampcode.com)

1 points by ghuntley 1h ago 0 comments

EmuTOS v1.4 Released (atariscne.org)

2 points by snvzz 1h ago 0 comments

A Google Shareholder Is Suing the Company over the TikTok Ban (wired.com)

2 points by blessedwhiskers 1h ago 0 comments

From the Creators of Apple Shortcuts, Sky Extends LLM Automation to macOS (macstories.net)

1 points by transpute 1h ago 0 comments

Show HN: I made an AI Assistant app on iOS (github.com)

1 points by lwy8wing 1h ago 0 comments

YouTube destroying entire account of documentarian after being doxxed [video] (youtube.com)

4 points by indrora 1h ago 0 comments

George Lucas on the set of Star Wars (1976) (bfi.org.uk)

2 points by starkparker 1h ago 0 comments

FreePascal from Square One [pdf] (contrapositivediary.com)

1 points by andsoitis 1h ago 0 comments

Ask HN: What is the latest on treatment of Metastatic Breast Cancer?

3 points by hazrmard 1h ago 0 comments

The Gentle Seduction (skyhunter.com)

2 points by vok 1h ago 1 comments

'Humans need solitude': How being alone can make you happier (bbc.com)

4 points by andsoitis 1h ago 0 comments

How Different Risk Metrics Help Time the Momentum Factor (quantnook.blogspot.com)

1 points by Joltypark 1h ago 1 comments

Want to Find All Food Events on Campus? Look No Further (food-share-drab.vercel.app)

13 points by raghav-daga 1h ago 2 comments

Mysterious fast radio burst traced back to 'cosmic graveyard' of ancient stars (space.com)

2 points by divbzero 1h ago 0 comments

Reigniting My Love for Phase One of Marvel (whatever.scalzi.com)

3 points by Tomte 1h ago 0 comments

Gravitational Bounce from the Quantum Exclusion Principle (arxiv.org)

1 points by jbotz 1h ago 0 comments

Check It Out (trydolph.com)

2 points by techspiritual 1h ago 0 comments

Computational Frameworks for Human Care (direct.mit.edu)

2 points by andsoitis 1h ago 0 comments

Treasure photos may prove 'the richest wreck in history' has been found (thetimes.com)

2 points by petethomas 1h ago 0 comments

Show HN: Random Letter Generator (randomlettergenerator.app)

1 points by Sienna1990 1h ago 0 comments

GrapheneOS needs OEM partner access (xcancel.com)

6 points by udev4096 1h ago 2 comments

London Tech Week turns away entrepreneur for bringing baby (thetimes.com)

2 points by petethomas 1h ago 0 comments

Neobrutalism CSS Button Generator (jsdev.space)

2 points by javatuts 1h ago 0 comments

Show HN: MCP server to index external repositories

1 lewq 1 6/10/2025, 10:30:34 PM github.com ↗

Comments (1)

lewq · 8h ago

Docs here: https://docs.helixml.tech/kodit/