newest
Open in hackernews
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
https://www.philipzucker.com/refinement_kdrag1/
1
•
matt_d
•
2h ago
The Age of the Super IC
https://hvpandya.com/super-ic
1
•
mooreds
•
1m ago
•
0 comments
About 3,200 Boeing jet and weapons workers begin strike
https://abcnews.go.com/Business/3200-boeing-jet-weapons-workers-begin-strike/story?id=124335909
1
•
Teever
•
2m ago
•
0 comments
My journey to the heart of the forgotten internet
https://www.bbc.com/future/article/20250731-a-journey-into-the-heart-of-the-forgotten-internet
1
•
pseudolus
•
2m ago
•
0 comments
Visual Vibe Coding – Bridge live browser context with IDE for visual prompting
https://testchimp.io/blog/visual-vibe-coding/
1
•
TestChimp
•
4m ago
•
0 comments
Jim Acosta interviews 'made-up' AI avatar of Parkland victim Joaquin Oliver
https://www.theguardian.com/us-news/2025/aug/04/jim-acosta-parkland-shooting-victim-ai-interview
1
•
divbzero
•
6m ago
•
0 comments
I learned to make AI videos using MediaRecorder
https://debamitro.github.io/blog/making-videos-with-media-recorder/
1
•
debamitro
•
12m ago
•
0 comments
The Coming Wave: Post-Quantum Cryptography and the Future of Cybersecurity
https://blog.publiccomps.com/the-coming-wave-post-quantum-cryptography-and-the-future-of-cybersecurity/
2
•
toomuchtodo
•
14m ago
•
0 comments
Whittier
1
•
martinlawn
•
15m ago
•
1 comments
Electrostatic Motors Are Breaking All the Rules [video]
https://www.youtube.com/watch?v=44WM5J6AcHo
1
•
surprisetalk
•
20m ago
•
0 comments
Deterministic Simulation Testing in Rust: A Theater of State Machines
https://www.polarsignals.com/blog/posts/2025/07/08/dst-rust
1
•
SchwKatze
•
21m ago
•
0 comments
Ask HN: Is GitHub Support currently inactive?
1
•
hackish113
•
25m ago
•
1 comments
Do You Want to Hear a Thing About "Cookie Consent"? [video]
https://www.youtube.com/shorts/QxHUB00RzjQ
2
•
VikingTechGuy
•
29m ago
•
1 comments
Cross Language Performance: C, C++, Go and Rust
https://deepwiki.com/mochilang/mochi/8.2-cross-language-performance
2
•
tamnd
•
30m ago
•
0 comments
Anthropic expires your paid credits after a year
3
•
maytc
•
30m ago
•
0 comments
A new future for icanhazip (2021)
https://major.io/p/a-new-future-for-icanhazip/
1
•
thunderbong
•
35m ago
•
0 comments
Bisbee Deportation
https://en.wikipedia.org/wiki/Bisbee_Deportation
2
•
prawn
•
36m ago
•
1 comments
Show HN: Open-source business management tool for small business
https://github.com/oitcode/samarium
1
•
zaza12
•
37m ago
•
0 comments
Renaming This File Changes what it Does [video]
https://www.youtube.com/watch?v=o7qx-wgl3jo
1
•
LorenDB
•
41m ago
•
0 comments
Ask HN: Why is it called "Vibe Coding"?
9
•
giantg2
•
42m ago
•
6 comments
Are You Smarter Than a Chimpanzee?
https://humanbenchmark.com/tests/chimp
3
•
b_mc2
•
43m ago
•
2 comments
Fraudulent Scientific Papers Are Rapidly Increasing, Study Finds
https://www.nytimes.com/2025/08/04/science/04hs-science-papers-fraud-research-paper-mills.html
3
•
jmsflknr
•
44m ago
•
1 comments
Scientists have solved the mystery of what killed more than 5B sea stars
https://apnews.com/article/sea-star-wasting-disease-epidemic-f2ab802ae8787618a5905c566d38e0c5
1
•
c420
•
45m ago
•
1 comments
Google Pixel 8 phone, Android 16 Canary build: Debian Linux, Graphical Interface [video]
https://www.youtube.com/watch?v=H2C7GOmbDxw
1
•
sipofwater
•
48m ago
•
1 comments
Gas stoves are not responsible for increased asthma cases
https://twitter.com/cremieuxrecueil/status/1952477793570464237
4
•
MrBuddyCasino
•
50m ago
•
0 comments
Stockitize, the AI-powered portfolio risk analysis and research tool
https://www.stockitize.com/
1
•
SanjivPr
•
54m ago
•
1 comments
China Is Choking Supply of Critical Minerals to Western Defense Companies
https://www.wsj.com/world/asia/china-western-defense-industry-critical-minerals-3971ec51
4
•
bookofjoe
•
55m ago
•
4 comments
Show HN: I wrote a GitHub CLI extension to interactively manage repos
https://github.com/2KAbhishek/gh-repo-man
1
•
2kabhishek
•
1h ago
•
0 comments
Trump administration trashes anti-pollution plan for JD Vance's home town
https://www.theguardian.com/us-news/2025/jul/15/pollution-ohio-trump-administration
6
•
PaulHoule
•
1h ago
•
2 comments
Vibrio pectenicida strain is a causative agent of sea star wasting disease
https://www.nature.com/articles/s41559-025-02797-2
1
•
arittr
•
1h ago
•
0 comments
How to Clean Your Microwave Filter
https://www.southernliving.com/how-to-clean-microwave-filter-11779655
2
•
domofutu
•
1h ago
•
2 comments