Feed aggregator
TLA+ by Example
Article URL: https://tlabyexample.com/
Comments URL: https://news.ycombinator.com/item?id=47138984
Points: 1
# Comments: 0
PeerNS (Peerns.com) – DNS for PeerJS
Article URL: https://peerns.com
Comments URL: https://news.ycombinator.com/item?id=47138981
Points: 1
# Comments: 1
Show HN: SQL-tap now has a browser-based Web UI
Hi HN, I shared sql-tap here a few weeks ago — a transparent SQL proxy that captures every query and lets you inspect it in real-time. Thanks for the feedback last time.
Two big additions:
*Built-in Web UI* — Add `--http=:8080` and open your browser. It's a zero-dependency vanilla JS SPA embedded in the binary — nothing extra to install or deploy. Features:
- Real-time query stream via SSE - SQL syntax highlighting - Click to inspect details, run EXPLAIN / EXPLAIN ANALYZE - Query statistics view with normalized grouping (count, errors, avg/total duration) - Structured filter (`d>100ms`, `op:select`, `error`) - Transaction grouping (collapsible) - Slow query colorization - Pause / Clear controls - Export captured queries as JSON or Markdown - Copy query with bound args - N+1 detection (toast notification + row highlight)
*N+1 query detection* — sql-tap now automatically detects when the same SELECT template is executed 5+ times within 1 second (configurable). Both TUI and Web UI show flagged queries in real-time — every query in the pattern is marked, not just the first one. Thresholds, time window, and alert cooldown are all tunable via CLI flags. `--nplus1-threshold=0` to disable.
Other updates since v0.0.1:
*TUI improvements* - Structured filter mode (`f`): `d>100ms`, `op:select`, `error`, combinable with AND logic - Analytics view (`a`): aggregate queries by template, sort by total/count/avg duration - Export to file (`w`): save captured queries as JSON or Markdown - Copy with bound args (`C`): substitutes `$1`/`?` placeholders with actual values - Sort by duration (`s`), half-page scrolling (`Ctrl+d`/`Ctrl+u`) - Alert overlay for copy/export operations
*Database support* - TiDB support (`--driver=tidb`) - MySQL 9 compatibility - Fixed PostgreSQL binary parameter decoding (UUIDs, etc.)
The proxy works the same way: point your app at sql-tapd instead of your database, no code changes needed. It parses the native wire protocol to capture queries, prepared statements, transactions, and errors transparently.
Written in Go, single binary, install via Homebrew (`brew install --cask mickamy/tap/sql-tap`) or `go install`. This is a solo side project — if you find it useful, a star on GitHub would mean a lot.
Comments URL: https://news.ycombinator.com/item?id=47138976
Points: 1
# Comments: 0
Show HN: Bel interpeter vibe coded with Claude Code
Article URL: https://github.com/Tomasmillar/Rust-Bel
Comments URL: https://news.ycombinator.com/item?id=47138971
Points: 1
# Comments: 0
Show HN: DataPorter – Rails engine for data imports
Article URL: https://seryllns.github.io/data_porter/
Comments URL: https://news.ycombinator.com/item?id=47138958
Points: 1
# Comments: 0
The Seamstress Who Solved the Ancient Mystery of the Argonaut
Article URL: https://www.themarginalian.org/2026/02/23/jeanne-villepreux-power-argonaut/
Comments URL: https://news.ycombinator.com/item?id=47138902
Points: 1
# Comments: 0
Show HN: Rungs.dev – IDE for PLC AOIs with Structured Text and Ladder Logic
I’m building rungs.dev. The IDE runs at https://studio.rungs.dev
What it does now: - Build AOIs in Structured Text and Ladder Logic - Run in-browser simulation - Write and run AOI tests - Inspect trend-style execution data
Goal: faster AOI iteration for educational purposes.
Feedback wanted: - Which PLC concepts/workflows are hardest to learn? - What’s missing before this is useful for class/self-study? - Where this feels better or worse than existing tools?
Comments URL: https://news.ycombinator.com/item?id=47138901
Points: 1
# Comments: 0
Gogi – An AI-powered terminal assistant with native device-code OAuth
Article URL: https://gogi.webdeb.de
Comments URL: https://news.ycombinator.com/item?id=47138892
Points: 1
# Comments: 2
Reddit, porn sites fined by UK regulators over children’s safety and privacy
The UK’s online safety and privacy regulators are targeting companies that violate new age verification laws at both ends : Porn sites that did not keep children out, and mainstream platforms that profited from children coming in.
On February 23, media regulator Ofcom fined porn operators that failed to put “highly effective” age checks in place. Within the same 24-hour time frame, the Information Commissioner’s Office (ICO)—which is a separate, independent regulatory office—hit Reddit with an $18.2 million fine for unlawfully using children’s personal data for targeted advertising and recommendation systems.
Together, the cases show how quickly the UK is moving from guidance and “codes” to very real enforcement for services that don’t take children’s rights seriously.
Porn sites punished for weak age checksUnder the UK’s Online Safety Act 2023, services that publish or host pornography must use “highly effective” age assurance to stop children from accessing pornographic content. That means the classic splash page warning or an “I am over 18” tick box are no longer suitable.
Porn companies have reacted in different ways as the rules began to take hold: Some big players embraced more intrusive checks; others, like Pornhub, geo‑restricted or partially withdrew from the UK, and a minority effectively called the regulator’s bluff and carried on with token measures. Ofcom is now going after that last group.
On Monday, Ofcom fined US‑based porn operator 8579 LLC around $1.8 million for failing to implement proper age verification on its sites and for dragging its heels on compliance. The company has also been ordered to hand over a complete list of all websites it operates, with an extra daily penalty if it fails to comply.
Ofcom said it opened investigations into dozens of adult sites and will impose fines and daily penalties until proper age checks are in place, and reports that more than 6,000 porn sites have now moved to “highly effective” age checks. It can also employ certain business‑disruption and blocking powers for stubborn operators that continue to violate the law.
Reddit fined for using children’s dataMeanwhile, the Information Commissioner’s Office (ICO) took aim at something different, but very much related: How mainstream online platforms treat the children they already have, rather than how they keep children out.
The Office’s latest decision imposes a substantial fine on Reddit for “children’s privacy failures,” after the regulator concluded the platform unlawfully used UK children’s personal data for targeted advertising and profiling. The decision follows a multi‑year push by the ICO to enforce its Age Appropriate Design Code (also known as the Children’s code) and to crack down on platforms that treat under‑18s like just another audience segment.
The ICO said its investigation found that Reddit:
- Failed to effectively identify and protect under‑18s on the platform, despite knowing that children were present in large numbers.
- Used children’s personal information in recommender systems and targeted advertising, without adequate safeguards or a lawful basis under UK data protection law.
- Did not ensure that the “best interests of the child” were a primary consideration in its design and data‑use decisions, as required by the Children’s code.
The regulator’s concerns about Reddit are not new. In 2025 it announced investigations into TikTok, Reddit, and Imgur that focused on how the companies use UK children’s data and what age‑assurance tools they rely on. By late 2025, the ICO had issued a notice of intent to fine Reddit, signaling that it believed serious breaches had occurred. The new $18.2 million fine is the outcome of that process.
The message from Information Commissioner John Edwards is blunt: Social media and video‑sharing platforms are welcome in the UK, but “this cannot be at the expense of children’s privacy,” and the responsibility to keep children safe “lies firmly at the door of the companies offering these services.”
Two regulators, one child‑safety pushAlthough Ofcom and the ICO have different remits, their actions line up neatly.
- Ofcom enforces the Online Safety Act, which focuses on harmful content and requires robust age assurance for porn and other high‑risk services.
- The ICO enforces UK GDPR and the Children’s code, which focus on how children’s personal data is collected, used, and shared.
The regulators have explicitly said they will work closely together to coordinate their efforts on children’s safety. In practical terms, that means:
- A porn site that implements “highly effective” age checks to satisfy Ofcom may also find itself under ICO scrutiny if its identity checks or data sharing do not respect data protection law.
- A social platform that complies with the Children’s code by turning off profiling for children and tightening privacy defaults may still need Ofcom‑compliant age assurance if it hosts adult or otherwise high‑risk content.
The overlap is already visible. The ICO investigated how Reddit and other platforms use age assurance and recommender systems, while Ofcom set out specific guidance on acceptable age‑verification methods under the Online Safety Act.
How age checks actually workRegulators such as Ofcom publish lists of acceptable age‑verification methods, each with its own privacy and usability trade‑offs. None are perfect, and many shift risk from governments and platforms onto users’ most sensitive personal data.
- Facial age estimation: Users upload a selfie or short video so an algorithm can guess whether they look over 18, which avoids storing documents but relies on sensitive biometrics and imperfect accuracy.
- Open banking: An age‑check service queries your bank for a simple “adult or not” answer. It may be convenient on paper but it’s a hard sell when the relying site is an adult platform.
- Digital identity services: Digital ID wallets can assert “over 18” without exposing full credentials, but they add yet another app and infrastructure layer that must be trusted and widely adopted.
- Credit card checks: Using a valid payment card as a proxy for adulthood is simple and familiar, but it excludes adults without cards and does not cover lower age thresholds like “over 13.”
- Email‑based estimation: Systems infer age from where an email address has been used (such as banks or utilities), effectively encouraging cross‑service profiling and “digital snooping.”
- Mobile network checks: Providers indicate whether an account has age‑related restrictions. This can be fast, but is unreliable for pay‑as‑you‑go accounts, burner SIMs, or poorly maintained records.
- Photo‑ID matching: Users upload an ID document plus a selfie so systems can match faces and ages. This is effective, but concentrates highly sensitive identity data in yet another attractive target for attackers.
My personal preference would be double‑blind verification: a third‑party provider verifies your age, then issues a simple token like “18+” to sites without revealing your identity or learning which site you visit, offering stronger privacy than most current approaches.
In almost every case, users must surrender personal information or documents to prove their age, increasing the risk that sensitive data ends up in the wrong hands.
We don’t just report on privacy—we offer you the option to use it.
Privacy risks should never spread beyond a headline. Keep your online privacy yours by using Malwarebytes Privacy VPN.
Microsoft CEO Satya Nadella used his event keynote to showcase how the artificial intelligence in M365 is a foundation for agentic AI in the enterprise
I Still <3 the Internet
Article URL: https://www.deezlinks.com/p/i-still-3-the-internet
Comments URL: https://news.ycombinator.com/item?id=47138391
Points: 1
# Comments: 0
Where can I buy AI-generated antibiotics?
Right. AI supermodels, but we don't have any of them commercialized yet.
Comments URL: https://news.ycombinator.com/item?id=47138380
Points: 1
# Comments: 0
From one dictator dad to another: Monica's lost childhood in North Korea
Australia for Software Engineers: Relocation Guide
Article URL: https://relocateme.substack.com/p/moving-to-australia-for-work
Comments URL: https://news.ycombinator.com/item?id=47138354
Points: 1
# Comments: 0
Federal data breach may be the biggest hack in US history
Article URL: https://morningoverview.com/massive-federal-data-breach-may-be-the-biggest-hack-in-us-history/
Comments URL: https://news.ycombinator.com/item?id=47138347
Points: 1
# Comments: 0
Ask HN: Who has seen productivity increases from AI
I would love examples of positions and industries where AI has been revolutionary. I have a friend at one of the largest consulting firms who has said it'd been a game-changer in terms of processing huge amounts of documentation over a short period of time. Whether or not that gives better results is another question, but I would love to hear more stories of AI actually making things better.
Comments URL: https://news.ycombinator.com/item?id=47138336
Points: 1
# Comments: 0
Does Gemini 3 retain conversational context less reliably than Gemini 2.5?
I could be mistaken, but Gemini 3.1 Pro seems less consistent than 2.5 Pro at adhering to instructions established earlier in the conversation.
For example, if I explicitly ask it not to include summaries or next steps in its outputs, it initially complies but eventually reverts to including them, as if the instruction has fallen out of scope.
Comments URL: https://news.ycombinator.com/item?id=47138307
Points: 1
# Comments: 0
Roblox gives predators “powerful tools” to target children, says LA County
Los Angeles County has sued online gaming company Roblox, adding to a series of suits that accuse the virtual worlds platform of misleading parents into thinking it’s safe while leaving children exposed to predators and sexually explicit content. The February 19 filing makes LA County the first California government body to take the company to court over child safety.
Roblox claims over 151 million daily users, most of which are kids. The company said it disputes the claims and will defend itself vigorously.
What the suit tells us about how predators operateAccording to the complaint, Roblox violated California’s Unfair Competition Law and False Advertising Law. County Counsel Dawyn R. Harrison, who filed the lawsuit, said that the gaming platform has repeatedly exposed kids to sexually explicit material, grooming, and exploitation because it has chosen profit over safety.
“This is not about a minor lapse in safety,” Harrison said in a prepared press release. “It is about a company that gives pedophiles powerful tools to prey on innocent and unsuspecting children.”
Until November 2024, anyone could friend and message a child on the platform, the suit said. When Roblox changed those rules it was allegedly still possible for accounts registered with ages over 13 to message each other without having previously been connected, meaning that adults could still message teens who didn’t know them.
The suit also alleged that it’s easy for predators to masquerade as children on the site, because age has historically been self-reported with no enforcement of parental approval when kids sign up.
But Roblox’s approach to age verification changed last September, when the company announced plans to use age estimation on all users who wanted to the platform’s communication features. It then introduced the third-party Persona system, which requires a facial age check to use chat features. But Persona itself has become a problem.
Researchers recently discovered an exposed frontend revealing the tool does far more than check ages, including running facial recognition against watchlists. It can also hold on to personal data including government IDs, device fingerprints, and biometric information for up to three years. Discord has already walked away from Persona, but Roblox hasn’t.
Even setting the vendor aside, the safeguards aren’t working as advertised. When Malwarebytes researchers created an account for a child under 13 on Roblox in December 2025, it found that a child account could find communities linked to cybercrime and fraud-related keywords.
The complaint contains many allegations about the type of behavior that has occurred on Roblox, including:
- The simulated rape of a seven year-old’s avatar in a digital playground environment
- “Diddy” games that recreated some events from the imprisoned rap star’s parties
- The creation of Jeffrey Epstein-themed accounts, and the operation of a game called “Escape to Epstein Island”
- Virtual strip clubs where avatars can disrobe and give lap dances
The LA County complaint also mentioned a report from financial forensic research company Hindenburg Research published in October 2024. The company, targeting short sellers who trade by selling stocks in vulnerable companies, said that it had found multiple groups on the site trading child sexual abuse material and soliciting sexual favors. The report also alleged that Roblox was cutting safety spending even as problems mounted.
A former senior product designer allegedly told Hindenburg the trade-off was deliberate. “If you’re limiting users’ engagement, it’s hurting your metrics…in a lot of cases, the leadership doesn’t want that,” the product designer allegedly said, according to the lawsuit.
A cacophony of casesThis won’t be the only case Roblox has defended. In 2022, the Social Media Victims Law Center filed suit against the company for allegedly touting child safety while allowing the exploitation of a young girl. The following year, multiple families filed suit against the gaming company for allegedly misleading them about content harmful to children. Last year, the mother of a 15 year-old boy from Texas sued Roblox after he committed suicide. The complaint alleged that he was groomed and subsequently blackmailed over nude pictures he’d been persuaded to send a predator on the site.
Another lawsuit filed against the company in San Mateo in February 2025 claimed that a 27-year-old predator reached a 13-year-old boy through the platform’s “whisper” messaging system. That case described the platform as “a digital and real-life nightmare for children.”
The California suit joins an expanding pile of government cases against Roblox. Louisiana sued the company in August 2025, followed by Kentucky (October 2025), Texas (November 2025), and Florida (December 2025). Georgia’s Attorney General is also investigating the company. And a collection of separate private suits against the company have been consolidated into a single multi-district litigation.
What parents can doSo, what can parents do? Interestingly, one potential answer came last year when the company’s CEO Dave Baszucki spoke with the BBC:
“My first message would be, if you’re not comfortable, don’t let your kids be on Roblox.”
If you do want to let your children use Roblox (or any other site), then close monitoring is important. Restrict friend requests and disable open chat to the extent that the platform allows. Anonymize your children’s profiles to potentially avoid what one family claimed happened to them in an earlier lawsuit, , in which they had to move across the country after the predator reportedly tracked down their child’s address via Roblox.
Child education is key. Tell your children not to reveal personal information and not to take conversations off-platform, because that’s where exploitation escalates. And keep the conversation going, not as a one-time lecture, but as a regular part of talking about their day.
For more information about child safety, check out Malwarebytes’ research on the topic, which also offers useful advice.
LA County is seeking civil penalties of up to $2,500 per violation per day, plus injunctive relief that could force structural changes to how the platform operates.
We don’t just report on data privacy—we help you remove your personal information
Cybersecurity risks should never spread beyond a headline. With Malwarebytes Personal Data Remover, you can scan to find out which sites are exposing your personal information, and then delete that sensitive data from the internet.
For Sale: Hunter S. Thompson's 1973 Chevy Caprice Convertible a.k.a. 'Red Shark'
Article URL: https://www.christies.com/en/lot/lot-6573423
Comments URL: https://news.ycombinator.com/item?id=47138305
Points: 1
# Comments: 0
