frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Modular verification of MongoDB Transactions using TLA+

http://muratbuffalo.blogspot.com/2025/05/modular-verification-of-mongodb.html
2•todsacerdoti•6h ago

VPN firm says it didn't know customers had lifetime subscriptions, cancels them

https://arstechnica.com/gadgets/2025/05/vpn-firm-says-it-didnt-know-customers-had-lifetime-subscriptions-cancels-them/
1•01-_-•1m ago•0 comments

Texas Senate passes bill requiring solar plants to provide power at night

https://thehill.com/policy/equilibrium-sustainability/5292792-texas-senate-bill-power-cost/
1•xbmcuser•1m ago•0 comments

Apple to Block Mac Apps from Accessing Your Clipboard

https://www.macrumors.com/2025/05/12/apple-mac-apps-clipboard-change/
1•tosh•3m ago•0 comments

Show HN: InstaClock - Time Tracking App for Individuals

https://instaclock.app
1•flashblaze•3m ago•0 comments

Samsung launches the first 500Hz OLED gaming monitor for $1,300

https://www.tomshardware.com/monitors/gaming-monitors/samsung-launches-the-worlds-first-500hz-oled-gaming-monitor-for-usd1-300-with-its-burn-in-fighting-heat-pipes-in-tow
1•01-_-•3m ago•0 comments

GM's new turbo engine rewrites the rules of torque control-and locks out tuners

https://www.carsandhorsepower.com/featured/gm-s-new-turbo-engine-patent-could-rewrite-the-rules-of-torque-control-and-lock-out-tuners-for-good
1•Anumbia•6m ago•0 comments

Sweden's AI Reform reignites a proven flywheel

https://medium.com/marcau-partners/swedens-ai-reform-reignites-a-proven-flywheel-e1050b7bae63
1•imartin2k•7m ago•0 comments

Multiple Security Issues in GNU Screen

https://security.opensuse.org/2025/05/12/screen-security-issues.html
1•WesolyKubeczek•7m ago•0 comments

English Short Title Catalog

https://cbsrinfo.ucr.edu/ESTC
1•gone35•8m ago•0 comments

Show HN: Jenna AI: A visual learning platform for middle school kids

https://beta.hialfred.ai/login
1•hialfred•15m ago•0 comments

TikTok Is Rewriting the Rules for Emerging Artists

https://www.rollingstone.com/music/music-news/tiktok-rewriting-rules-emerging-artists-1235319787/
2•bryanrasmussen•17m ago•0 comments

Chegg to lay off 22% of workforce

https://gazette.com/chegg-to-lay-off-22-of-workforce-as-ai-tools-shake-up-edtech-industry/article_03ca9e54-87df-54a9-9abc-94a5c49d1b39.html
1•MarcoDewey•26m ago•0 comments

Problem with the Buffer

https://buffer.com/
1•nick_gol•29m ago•0 comments

A Privacy Mechanism That Backfired

https://rambo.codes/posts/2025-05-12-a-privacy-mechanism-that-backfired
1•frizlab•34m ago•0 comments

New tech promises cheaper, brighter, environmentally friendlier display screens

https://www.eurekalert.org/news-releases/1083484
1•lentoutcry•35m ago•0 comments

MacBook Touch Bar Persists Flickering When It Is Idle

https://iboysoft.com/howto/macbook-pro-touch-bar-flickering.html
1•Nancy-ooo•37m ago•1 comments

How Amazon, Google, Microsoft, and Meta are reshaping performance management

https://www.businessinsider.com/carrots-sticks-google-microsoft-meta-reshape-performance-management-2025-4
3•gmargari•45m ago•0 comments

Firefox Moves to GitHub

https://github.com/mozilla-firefox/firefox
75•thefilmore•47m ago•23 comments

Latest Zig from master can cross-compile to FreeBSD 14

https://ziggit.dev/t/latest-zig-from-master-can-cross-compile-to-freebsd-14/10081
2•rguiscard•50m ago•0 comments

Weird iOS Bug in Messages App

https://rambo.codes/posts/2025-05-12-cracking-the-dave-and-busters-anomaly
3•wolfi1•55m ago•0 comments

High-powered solar cells aim to replace batteries in low-power electronics

https://techxplore.com/news/2025-04-high-powered-solar-cells-aim.html
2•PaulHoule•57m ago•0 comments

Travel magazine's fake destination [video]

https://www.youtube.com/watch?v=PCUrNHMuzSw
1•neom•1h ago•0 comments

App Store for Hosted Agents?

2•jakejmedeiros•1h ago•0 comments

My Sheety Website

https://sheety.website/
1•behnamoh•1h ago•0 comments

OpenAI/GPT-2

https://github.com/openai/gpt-2/blob/master/src/model.py
2•olalonde•1h ago•0 comments

Ask HN: Is Apple vmm not limited to few VMs per machine?

https://www.docker.com/blog/docker-desktop-for-mac-qemu-virtualization-option-to-be-deprecated-in-90-days/
1•fefferkorn•1h ago•1 comments

What you want to know (but dare to ask) about Conjunctive Query Processing

https://harp-lab.com/2025/04/12/wcoj.html
1•matt_d•1h ago•0 comments

Hardware testing automation: a status update

https://postmarketos.org/blog/2025/05/13/hw-ci-status/
1•yorwba•1h ago•0 comments

The Problem with Washout Periods

https://www.exfatloss.com/p/the-problem-with-washout-periods
1•paulpauper•1h ago•0 comments

India-Pakistan Risks Loom

https://www.bloomberg.com/news/features/2025-05-11/trump-negotiated-india-pakistan-ceasefire-adds-new-risks-to-kashmir-conflict
2•colonCapitalDee•1h ago•2 comments