MacBook Pro with M5 Pro and M5 Max

677 scrlk 2026-03-03 14:26:37 UTC apple.com Llama Share 664

Apple announced the new 14- and 16-inch MacBook Pro with M5 Pro and M5 Max chips, offering up to 4x faster AI performance and up to 24 hours of battery life. The new MacBook Pro features a Liquid Retina XDR display, Wi-Fi 7, and Bluetooth 6, and starts at 1TB of storage for M5 Pro and 2TB for M5 Max.

Lenovo's New ThinkPads Score 10/10 for Repairability

209 wrxd 2026-03-04 00:26:37 UTC ifixit.com Llama Share 68

Lenovo's new ThinkPad T14 Gen 7 and T16 Gen 5 laptops scored a 10 out of 10 on repairability, the first time the T-series has achieved this rating. Lenovo's collaboration with iFixit led to intentional design decisions that made repairs accessible and practical.

Voxile: A ray-traced game made in its own engine and programming language

108 spacemarine1 2026-03-03 21:26:37 UTC elbowgreasegames.substack.com Llama Share 20

Wouter von Oortmersen's VoxRay Games released The Builder's Update for Voxile, a voxel-based survival game with ray tracing and co-op multiplayer. Voxile's custom engine, Lobster, enables fast prototyping and record-speed compile times.

Claude's Cycles [pdf]

477 fs123 2026-03-03 11:26:37 UTC www-cs-faculty.stanford.edu Llama Share 215

Claude Opus 4.6 solved an open problem in automatic deduction and creative problem solving by finding a generalization for odd values of m. The solution was discovered through a series of explorations and involved a novel approach called fiber decomposition.

Textadept

74 giancarlostoro 2026-03-03 21:26:37 UTC orbitalquark.github.io Llama Share 15

Textadept has GUI and terminal versions with optional modules for extra features. It can be compiled from source or downloaded as pre-built binaries for various platforms.

Intel's make-or-break 18A process node debuts for data center with 288-core Xeon

250 vanburen 2026-03-03 19:26:37 UTC tomshardware.com Llama Share 196

Intel introduced Xeon 6+ 'Clearwater Forest' processors with up to 288 energy-efficient cores for telecom, cloud, and edge AI workloads. They feature Advanced Matrix Extensions, QuickAssist Technology, and Intel vRAN Boost technologies for improved performance and power efficiency.

Motorola GrapheneOS devices will be bootloader unlockable/relockable

15 pabs3 2026-03-04 01:26:37 UTC grapheneos.social Full Share 1

@[email protected] It will fully support using other operating systems including users making their own builds of GrapheneOS. It's part of our hardware requirements. We'll likely be able to make hardened builds of firmware and drivers which can be released in an official way for easy builds without needing to extract anything from the GrapheneOS or Motorola OS factory images.

GPT‑5.3 Instant

297 meetpateltech 2026-03-03 18:26:37 UTC openai.com Llama Share 226

GPT-5.3 Instant is an updated model that improves everyday conversations with more accurate answers, richer results, and reduced unnecessary caveats, focusing on tone, relevance, and conversational flow. The model also reduces hallucinations, improves writing capabilities, and is available starting today to all users in ChatGPT, with updates to Thinking and Pro to follow soon.

Marcus AI Claims Dataset

57 davegoldblatt 2026-03-04 01:32:37 UTC github.com/davegoldblatt Llama Share 37

Gary Marcus made 474 posts on Substack about AI limitations, with 2,218 testable claims. His claims about AI security vulnerabilities and technical issues are mostly supported, but his market predictions are often contradicted.

You can use newline characters in URLs

9 chmaynard 2026-03-04 01:26:37 UTC lemire.me Prefix Share 0

We locate web content using special addresses called URLs. We are all familiar with addresses like https://google.com. Sometimes, URLs can get long and they can become difficult to read. Thus, we might be tempted to format them like so in HTML using newline and tab characters, like so: Let us refer to the WHATWG URL specification that browsers follow. It makes two statements in sequence. ...

An Interactive Intro to CRDTs (2023)

95 evakhoury 2026-03-03 19:26:37 UTC jakelazaroff.com Llama Share 16

CRDTs are data structures that allow multiple computers to update and sync data without a central server. A Last Write Wins Map (LWW Map) is a type of CRDT that combines multiple Last Write Wins Registers to store and sync data.

The Xkcd thing, now interactive

1150 memalign 2026-03-03 11:26:37 UTC editor.p5js.org Full Share 153

A web editor for p5.js, a JavaScript library with the goal of making coding accessible to artists, designers, educators, and beginners.

When AI writes the software, who verifies it?

147 todsacerdoti 2026-03-03 17:26:37 UTC leodemoura.github.io Llama Share 139

AI is rewriting the world's software at an astonishing speed, but verification is lagging behind, making it a systemic risk.

Time, Space, and Life as We Know It (2017)

9 vismit2000 2026-03-04 00:26:37 UTC raganwald.com Prefix Share 0

In Why Recursive Data Structures? we used multirec, a recursive combinator, to implement quadtrees and coloured quadtrees (The full code for creating and rotating quadtrees and coloured quadtrees is below). Our focus was on the notion of an isomorphism between the data structures and the algorithms, more than on the performance of quadtrees. Today, we’ll take a closer look at taking advantage ...

Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents

72 atarus 2026-03-03 15:26:37 UTC news.ycombinator.com Llama Share 19

Cekura is a platform that simulates real user conversations to test AI agents and catch regressions before production. It uses synthetic users, real conversation import, and deterministic test cases to evaluate full conversational arcs, not just single turns.

You can't use a code editor when you're under 18 now?

36 pabs3 2026-03-04 01:26:37 UTC mastodon.online Llama Share 11

Users are criticizing Zed's AI-powered text editor for requiring users to be 18+ due to data harvesting concerns. They argue that this is an attempt to avoid regulations and cover corporate interests.

We've freed Cookie's Bustle from copyright hell

96 sb057 2026-03-03 20:26:37 UTC gamehistory.org Llama Share 10

The Video Game History Foundation is preserving the rare 1999 game Cookie's Bustle, but its efforts were disrupted by aggressive copyright takedowns from a company called Graceware, which claimed ownership of the game. However, the foundation's investigation found that Graceware's claims are likely baseless, and the company's actions may be a form of rights-squatting, exploiting loopholes in ...

Don't become an engineering manager

310 flail 2026-03-03 14:26:37 UTC newsletter.manager.dev Llama Share 225

The user's friend was offered an Engineering Manager role but decided not to take it due to concerns about losing time for experimentation and adapting to change. The user agrees that being an IC is a smarter choice in 2026, but advises waiting a couple of years to see how things look before making a decision, unless the person truly wants to pursue management.

130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?

8 PaulHoule 2026-03-03 23:26:37 UTC arxiv.org Prefix Share 0

This is a brief description of a project that has already autoformalized a large portion of the general topology from the Munkres textbook (which has in total 241 pages in 7 chapters and 39 sections). The project has been running since November 21, 2025 and has as of January 4, 2026, produced 160k lines of formalized topology. Most of it (about 130k lines) have been done in two weeks,from ...

What’s in a name? (2014)

10 Curiositry 2026-03-03 23:26:37 UTC sailsandcommas.com Llama Share 1

The writer has a Russian name that translates to a folktale about a girl who turns her brother into a goat, but in Australia, people struggle to pronounce it correctly. She has learned to accept her sailing nickname "Dave" as part of her identity.

Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video]

429 pcdavid 2026-03-03 16:26:37 UTC youtube.com Embed Share 68

TorchLean: Formalizing Neural Networks in Lean

74 matt_d 2026-03-03 16:26:37 UTC leandojo.org Llama Share 9

Researchers created TorchLean, a framework that treats neural networks as precise mathematical objects for verification and analysis. It unifies execution and verification with a shared semantics, enabling end-to-end formal verification of learning-enabled systems.

My take on vibe coding for PMs

9 dmckinno 2026-03-04 00:26:37 UTC ddmckinnon.com Prefix Share 0

I shared this internally at Meta in response to a deluge of clout-chasing posts celebrating PMs landing prod diffs. The response was positive and the message generalizes, so here we are on the open www. If the feature is actually important, fix the system for prioritization (your real job) rather than circumventing it. It is very easy to accumulate tech debt with random PM pet features. ...

Disable Your SSH access accidentally with scp

101 zdw 2026-03-03 15:26:37 UTC sny.sh Llama Share 48

The code defines a server handler and a function to construct an IP prefix matcher. It uses Tokio and regex for asynchronous operations and error handling.

MacBook Air with M5

376 Garbage 2026-03-03 14:26:37 UTC apple.com Llama Share 420

Apple announced the new MacBook Air with M5, featuring faster performance, expanded AI capabilities, and double the starting storage. It comes in 13- and 15-inch models with Wi-Fi 7, Bluetooth 6, and up to 18 hours of battery life.

Possible US Government iPhone-Hacking Toolkit in foreign spy and criminal hands

193 alwillis 2026-03-03 20:26:37 UTC wired.com Llama Share 62

A powerful iPhone hacking toolkit called Coruna has been used in multiple mass iPhone exploitation campaigns, initially by Russian spies targeting Ukrainians and later by cybercriminals stealing cryptocurrency from Chinese-speaking victims. Coruna's sophisticated code suggests it was created by a well-resourced, likely state-sponsored group of hackers, possibly originally developed by a US ...

Claude's Cycles [pdf]

18 cebert 2026-03-04 01:26:37 UTC cs.stanford.edu Llama Share 2

Claude Opus 4.6 solved an open problem in automatic deduction and creative problem solving by finding a generalization for odd values of m. The solution was discovered through a series of explorations and involved a novel approach called fiber decomposition.

I'm reluctant to verify my identity or age for any online services

885 speckx 2026-03-03 14:26:37 UTC neilzone.co.uk Llama Share 548

The user is concerned about identity and age verification policies being proposed in various countries, which they believe could lead to censorship and loss of privacy. They are willing to opt out of services that require verification, such as YouTube, Reddit, and some forums, but may have to compromise on others like Teams/Zoom due to professional obligations.

Talos: Hardware accelerator for deep convolutional neural networks

46 llamatheollama 2026-03-03 23:26:37 UTC talos.wtf Llama Share 16

Talos is a custom FPGA-based hardware accelerator for deep learning inference, optimized for efficiency and performance. It strips away software overhead and uses fixed-point arithmetic, deterministic control, and streaming pipelines to achieve faster and more power-efficient results.

Don't make me talk to your chatbot

217 pkilgore 2026-03-03 22:26:37 UTC raymyers.org Llama Share 177

The author suggests that when people paste AI-generated text, it's often bad communication that buries the main point, requiring the reader to sift through it. They propose a two-step process to avoid this: first, understand your own point of view, and second, edit the AI-generated text to prioritize the main point.