11281.
TheoremGraph: Search 18M+ Mathematical Dependencies
(www.theoremsearch.com)
Jun 30 at 11:26 AM ago
| discuss
11282.
Coding with DeepSeek 4 on a 128GB MacBook Pro
(ronreiter.com)
Jun 30 at 11:13 AM ago
| discuss
11283.
Jun 30 at 11:02 AM ago
| discuss
11284.
What is inference engineering? Deepdive
(newsletter.pragmaticengineer.com)
Jun 30 at 10:50 AM ago
| discuss
11285.
Mindcraft – Minecraft AI with LLMs+Mineflayer
(github.com)
Jun 30 at 10:50 AM ago
| discuss
11286.
Bernie Sanders Saw This Coming
(www.wired.com)
Jun 30 at 10:40 AM ago
| discuss
11288.
Show HN: Turnitindetector.ai – Free AI checker for essays, no sign-up
(www.turnitindetector.ai)
Jun 30 at 10:38 AM ago
| discuss
11289.
Show HN: GPTHumanizer – Free, unlimited AI humanizer for ChatGPT drafts
(www.gpthumanizer.ai)
Jun 30 at 10:38 AM ago
| discuss
11290.
Jun 30 at 10:38 AM ago
| discuss
11291.
Why Well-Written Prompts Are Almost Always Structured
(www.dataleadsfuture.com)
Jun 30 at 10:20 AM ago
| discuss
11292.
6 months looking for polish market b2bs
(clawlabs.pro)
Jun 30 at 10:20 AM ago
| discuss
11293.
OpenClaw reveals iOS and Android mobile apps at last — but initial reviews make for tough reading
(www.techradar.com)
Jun 30 at 10:19 AM ago
| discuss
11294.
Claude coding addiction and why it can lead to startup burnout
(www.techradar.com)
Jun 30 at 10:19 AM ago
| discuss
11295.
The most interesting thing about OpenAI's new chip isn't Nvidia, it's Apple
(www.techradar.com)
Jun 30 at 10:19 AM ago
| discuss
11296.
Show HN: Privacy policy generator for AI apps (LLM disclosure, EU AI Act)
(ai-policy-gen.pages.dev)
Jun 30 at 10:19 AM ago
| discuss
11297.
Show HN: A Free AI Visibility Tracker
(www.archytasdigital.com)
Jun 30 at 09:39 AM ago
| discuss
11298.
AI agents are your new colleagues - how to get the best results
(www.zdnet.com)
Jun 30 at 09:27 AM ago
| discuss
11299.
Show HN: Crosswalk mapping AI-agent design controls to NIST, ISO 42001, OWASP
(www.agent-kits.com)
Jun 30 at 09:07 AM ago
| discuss
11300.
AI is starting to look a lot like the early days of cloud – and the real race is operational
(www.techradar.com)
Jun 30 at 09:05 AM ago
| discuss
11301.
Jun 30 at 08:55 AM ago
| discuss
11302.
Show HN: Escalate – human as a service for your agent
(escalateto.me)
Jun 30 at 08:55 AM ago
| discuss
11303.
Jun 30 at 08:40 AM ago
| discuss
11304.
A Framework for Representing Knowledge – Marvin Minsky (1975) [pdf]
(courses.media.mit.edu)
Jun 30 at 08:40 AM ago
| discuss
11305.
Show HN: Not Another AI Platform
(tryhello.app)
Jun 30 at 08:26 AM ago
| discuss
11306.
Good article about local LLM on MacBook Air
(www.xda-developers.com)
Jun 30 at 08:26 AM ago
| discuss
11307.
Jun 30 at 08:26 AM ago
| discuss
11308.
An AI data center suing for Colorado River water highlights a bigger question: Who should get the West's water?
(www.businessinsider.com)
Jun 30 at 08:13 AM ago
| discuss
11309.
Show HN: Ask your AI what changed across your competitors
(industry-lens.com)
Jun 30 at 08:10 AM ago
| discuss
11310.
AI-native Formik alternative form library
(fillament.dev)
Jun 30 at 08:10 AM ago
| discuss