Hacker News
@hackernewslive
25.5K
subscribers
221K
links
Download Telegram
Join
Hacker News
25.5K subscribers
Hacker News
Comparing Python Type Checkers: Typing Spec Conformance
Article
,
Comments
pyrefly.org
Python Type Checker Comparison: Typing Spec Conformance | Pyrefly
Learn what it means to conform to the Python typing spec, why it matters, and the conformance status of each type checker including Pyrefly, Ty, Pyright and Mypy.
🔥
4
🌭
2
Hacker News
Ask HN: Have you successfully treated forward head posture ("nerd neck")?
Article,
Comments
🥱
5
👍
3
🌭
2
Hacker News
Show HN: Hackerbrief – Top posts on Hacker News summarized daily
Article
,
Comments
👻
3
🌭
2
Hacker News
MCP Server Is Eating Your Context Window. There's a Simpler Way
Article
,
Comments
Apideck
Your MCP Server Is Eating Your Context Window. There's a Simpler Way
TL;DR: MCP tool definitions can burn 55,000+ tokens before an agent processes a single user message. We built the Apideck CLI as an AI-agent interface instead:an ~80-token agent prompt replaces tens of thousands of tokens of schema, with progressive disclosure…
🤣
13
👏
4
🤡
3
🌭
1
Hacker News
Kevin Boone: The "small web" is bigger than you might think
Article
,
Comments
kevinboone.me
Kevin Boone: The “small web” is
bigger than you might think
The small web is growing, and getting more active. Good news.
❤
8
🔥
5
🌭
3
Hacker News
Why I may ‘hire’ AI instead of a graduate student
Article
,
Comments
Science
Why I may ‘hire’ AI instead of a graduate student
“It can competently perform a lot of the work I need immediately,” this professor writes
👎
48
🤡
35
😁
6
🔥
4
🖕
4
🤮
3
😢
1
💩
1
🌭
1
Hacker News
Palantir defends its role in the kill chain: "We are proud of that"
Article
,
Comments
heise online
Palantir defends its role in the kill chain: “We are very, very proud of that”
There are no secrets” is Palantir’s conference motto. Yet how its software actually works in real-world use remains a secret to outsiders.
🖕
34
🤮
9
🤬
8
😡
6
❤
4
💩
3
✍
2
🌭
2
🤣
2
Hacker News
Starlink Mini as a failover
Article
,
Comments
Jack Pearce
Starlink Mini as a failover
I recently picked up a Starlink Mini to use as a backup connection for my home network. The underlying technology is fascinating - thousands of satellites in low Earth orbit delivering broadband almost anywhere. With the new £4.50 standby plan, it's an excellent…
👍
11
🤣
7
🖕
6
😁
2
🌭
2
Hacker News
Jemalloc un-abandoned by Meta
Article
,
Comments
Engineering at Meta
Investing in Infrastructure: Meta’s Renewed Commitment to jemalloc
Meta recognizes the long-term benefits of jemalloc, a high-performance memory allocator, in its software infrastructure. We are renewing focus on jemalloc, aiming to reduce maintenance needs and mo…
💯
5
🌭
3
Hacker News
Palestinian boy, 12, describes how Israeli forces killed his family in car
Article
,
Comments
Bbc
'My mother cried out one last time': Palestinian boy, 12, describes how Israeli forces killed his family in car
Khaled Bani Odeh's parents and two brothers were shot dead as they drove home from a shopping trip in the occupied West Bank.
🤬
56
🥱
18
🤡
9
😭
8
🤣
5
❤
3
😁
3
💩
2
👍
1
😢
1
🌭
1
Hacker News
Cert Authorities Check for DNSSEC from Today
Article
,
Comments
grepular.com
Cert Authorities Check for DNSSEC From Today
About 14 years ago I set up DNSSEC . I've been running it on all of my domains ever since, without issue. First using bind9 and then later using PowerDNS...
👍
5
🌭
2
Hacker News
The return-to-the-office trend backfires
Article
,
Comments
The Hill
The return-to-the-office trend backfires
Many business leaders think that a stricter return-to-office policy will cause a surge in productivity. But in reality, the data tell a different story. Across practitione…
🤣
31
🥰
10
😁
2
🌭
2
🔥
1
Hacker News
Speed at the cost of quality: Study of use of Cursor AI in open source projects
Article
,
Comments
arXiv.org
Speed at the Cost of Quality: How Cursor AI Increases Short-Term...
Large language models (LLMs) have demonstrated the promise to revolutionize the field of software engineering. Among other things, LLM agents are rapidly gaining momentum in software development,...
💯
12
😁
5
🌭
5
Hacker News
Where does engineering go? Retreat findings and insights [pdf]
Article
,
Comments
🌭
2
Hacker News
The bureaucracy blocking the chance at a cure
Article
,
Comments
Writingruxandrabio
The Bureaucracy Blocking the Chance at a Cure
How early-stage clinical trials became unnecessarily expensive and inefficient—and how we can fix them, inspired by a recent story about a dog treated for cancer.
👍
13
🌭
2
❤
1
Hacker News
Show HN: Claude Code skills that build complete Godot games
Article
,
Comments
GitHub
GitHub - htdt/godogen: Claude Code skills that build complete Godot 4 projects from a game description
Claude Code skills that build complete Godot 4 projects from a game description - htdt/godogen
🤮
20
🤡
6
🔥
5
💩
2
🌭
2
🖕
1
Hacker News
Nvidia Launches Vera CPU, Purpose-Built for Agentic AI
Article
,
Comments
NVIDIA Newsroom
NVIDIA Launches Vera CPU, Purpose-Built for Agentic AI
NVIDIA today launched the NVIDIA Vera CPU, the world’s first processor purpose-built for the age of agentic AI and reinforcement learning — delivering results with twice the efficiency and 50% faster than traditional rack-scale CPUs.
🤮
28
❤
10
💩
7
😭
4
🤡
1
🌭
1
Hacker News
Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
Article,
Comments
🤮
4
🌭
2
Hacker News
Beyond Meat CEO 'It's Just Not the Moment for Plant-Based Meat' After Rebrand
Article
,
Comments
Plant Based News
Beyond Meat CEO Says 'It's Just Not The Moment For Plant-Based Meat' After Rebrand
Ethan Brown has said, “It’s just not the moment for plant-based meat," following Beyond Meat's rebrand to Beyond The Plant Protein Company
🤣
42
🌭
8
🤡
6
❤
2
Hacker News
Language Model Teams as Distrbuted Systems
Article
,
Comments
arXiv.org
Language Model Teams as Distributed Systems
Large language models (LLMs) are growing increasingly capable, prompting recent interest in LLM teams. Yet, despite increased deployment of LLM teams at scale, we lack a principled framework for...
👍
5
🤮
3
🌭
2
Hacker News
Mistral Releases Leanstral
Article
,
Comments
mistral.ai
Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI
First open-source code agent for Lean 4.
❤
25
😭
6
👍
2
🌭
2