newest
Open in hackernews
HMQ: Principal Type Inference Under a Prefix
https://www.microsoft.com/en-us/research/publication/principal-type-inference-under-a-prefix/
2
•
ctenb
•
6h ago
PoPo: MMD Anime Char Model Pose Generation Using Fine Tuned LLM
https://popo.love
1
•
Amyang
•
10s ago
•
0 comments
Army tests robotic coyotes to defend fighter jets from wildlife
https://www.armytimes.com/news/your-army/2025/07/07/army-tests-robotic-coyotes-to-defend-fighter-jets/
1
•
bookofjoe
•
1m ago
•
0 comments
Music for Heathrow
https://mediacentre.heathrow.com/pressrelease/detail/23253
2
•
dijksterhuis
•
5m ago
•
0 comments
AI Can't Take over Soon Enough for Me
https://rodyne.com/?p=2911
1
•
boznz
•
9m ago
•
0 comments
Using Protobuf to make Jira Cloud faster
https://www.atlassian.com/blog/atlassian-engineering/using-protobuf-to-make-jira-cloud-faster
1
•
ksec
•
11m ago
•
0 comments
Dépanneurs
https://walkmontreal.com/curiosities/depanneurs/
1
•
thomassmith65
•
13m ago
•
0 comments
(Jeff Geerling) The first time I was visited by the FBI [video]
https://www.youtube.com/watch?v=Lc2hB2AwHso
1
•
blakeashleyjr
•
16m ago
•
0 comments
I built a Reddit lead gen tool that gives you usernames in 30 seconds
https://www.linkeddit.com/
1
•
OmPatel5
•
16m ago
•
1 comments
Cloudflare forwarding changes causing authenticated emails to be rejected
https://community.cloudflare.com/t/new-mail-auth-requirements-making-an-email-that-passed-dkim-to-not-forward/814140/1
1
•
sjwj
•
20m ago
•
0 comments
Show HN: A generative audio VST plugin using Gemini API, JUCE, and React
2
•
DesaiAshu
•
21m ago
•
1 comments
MicroHs, a tiny Haskell Compiler [video]
https://www.youtube.com/watch?v=SJwvPEq4Mok
1
•
todsacerdoti
•
22m ago
•
0 comments
Apple COO Jeff Williams stepping down later this month
https://9to5mac.com/2025/07/08/apple-coo-jeff-williams-stepping-down-later-this-month/
3
•
swat535
•
28m ago
•
0 comments
Azure MCP exploited: Maliciously leaking user's KeyVault secrets to attackers
https://www.tramlines.io/blog/azure-mcp-exploited-maliciously-leaking-user-s-keyvault-secrets-to-attackers
2
•
prisenco
•
29m ago
•
0 comments
Army will study how blasts of rifles, anti-armor and artillery impact brain
https://taskandpurpose.com/news/army-brain-injuries-weapon-exposure/
4
•
PaulHoule
•
30m ago
•
0 comments
SuperPrompt
https://superprompts.framer.website/
2
•
ClarvoDeisign
•
32m ago
•
0 comments
miso-lynx - A Haskell mobile framework
https://github.com/haskell-miso/miso-lynx
2
•
dmjio
•
33m ago
•
1 comments
Computer Scientists Figure Out How to Prove Lies
https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
3
•
pseudolus
•
36m ago
•
0 comments
A Syrian Death Factory Gives Up Its Secrets
https://www.wsj.com/world/middle-east/syrian-prison-death-950fde96
2
•
ViktorRay
•
37m ago
•
0 comments
Show HN: Evoke: A Powerful Little Static Site Generator
https://github.com/Bitlatte/evoke
1
•
bitlatte
•
37m ago
•
0 comments
Browser extensions turn nearly 1M browsers into website-scraping bots
https://arstechnica.com/security/2025/07/browser-extensions-turn-nearly-1-million-browsers-into-website-scraping-bots/
3
•
jnord
•
43m ago
•
0 comments
Rnet
https://github.com/0x676e67/rnet
1
•
handfuloflight
•
44m ago
•
0 comments
Just Another Cluely Killer
https://twitter.com/vijaytupakula/status/1943078390803894772
1
•
vijaytupakula
•
46m ago
•
0 comments
TocToc - A Simple Port Knocking CLI
https://github.com/William-LP/TocToc
1
•
willisindaplace
•
49m ago
•
1 comments
YouTube to combat AI slop by cracking down on massproduced and repetitive videos
https://techcrunch.com/2025/07/09/youtube-prepares-crackdown-on-mass-produced-and-repetitive-videos-as-concern-over-ai-slop-grows/
3
•
jnord
•
51m ago
•
0 comments
Production data access is broken for L3 incidents
1
•
addieg
•
54m ago
•
0 comments
The Mystery of Transient Luminous Events
https://www.seversondells.com/blog/tles
1
•
Jimmc414
•
1h ago
•
0 comments
Alex
https://www.alexcodes.app/
1
•
handfuloflight
•
1h ago
•
0 comments
Notes on Graham's ANSI Common Lisp
https://courses.cs.northwestern.edu/325/readings/graham/graham-notes.html
1
•
oumua_don17
•
1h ago
•
0 comments
Is ChatGPT the new Google? We dug into the numbers
https://www.washingtonpost.com/technology/2025/07/08/ai-chatbots-google-search-myth-busting/
1
•
tagawa
•
1h ago
•
0 comments
Security Issues Regarding GSMA ESIMs / EUICCs and Javacard
https://laforge.gnumonks.org/blog/20250709-gsma-esim-euicc-security/
1
•
JNRowe
•
1h ago
•
0 comments