newest
Open in hackernews
Implementing dependent types in pi-forall (2023)
https://arxiv.org/abs/2207.02129
2
•
fanf2
•
5h ago
OpenAI and Microsoft Tensions Are Reaching a Boiling Point
https://www.wsj.com/tech/ai/openai-and-microsoft-tensions-are-reaching-a-boiling-point-4981c44f
1
•
jmsflknr
•
1m ago
•
0 comments
Laser activation of single group-IV colour centres in diamond
https://www.nature.com/articles/s41467-025-60373-5
1
•
gnabgib
•
1m ago
•
0 comments
CI/CD Pipeline Architecture: A Framework for Building Robust Pipelines
https://cimatic.io/blog/cicd-pipeline-architecture
1
•
kamilchm
•
2m ago
•
1 comments
Supreme Court says no to reviving copyright claim against Ed Sheeran
https://www.reuters.com/business/media-telecom/us-supreme-court-rejects-bid-revive-copyright-suit-over-ed-sheeran-hit-thinking-2025-06-16/
1
•
susiecambria
•
4m ago
•
0 comments
The Ecosystem Dynamics That Can Make or Break an Invasion
https://www.quantamagazine.org/the-ecosystem-dynamics-that-can-make-or-break-an-invasion-20250616/
1
•
rbanffy
•
4m ago
•
0 comments
Passwordless Authentication and Passkeys [video]
https://www.youtube.com/shorts/VPr_-NB7YUE
1
•
mooreds
•
5m ago
•
0 comments
Show HN: Calendar that intelligently schedules your tasks for you
https://rhythm.lifestyle
1
•
georgeslz
•
5m ago
•
0 comments
G-Helper - Lightweight control tool for Asus laptops
https://github.com/seerge/g-helper
1
•
andrewstetsenko
•
7m ago
•
0 comments
British Police Test AI System to Profile Individuals Using Sensitive Data
https://reclaimthenet.org/british-police-test-ai-system-to-profile-individuals-using-sensitive-data-from-80-sources
2
•
anonymousiam
•
11m ago
•
0 comments
How 'money, power or greed' ripped the Nooksack 306 from their homes – and tribe
https://www.usatoday.com/story/news/nation/2025/05/22/nooksack-tribe-disenrollment-evictions-losing-home/83495393007/
1
•
rmason
•
12m ago
•
0 comments
VibeTunnel: Turn Any Browser into Your Mac's Terminal
https://steipete.me/posts/2025/vibetunnel-turn-any-browser-into-your-mac-terminal
1
•
ingve
•
13m ago
•
0 comments
New technologies help wood-burning stoves burn efficiently, produce less smoke
https://techxplore.com/news/2025-06-technologies-wood-stoves-efficiently.html
3
•
PaulHoule
•
15m ago
•
0 comments
Repository Now Limited by GitHub – Here’s Why
https://github.com/Bon-Appetit/porn-domains/discussions/70
4
•
macote
•
17m ago
•
1 comments
Sneakernet
https://en.wikipedia.org/wiki/Sneakernet
2
•
Pooge
•
18m ago
•
0 comments
Show HN: I built a workflow for photorealistic person generation
https://www.mypicnow.com
1
•
markolo
•
18m ago
•
0 comments
Show HN: Zuhal – A Fast and Accurate Email Validation Service
https://zuhal.io
1
•
shirazshaikh
•
18m ago
•
0 comments
Checkered cube (2009)
https://www.randelshofer.ch/rubik/virtual_cubes/revenge/dual-colored_faces/images/4x_CheckeredCube2_512.gif
1
•
cwmoore
•
23m ago
•
1 comments
Where Eiffel Fits: Part 1 – Introduction
https://www.youtube.com/watch?v=Ze0vYLfjw64
1
•
fuzztester
•
24m ago
•
1 comments
Medacube Users?
https://old.reddit.com/r/smarthome/comments/1asbivh/medacube_users/
1
•
stacktrust
•
24m ago
•
0 comments
France's Alpine May Start N.A. Expansion in Canada first due to Trump tariffs
https://www.guideautoweb.com/en/articles/78980/france-s-alpine-may-start-north-american-expansion-with-canada/
1
•
slater
•
25m ago
•
0 comments
Flexport Tariff Simulator
https://tariffs.flexport.com/
2
•
mfiguiere
•
26m ago
•
0 comments
Show HN: I made a HTML parser with it's own matching language in C
https://github.com/TUVIMEN/reliq
2
•
hexderm
•
26m ago
•
0 comments
Google caused outage by ignoring its quality protections
https://www.theregister.com/2025/06/16/google_cloud_outage_incident_report/
1
•
rbanffy
•
28m ago
•
2 comments
A Knockout Blow for LLMs?
https://cacm.acm.org/blogcacm/a-knockout-blow-for-llms/
2
•
rbanffy
•
28m ago
•
1 comments
Creatrlink – Linktree for Podcasters
https://creatrlink.com/
1
•
kobaiko
•
29m ago
•
0 comments
Ask HN: Should high schools have private report cards excluding grade inflation?
1
•
amichail
•
30m ago
•
2 comments
Rocky Linux 10.0 Available Now
https://rockylinux.org/news/rocky-linux-10-0-ga-release
2
•
taubek
•
30m ago
•
1 comments
Global warming may increase the burden of obstructive sleep apnea
https://www.nature.com/articles/s41467-025-60218-1
1
•
gnabgib
•
30m ago
•
0 comments
I automated 73% of my remote job (ethically, with my manager's knowledge)
https://old.reddit.com/r/automation/comments/1kyyep4/i_automated_73_of_my_remote_job_using_these_tools/
2
•
duck
•
32m ago
•
0 comments
APOD is 30 Years Old Today
https://apod.nasa.gov/apod/ap250616.html
3
•
NKosmatos
•
33m ago
•
1 comments