IP Blocking the UK Is Not Enough to Comply with the Online Safety Act

106 pinkahd 2025-11-08 22:45:32 UTC prestonbyrne.com Llama Share 75

A US lawyer is defending a US website, SaSu, against UK regulator Ofcom's attempts to censor it under the Online Safety Act. The lawyer claims Ofcom's actions are politically motivated and an overreach of its authority, threatening American sovereignty and free speech.

Ironclad – formally verified, real-time capable, Unix-like OS kernel

23 vitalnodo 2025-11-08 23:04:32 UTC ironclad-os.org Llama Share 2

Ironclad is a formally verified, open-source operating system kernel with POSIX compatibility and real-time capabilities. It's free, fully open source, and relies on donations and grants for funding.

Marko – A declarative, HTML‑based language

157 ulrischa 2025-11-08 18:45:32 UTC markojs.com Llama Share 77

Marko is a language for building dynamic user interfaces, extending HTML with declarative features and asynchronous content loading. It optimizes code for browsers and servers with environment-specific output and TypeScript support.

Study identifies weaknesses in how AI systems are evaluated

269 pseudolus 2025-11-08 14:45:32 UTC oii.ox.ac.uk Llama Share 147

A new study by Oxford Internet Institute found that many AI benchmarks lack scientific rigour, making it difficult to draw reliable conclusions about AI progress and safety. The study proposes eight recommendations to improve the validity of AI benchmarks, including defining and isolating concepts and using statistical methods.

WriterdeckOS

95 surprisetalk 2025-11-08 19:45:32 UTC writerdeckos.com Llama Share 50

writerdeckOS is an operating system that converts laptops into a distraction-free writing device with a simple text editor. It's a DIY endeavor that erases the old OS and boots directly into Tilde Text Editor.

Largest Cargo Sailboat Completes Historic First Atlantic Crossing

48 defrost 2025-11-08 20:45:32 UTC marineinsight.com Llama Share 17

The Neoliner Origin, a 136-metre-long cargo sailboat, completed its first transatlantic voyage despite damage to one of its sails. The ship aims to reduce greenhouse gas emissions by 80 to 90 per cent compared to conventional cargo ships.

Control structures in programming languages: from goto to algebraic effects

59 SchwKatze 2025-11-08 19:45:32 UTC xavierleroy.org Llama Share 1

The book explores programming language control structures from history to theory, covering imperative and functional languages. It offers a comparative perspective on programming languages and introduces algebraic effects and contemporary research topics.

What Hallucinogens Will Make You See

24 simonebrunozzi 2025-11-08 21:45:32 UTC nautil.us Llama Share 20

Josie Kins, a researcher who has tried over 200 psychedelic compounds, is refining her Subjective Effect Index to categorize 233 effects people experience under psychedelics. The index focuses on cognitive and emotional effects, which are harder to categorize than visual effects.

Avería: The Average Font (2011)

79 JoshTriplett 2025-11-08 19:45:32 UTC iotic.com Llama Share 18

The user created a font called Avería by averaging multiple fonts using ImageMagick and PHP, then refined the process to preserve sharp edges. Avería is now available under the SIL Open Font License with various variants.

Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs

7 todsacerdoti 2025-11-08 22:45:32 UTC downtowndougbrown.com Prefix Share 0

This post is about the original OMAP3530 BeagleBoard from 2008. Yes, the one so old that it doesn’t even show up in the board list on BeagleBoard.org anymore. The BeagleBoard, not the BeagleBone. During my Chumby 8 kernel escapades, at one point I ran into a UART bug that affected multiple drivers, including the omap-serial driver. This led me to buy a BeagleBoard so I could verify the ...

Cloudflare scrubs Aisuru botnet from top domains list

106 jtbayly 2025-11-08 16:45:32 UTC krebsonsecurity.com Llama Share 25

Cloudflare's rankings were manipulated by Aisuru botnet, which used hundreds of thousands of hacked IoT devices to generate fake DNS queries. Cloudflare has since redacted malicious domains and added a warning to its rankings.

My first fifteen compilers (2019)

35 azhenley 2025-11-08 19:45:32 UTC blog.sigplan.org Llama Share 2

Lindsey Kuper describes her experience with compiler development using the nanopass approach, which involves breaking down a compiler into many small passes, each performing a specific task. This approach made compiler development more approachable and manageable, allowing her to build a 43-pass compiler in 15 weeks.

Open-source communications by bouncing signals off the Moon

23 fortran77 2025-11-08 20:45:32 UTC open.space Llama Share 7

The device is a high-aperture array for EME experiments and radio astronomy, requiring a 12 V DC power supply and an amateur radio license. It's intended for moon-bounce and one unit per person is allowed, with country restrictions applying.

US Air Traffic Controllers Start Resigning as Shutdown Bites

64 throw0101a 2025-11-08 23:07:32 UTC thedailybeast.com Llama Share 76

Air traffic controllers are resigning due to stress from the government shutdown, leaving 400 positions unfilled and airports understaffed. The shutdown's prolonged nature is causing burnout among remaining controllers, who are working long hours and struggling to pay bills.

An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]

76 swatson741 2025-11-08 15:45:32 UTC softwarepreservation.computerhistory.org Llama Share 9

The program uses conditional expressions to evaluate a list of expressions and select the first true one. It also defines a function to copy a list, handling cases where the list's first element is 0, 1, or 2.

How to declutter, quiet down, and take the AI out of Windows 11 25H2

32 mariuz 2025-11-08 21:45:32 UTC arstechnica.com Llama Share 22

Microsoft's Windows 11 25H2 update is minor, but users can still customize their experience by removing unwanted features and apps. A guide outlines steps to disable Microsoft account requirements, remove bloatware, and turn off AI features and ads in Windows 11.

GPS 'kill' switch allows state police cruisers to go dark and disable tracking

6 harambae 2025-11-08 21:45:32 UTC boston25news.com Prefix Share 1

The Massachusetts State Police spends nearly $70,000 a month on a sophisticated GPS tracking system designed to enhance accountability and public safety. But 25 Investigates discovered a loophole: hundreds of cruisers are equipped with a “kill switch” that allows the tracking to be disabled. Investigative Reporter Ted Daniel learned about the feature while reviewing disciplinary records about ...

Syntax and Semantics of Programming Languages

57 nill0 2025-11-08 15:45:32 UTC homepage.cs.uiowa.edu Full Share 2

Ticker: Don't die of heart disease

335 colelyman 2025-11-08 15:45:32 UTC myticker.com Llama Share 284

Heart disease is a leading cause of death globally, affecting people of all ages, and can be prevented with simple and accessible tests and lifestyle changes. By taking control of one's heart health and being an advocate for oneself, individuals can avoid heart disease and live a healthier life, and this can be achieved with affordable tests and treatments.

Valdi – A cross-platform UI framework that delivers native performance

453 yehiaabdelm 2025-11-08 00:45:32 UTC github.com/snapchat Llama Share 182

Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity. It compiles declarative TypeScript components into platform-native views for iOS, Android, and macOS.

Why is Zig so cool?

483 vitalnodo 2025-11-07 23:45:32 UTC nilostolte.github.io Llama Share 420

Nilo Stolte discusses the features of the Zig programming language, highlighting its unique compilation capabilities, simplicity, and robustness. He provides examples of using Zig to implement a Sudoku game, demonstrating its low-level capabilities and the use of test blocks for prototyping and debugging.

52 Year old data tape could contain Unix history

135 rbanffy 2025-11-08 16:45:32 UTC theregister.com Llama Share 47

Researchers at the University of Utah found a 1973 UNIX v4 tape in storage, potentially containing valuable data. The tape may be recoverable using a multi-channel high speed analog to digital converter and analysis software.

I Want You to Understand Chicago

407 tonyg 2025-11-08 20:45:32 UTC aphyr.com Llama Share 170

Chicago residents are experiencing trauma and fear due to frequent raids by federal agents, including ICE and CBP, who often use excessive force and disregard court orders. The situation has led to widespread anxiety, with many residents feeling the need to constantly be on alert and prepared to defend themselves and their loved ones.

Myna: Monospace typeface designed for symbol-heavy programming languages

369 birdculture 2025-11-07 23:45:32 UTC github.com/sayyadirfanali Llama Share 166

Myna is a monospace font designed to treat symbols as first-class glyphs, aiming to bring harmony to editors and terminals. It features language-aware design and a simple, expandable layout.

Cekura (YC F24) Is Hiring

0 2025-11-08 12:45:32 UTC news.ycombinator.com Llama Share

Cekura is hiring for a Customer Success role, focusing on customer outcomes and growth. The company is expanding rapidly, with openings in San Francisco and Bengaluru offices.

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

145 otrack 2025-11-08 07:45:32 UTC arxiv.org Llama Share 42

Egalitarian Paxos is a leaderless protocol that allows replicas to order commands collaboratively. It maintains non-zero throughput with up to f crashes out of n = 2f+1 processes.

How did I get here?

321 zachlatta 2025-11-07 23:45:32 UTC how-did-i-get-here.net Llama Share 56

The author created a custom traceroute program called ktr to visualize the path of packets across the Internet, using ICMP packets with increasing TTL fields. The program reveals the networks and autonomous systems that packets traverse, governed by the Border Gateway Protocol (BGP) and peering relationships between networks.

Computational Complexity of Air Travel Planning (2003) [pdf]

58 arnon 2025-11-08 11:45:32 UTC ai.mit.edu Llama Share 5

Air travel planning is a complex problem due to the large number of possible flight combinations and the intricate relationship between prices and paths. The number of possible paths grows exponentially with the duration or length considered, making it impossible to enumerate all options for many queries.

Immutable Software Deploys Using ZFS Jails on FreeBSD

161 vermaden 2025-11-08 00:45:32 UTC conradresearch.com Llama Share 44

FreeBSD's ZFS and jail primitives enable immutable deployments with instant rollbacks and zero-downtime upgrades. A script sets up jails, Caddy, and log rotation for a reproducible environment with health-checked reverse proxying.

Friendly attributes pattern in Ruby

92 brunosutic 2025-11-08 06:45:32 UTC brunosutic.com Llama Share 68

The author created Friendly Attributes to simplify creating subscription plans in RailsBilling by converting various input structures into standard key-value attributes. This approach reduces code repetition and improves readability.