Hacker News

Article URL: https://github.com/vulnersCom/VulnCast

Comments URL: https://news.ycombinator.com/item?id=48917323

Points: 1

# Comments: 0

Article URL: https://www.youtube.com/watch?v=kAjNWanR3n8

Comments URL: https://news.ycombinator.com/item?id=48917306

Points: 1

# Comments: 0

Article URL: https://www.theregister.com/personal-tech/2026/07/15/at-last-a-good-reason-to-buy-an-ai-pc-reining-in-runaway-token-bills/5271589

Comments URL: https://news.ycombinator.com/item?id=48917305

Points: 2

# Comments: 0

Article URL: https://github.com/markmatsu/pdf-batch-translator

Comments URL: https://news.ycombinator.com/item?id=48917303

Points: 1

# Comments: 0

Article URL: https://prathibhax.com/

Comments URL: https://news.ycombinator.com/item?id=48917300

Points: 1

# Comments: 0

Article URL: https://www.theguardian.com/technology/2026/jul/14/ibm-shares-profit-drop-value

Comments URL: https://news.ycombinator.com/item?id=48917294

Points: 2

# Comments: 1

Article URL: https://www.reuters.com/world/asia-pacific/australia-establish-government-ai-office-coordinate-regulation-2026-07-14/

Comments URL: https://news.ycombinator.com/item?id=48917281

Points: 1

# Comments: 0

Core teams serve internal Software Engineers in larger software companies. Think of Platform Operations, CICD, developer tools, etc.

With the advent of AI, code became cheap and this exposed inefficiencies everywhere. Having spent many years in many companies, I feel like there is little we know about how a successful core team should operate and what are the pitfalls.

I have anecdotal evidence about core teams operations, but I am sorely missing more substantial reading.

Comments URL: https://news.ycombinator.com/item?id=48917264

Points: 1

# Comments: 0

Article URL: https://www.abc.net.au/news/2026-07-15/warren-buffett-stops-donations-to-gates-foundation/106915922

Comments URL: https://news.ycombinator.com/item?id=48917263

Points: 1

# Comments: 0

Article URL: https://www.invenglobal.com/articles/23705/fitting-a-game-onto-a-single-floppy-disk-144mb-game-development-contest-announced

Comments URL: https://news.ycombinator.com/item?id=48917260

Points: 2

# Comments: 0

I built a free-to-use app. It's based on open-source STT models. Do give it a go and share your feedback.

Comments URL: https://news.ycombinator.com/item?id=48917254

Points: 1

# Comments: 0

I wanted to see how lean does outside of theorems.

(currently studying ME, professor introduced us to lean4)

Lean handles the game loop, geometry, collision detection, enemy AI, weapons, particles, and HUD. The native side is a roughly 570-line C shim that handles Win32 input and audio, and submits Lean-generated triangles to OpenGL.

The game currently has two maps, a shotgun, and a few secrets.

Comments URL: https://news.ycombinator.com/item?id=48917239

Points: 1

# Comments: 0

Article URL: https://www.emilyrcwilson.com/emilyrcwilson-scholia

Comments URL: https://news.ycombinator.com/item?id=48917227

Points: 1

# Comments: 0

Hi Everyone! While working on big Rust projects I'm experiencing these pains:

- having to hand-roll CLI test commands

- remembering custom project commands & arguments

- adding test time only logs (timings, cache invalidations or other useful markers)

What I wanted:

- UI experience navigating and running the tests tree

- easy and fast access to custom task commands (xtask)

- test time only events that get generated regardless of global log level

And so I built (with the help of Codex..) Nextdeck. https://github.com/romansky/nextdeck

I tested Nextdeck to work with iTerm2 & Terminal & Intellij's built-in terminal.

Comments URL: https://news.ycombinator.com/item?id=48917223

Points: 1

# Comments: 0

Article URL: https://www.reuters.com/legal/litigation/uk-teens-report-sleep-wellbeing-gains-under-social-media-restrictions-study-2026-07-14/

Comments URL: https://news.ycombinator.com/item?id=48917214

Points: 2

# Comments: 0

Article URL: https://www.technologyreview.com/2026/07/14/1140356/psiquantum-plan-massive-quantum-computer-out-of-light/

Comments URL: https://news.ycombinator.com/item?id=48917212

Points: 1

# Comments: 0

So I can see that people are engaging with posts and they have very good engagement too. But when I am posting and asking a question, there is no one who is answering my question. Is there something that I am missing out on?

Comments URL: https://news.ycombinator.com/item?id=48917210

Points: 2

# Comments: 2

Article URL: https://www.reuters.com/technology/uk-plans-default-midnight-social-media-curfew-16-17-year-olds-2026-07-14/

Comments URL: https://news.ycombinator.com/item?id=48916965

Points: 1

# Comments: 0

Article URL: https://github.com/TypeWhisper/typewhisper-mac

Comments URL: https://news.ycombinator.com/item?id=48916902

Points: 1

# Comments: 0

Article URL: https://www.ft.com/content/3738e814-9470-4d7d-94a6-ac5e001a968e

Comments URL: https://news.ycombinator.com/item?id=48916900

Points: 1

# Comments: 0