John Ternus to become Apple CEO

https://www.apple.com/newsroom/images/2026/04/tim-cook-to-become-apple-executive-chairman-john-ternus-to-become-apple-ceo/article/Apple-John-Ternus-Tim-Cook_Full-Bleed-Image.jpg.large.jpg
Tim Cook will become Apple's executive chairman on September 1, 2026, while John Ternus will take over as CEO. Ternus has been with Apple for 25 years and has overseen many groundbreaking products.

All phones sold in the EU to have replaceable batteries from 2027

To verify, complete the captcha or click the checkbox if it doesn't load. If still redirected, contact support.

GitHub's fake star economy

https://awesomeagents.ai/images/news/github-fake-stars-investigation_hu_d97f4e9413d842ca.jpg
A Carnegie Mellon University study found 6 million fake GitHub stars across 18,617 repositories, with AI/LLM repos being the largest non-malicious category. The study's tool, StarScout, identified fake stars distributed by roughly 301,000 accounts.

Kimi K2.6: Advancing open-source coding

https://kimi-file.moonshot.cn/prod-chat-kimi/kfs/4/2/2026-04-20/1d7j2jpl3v89kkei5mq70?x-tos-process=image%2Fauto-orient%2C1%2Fstrip%2Fignore-error%2C1
Kimi K2.6 is a state-of-the-art open-sourced model featuring long-horizon execution, agent swarm capabilities, and strong improvements in coding tasks. It demonstrates exceptional reliability, instruction following, and out-of-distribution generalization, setting a new bar for open-sourced models in agentic workflows.

Qwen3.6-Max-Preview: Smarter, Sharper, Still Evolving

https://qianwen-res.oss-accelerate.aliyuncs.com/Qwen3.6/Figures/3.6_max_preview_banner.png
Qwen3.6-Max-Preview is an early preview of a proprietary model with stronger world knowledge and instruction following, along with improved agentic coding. It achieves top scores on six major coding benchmarks and is available through Alibaba Cloud Model Studio API.

Acetaminophen vs. ibuprofen

https://asteriskmag.com/media/pages/issues/14/the-mystery-in-the-medicine-cabinet/57742b5d90-1776278367/qrc2_knw-300x.jpg
Acetaminophen is generally safer than ibuprofen for most people, but both have risks, especially if taken incorrectly. Official sources don't clearly state this due to complexity and fear of giving medical advice, prioritizing safety labels over comparative safety information.

At long last, InfoWars is ours

https://theonion.com/wp-content/uploads/2024/08/1-Bryce_Tetraeder_BOARD_IHA_GR-R.jpg?w=835
The writer, who had night terrors as a child, is now bringing their dark vision to life by controlling InfoWars.com. They envision a twisted digital platform where visitors sacrifice themselves to delusion and misery.

Making RAM at Home [video]

Atlassian enables default data collection to train AI

We're verifying your browser Website owner? Click here to fix

Changes to GitHub Copilot individual plans

https://github.blog/wp-content/uploads/2026/01/generic-github-logo-right.png?resize=1200%2C630
GitHub Copilot's Individual plans are changing to protect existing customers by pausing new sign-ups, tightening usage limits, and adjusting model availability. These changes aim to ensure a predictable experience for existing users while a more sustainable solution is developed.

NSA is using Anthropic's Mythos despite blacklist

https://images.axios.com/1ujwULwMdbF4wPAwKN1n8lQYPsk=/0x316:4210x2684/1920x1080/2026/04/19/1776621364921.jpeg?w=3840
The NSA is using Anthropic's powerful model Mythos Preview despite the Pentagon's feud with the company over security concerns. The government's cybersecurity needs are outweighing the Pentagon's concerns, with Anthropic's tools being used more widely within the department.

ggsql: A Grammar of Graphics for SQL

https://opensource.posit.co/blog/2026-04-20_ggsql_alpha_release/greet.png
ggsql is a new data visualization tool that uses SQL syntax to create rich, structured visualizations, making it easy for SQL users to create custom plots. The tool is designed to be powerful, ergonomic, and safe, with a focus on integrating with AI agents and code-based reporting tools, and is currently available in alpha release.

Sauna effect on heart rate

https://loved-hug-5d84552294.media.strapiapp.com/sauna_hr_984f14dcae.png
Saunas have a therapeutic effect and promote cardiovascular health by stimulating the heart and increasing blood volume. Sauna use is linked to better same-day recovery, with lower nighttime heart rates and increased activity.

AI Resistance: some recent anti-AI stuff that’s worth discussing

https://stephvee.ca/assets/img/MrB.gif
People are resisting AI by intentionally feeding it trash data to waste its training, citing AI's negative impact on the world. This resistance aims to make AI companies rethink their data sourcing methods.

Deezer says 44% of songs uploaded to its platform daily are AI-generated

https://techcrunch.com/wp-content/uploads/2026/04/Copy-of-2000x1000-EN-1240x600-1.jpg?w=1024
Deezer reports a surge in AI-generated music uploads, with 60,000 tracks daily, but 85% are detected as fraudulent. The company will no longer store hi-res AI tracks and labels them for transparency.

We accepted surveillance as default

DoubleClick was founded in 1996 by Kevin O'Connor and Dwight Merriman, enabling cross-site tracking through third-party cookies, which became a standard in the web architecture. The technology was a choice made by browser vendors, and undoing it would be inconvenient for the organisations that built it, despite the physical and financial costs to users.

Not buying another Kindle

https://www.androidauthority.com/wp-content/uploads/2019/11/Amazon-Kindle-Oasis-with-warmth-and-brightness-slider.jpg
The author is leaving the Kindle ecosystem due to Amazon's shift from prioritizing ownership to control, citing forced obsolescence, invasive telemetry, and a focus on the storefront over the library.

Tesla concealed fatal accidents to continue testing autonomous driving

https://img.rts.ch/articles/2026/image/50gomb-29214558.image?mw=1280
Voici une synthèse de l'article en 2 phrases de 200 caractères maximum :

Kimi vendor verifier – verify accuracy of inference providers

We are open-sourcing the Kimi Vendor Verifier (KVV) project to ensure open-source models run correctly everywhere. KVV includes Pre-Verification, AIME2025, K2VV ToolCall, Upstream Fix, Pre-Release Validation, and Continuous Benchmarking to improve model accuracy and trust.

Quantum Computers Are Not a Threat to 128-Bit Symmetric Keys

https://assets.buttondown.email/images/0f86b37f-5bdb-4151-928e-5e3812a29dc9.png?w=960&fit=max
AES-128 is safe against quantum computers due to the difficulty of parallelizing Grover's algorithm, making it impractical to break with current technology. Experts, including NIST, agree that AES-128 remains secure for decades to come, and no key size changes are necessary as part of the post-quantum transition.

OpenClaw isn't fooling me. I remember MS-DOS

https://www.flyingpenguin.com/wp-content/uploads/2026/04/OpenClaw-Shell-500x273.png
The user discusses the security risks of current agent gateways, comparing them to the insecure MS-DOS era, and proposes a safer architecture for agents. The user's own project, Wirken, uses separate processes, hardened containers, and a hash-chained audit database to provide a more secure agent gateway.

MNT Reform is an open hardware laptop, designed and assembled in Germany

http://mnt.stanleylieber.com/reform/img/mnt_reform.png
The user has a laptop with a trackball issue and made modifications to the side panels and sleeve. They also upgraded their keyboard and investigated audio issues.

OpenAI ad partner now selling ChatGPT ad placements based on “prompt relevance”

https://static-www.adweek.com/wp-content/uploads/2025/05/open-ai-data-chatgpt-2025.jpg?w=1200
ADWEEK MiniMBA in Marketing helps leaders shape media strategy with confidence. StackAdapt is testing ads in ChatGPT with low CPMs and discounted fees for early access.

The insider trading suspicions looming over Trump's presidency

https://ichef.bbci.co.uk/news/480/cpsprodpb/0993/live/bfcf1060-387a-11f1-9b73-21c33a4cdac9.jpg.webp
US President Donald Trump's major announcements often preceded huge trading activity, with some analysts suggesting possible insider trading. Financial regulators have not commented on the allegations, citing difficulty in enforcing the rules.

Brussels launched an age checking app. Hackers took 2 minutes to break it

https://www.politico.eu/cdn-cgi/image/width=1160,height=773,quality=80,onerror=redirect,format=auto/wp-content/uploads/2026/04/17/GettyImages-1829285149-scaled.jpg
Government urges staff to switch from Silicon Valley to Visio platform. France and Germany disagree on detoxing from Big Tech, with France filing a complaint against Kick.

F-35 is built for the wrong war

https://warontherocks.com/wp-content/uploads/2025/06/Cogs-Icon-3.png?v=1773080986
The US has attempted to equip its entire tactical air fleet with the F-35, a masterpiece but expensive and limited platform, which may not be suitable for protracted wars. A balanced force with unmanned systems could hedge against the F-35's limitations and provide a more sustainable solution.

M 7.4 earthquake – 100 km ENE of Miyako, Japan

The Earthquake Event Page application supports most recent browsers, view supported browsers. Or, try our Real-time Notifications, Feeds, and Web Services.

WebUSB Extension for Firefox

https://opengraph.githubassets.com/5faedb93dc7cf1f56c26cb539f018dc5f7699b7f462a80319cade57fc64b6493/ArcaneNibble/awawausb
To use the extension, install the native stub program on your computer and a browser extension. The native stub requires a specific operating system and kernel version.

Jujutsu megamerges for fun and profit

https://isaaccorbrey.com/profile.png
The author explains the megamerge workflow in Jujutsu, a powerful technique for working on multiple branches simultaneously, reducing merge conflicts and switching between tasks. The megamerge workflow involves creating an octopus merge commit as the parent of all working branches and using Jujutsu's absorb and squash commands to incorporate new changes.

Palantir Wants to Reinstate the Draft

https://d2eehagpk5cl65.cloudfront.net/img/q60/uploads/2026/04/04.20.26-v1.jpg
Palantir released a 22-point manifesto calling for tech companies to prioritize national defense and security over consumer products. The document suggests a dystopian future with robot weapons and domestic police state, and implies that individuals should serve the country through national service.

Claude Token Counter, now with model comparisons

https://static.simonwillison.net/static/2026/claude-token-count.jpg
Claude Token Counter now compares different models, including Opus 4.7 and 4.6, Sonnet 4.6, and Haiku 4.5. Opus 4.7 uses an updated tokenizer, increasing token counts by 1.0-1.35x, and costs 40% more due to the same pricing.

Show HN: Run TRELLIS.2 Image-to-3D generation natively on Apple Silicon

https://opengraph.githubassets.com/367038e5ae94080069cd6a2714b80832f730dfc04e26967f62cca1fed2de58a5/shivampkumar/trellis-mac
A port of Microsoft's TRELLIS.2 image-to-3D model is available for Apple Silicon via PyTorch MPS. It replaces CUDA-only libraries with pure-PyTorch alternatives, allowing use without an NVIDIA GPU.

Isopods of the world

https://cdn.isopod.site/2022/02/P1154733b.jpg
Isopod Site aims to improve isopod identification through basic anatomy understanding. Selective breeding is used in the hobby to boost unique traits in new lineages.

Even 'uncensored' models can't say what they want

https://morgin.ai/assets/covers/euphemismbench-flinch-profile.jpeg
Researchers measured the "flinch" in pre-trained language models, a gap between the probability a word deserves and the probability the model assigns it. The flinch varies by lab and year, and abliteration, a popular post-training intervention, actually makes models more likely to deflect charged words.

What killed the Florida orange?

https://compote.slate.com/images/626c03c0-c821-4aec-a0bf-c92e3250350a.jpeg?crop=6000%2C4000%2Cx0%2Cy0&width=1560
Florida's citrus industry is facing a severe crisis due to the citrus greening disease, which has infected 100% of the state's trees. The industry is also struggling with drought, tariffs, and hurricanes, leading to a decline of over 95% in orange production.

How does Shazam work?

https://perthirtysix.com/people/shri-bw.jpg
A phone identifies a song by breaking down sound into a three-dimensional representation called a spectrogram, which is then reduced to a set of unique "fingerprints" or hashes. These hashes are compared to a massive database of songs, allowing the phone to instantly identify the song, even in a noisy environment.

IEA: Solar overtakes all energy sources in a major global first

https://electrek.co/wp-content/uploads/sites/3/2026/04/Springwell-Solar-Farm.jpg?quality=82&strip=all&w=1200
Global energy demand rose 1.3% in 2025, with electricity demand jumping 3% due to electrification and EV adoption. Solar led global energy supply growth, accounting for over 25% of the increase and meeting nearly 60% of energy demand growth.

We got 207 tok/s with Qwen3.5-27B on an RTX 3090

https://raw.githubusercontent.com/Luce-Org/lucebox-hub/main/assets/banner.png
Lucebox rewrites LLM inference software for specific chips, achieving high performance and efficiency. It uses techniques like kernels, speculative decoding, and quantization tailored per target, with projects like megakernel and DFlash demonstrating significant speedups.

Monero Community Crowdfunding System

https://ccs.getmonero.org/img/donate-monero.png

Show HN: Mediator.ai – Using Nash bargaining and LLMs to systematize fairness

Daniel and Maya disagree over ownership after an investor offers $80k for 20% stake. Mediator proposes a compromise where Daniel can restore his 10% by working full-time for 6 months or forgoing $24k in distributions.

Highlights from Git 2.54

https://github.blog/wp-content/uploads/2026/04/git254.png?resize=1600%2C850
Git 2.54 introduces new features including the experimental 'git history' command for rewriting commit history and a new way to define hooks in configuration files. Other notable changes include improved usability in 'git add -p' and 'git log -L', as well as enhancements to 'git blame' and 'git backfill'.

Ask HN: How to solve the cold start problem for a two-sided marketplace?

To start a P2P crowdshipping marketplace, focus on a niche market, such as a specific route or item, and manually match people or incentivize one side to join without the other. Options include paying drivers to make deliveries, being the supply side yourself, or using an agency model, but be aware of the potential risks and challenges, such as competition from established businesses and ...

Soul Player C64 – A real transformer running on a 1 MHz Commodore 64

https://opengraph.githubassets.com/0b06c396850606888e9a1bfe1d7c604f81552722de093bfc0ca5fd78582fee64/gizmo64k/soulplayer-c64
a 2-layer transformer model is implemented on a commodore 64 using 6502/6510 assembly, with 25,000 int8 parameters and real-time processing. the model is trained with quantization-aware training and produces responses in several minutes.

Anthropic installed a spyware bridge on my machine?

https://www.thatprivacyguy.com/blog/assets/2026-04-18-001.png
The user discovered a Native Messaging manifest file in their Brave browser that was not installed by them, but was installed by Claude Desktop, a Mac app from Anthropic, without their knowledge or consent. This file allows a browser extension to access the user's browser at the same privilege level as the user, exposing their browser automation capabilities and potentially compromising their ...

Books are not too expensive

https://substackcdn.com/image/fetch/$s_!hUy8!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe114154a-203e-4f77-8eef-e876e56aff42_2048x1365.jpeg
Book prices have increased over time, but when adjusted for inflation, they are actually lower than expected. Publishers face high costs and low profit margins, making it difficult to cut prices without harming authors and the publishing industry.

I prompted ChatGPT, Claude, Perplexity, and Gemini and watched my Nginx logs

https://blog.surfacedby.com/wp-content/uploads/2026/04/nginx-access-log.png
What nginx logs actually prove about AI traffic from ChatGPT, Claude, and Perplexity, plus why Google's AI crawlers leave a different signal than the others.

All your agents are going async

https://zknill.io/img/http-sse-agent-transport.svg
The current limitations of HTTP-based chatbots are being addressed by new features such as async agents, workflows, and durable state storage, but these solutions still rely on polling or HTTP requests for notifications. A more robust solution is needed, such as a durable transport and state solution, which is being developed by Ably, a company building a session-based platform for AI agents.

Figma's woes compound with Claude Design

https://martinalderson.com/img/og/figma-s-woes-compound-with-claude-design.png
Figma is vulnerable to disruption from AI-powered design tools like Claude Design, which can perform design tasks with ease. Figma's reliance on expensive AI inference and large employee base makes it difficult to compete with smaller teams inside frontier labs.

U.S. banks may soon collect citizenship data from customers

https://image.cnbcfm.com/api/v1/image/108292102-4ED3-REEQ-INVEST-BESEENT-041526.jpg?v=1776285846&w=750&h=422&vtcrop=y
Treasury Secretary Scott Bessent says banks will be required to collect citizenship data as part of a new executive order. Bessent argues that verifying customer status is necessary for banks to comply with "know your customer" rules.

Theseus, a Static Windows Emulator

The user discusses the challenges of Windows emulation and proposes a new approach called static binary translation, which involves compiling x86 code into native machine code ahead of time using a compiler. This approach has several benefits, including improved performance, easier development, and the ability to use native debugging tools, but also has technical and cultural challenges, such ...

NASA Artemis Posters

https://images-assets.nasa.gov/image/Artemis%20Logo%20Color%20Positive%20RGB-July%202021/Artemis%20Logo%20Color%20Positive%20RGB-July%202021~orig.jpg?w=1528&h=1424&fit=clip&crop=faces%2Cfocalpoint
With Artemis missions, we are exploring the Moon for scientific discovery, technology advancement, and to learn how to live and work on another world as we prepare for human missions to Mars.

Show HN: Alien – Self-hosting with remote management (written in Rust)

Self-hosting breaks down when customers modify software settings, making it hard to debug issues. A better model allows developers to operate software in customers' environments while maintaining control.

The Theory of Interstellar Trade [pdf] (1978)

Stripe's Payment APIs: the first 10 years (2020)

https://stripe.dev/dev_social.jpeg
Abstracting away the complexity of payments has driven the evolution of our APIs over the last decade. Learn more about Stripe payments APIs here.

The Palantir's Stasi Protocols

https://professorsigmund.com/images/Palantir_BLOOD_CARVED.jpg
A private company Palantir is working with the government to develop a system for mass surveillance and control, using data from various sources including social media, financial transactions, and biometric data. The system, known as the Fair Social Score, is being developed to predict and neutralize individuals deemed a threat to society, raising concerns about the erosion of individual ...

Desmond Morris has died

https://ichef.bbci.co.uk/news/480/cpsprodpb/317a/live/6b90c220-70e7-11ef-bb5b-c361f7cd4381.jpg.webp
Desmond Morris was a zoologist and surrealist painter who wrote The Naked Ape, a book that framed modern humans as ape-like despite technological advances. He popularised science through his books and TV shows, including The Human Animal, which explored human customs and their biological roots.

Verus is a tool for verifying the correctness of code written in Rust

Verus is a tool for verifying Rust code correctness using computer-aided theorem proving. It extends Rust's syntax with new concepts for writing specifications and proofs.

Anduril, Palantir and SpaceX are changing how America wages war

https://www.economist.com/cdn-cgi/image/width=1424,quality=80,format=auto/content-assets/images/20260418_WBP503.jpg
America learns costly lessons from T war, including the economics of using traditional weaponry against cheap drones. The US underestimates foreign beliefs and values, leading to frequent truce breakages.

Show HN: Ctx – a /resume that works across Claude Code and Codex

https://opengraph.githubassets.com/d2a84cffa9f2b2d24bf6b7afc6976c335bc1150735f155d81915ae378f2024af/dchu917/ctx
ctx manages workstreams for conversations, allowing branching, pinning, and inspecting saved entries. It supports resume, branch, and curate commands for managing workstreams and their linked sessions.

A Pascal's Wager for AI doomers

https://i0.wp.com/craphound.com/images/16Apr2026.jpg?w=840&ssl=1
The user discusses AI, criticizing the idea that it will become superhuman and cause chaos, instead arguing that corporations and their technologies pose a greater threat to humanity. They propose building "international digital public goods" to counter the influence of corporations and create a more equitable and transparent internet.

Tracking when Trump chickens out

https://www.thetacotracker.com/favicon-512.png
A satirical public ledger tracking every time President Trump announces a drastic threat, tariff, or ultimatum and then backs down.

Modern Board Games: and why you should play them (2022)

https://cf.geekdo-images.com/PZ2ZmsDpJFXzeoBMz8_ktg__large/img/VAriUB08ImRXkzgCkvyCXw4hOEo=/fit-in/1024x1024/filters:no_upscale():strip_icc()/pic6627813.jpg
The user presented a team with an introduction to modern board games, dispelling common misconceptions that there are only a few board games and that they are only for children. They highlighted the diversity and complexity of modern board games, encouraging the team to try them out for their social, intellectual, and entertaining benefits.

A printing press for biological data

https://substackcdn.com/image/fetch/$s_!2QeQ!,w_150,h_150,c_fill,f_auto,q_auto:good,fl_progressive:steep,g_center/https%3A%2F%2Fsubstack-video.s3.amazonaws.com%2Fvideo_upload%2Fpost%2F189602943%2Fb05cc493-3d2c-4a5b-9395-b82e0156b59d%2Ftranscoded-1772464639.png
Sterling Hooten, founder of Iku Bio, is developing a microfluidic bioreactor that uses printed circuit boards to culture, sense, and stream biological data in real-time, increasing experimental throughput by 10,000x at a 100x lower cost. Media optimization, a crucial step in biologics manufacturing, involves adjusting the composition and timing of cell culture media to optimize cell growth ...

macOS 27 won’t be supporting Intel anymore

Something went wrong, but don’t fret — let’s give it another shot. Some privacy related extensions may cause issues on x.com. Please disable them and try again.

A cache-friendly IPv6 LPM with AVX-512 (linearized B+-tree, real BGP benchmarks)

https://opengraph.githubassets.com/98852acd1998ecb85886f803cf60163d7bdfffa22abc8cd4a4bd2a9778315c16/esutcu/planb-lpm
PlanB is a linearized B+-tree IPv6 lookup algorithm with AVX-512 SIMD and a scalar fallback. It is a portable, tested, and permissively licensed library for research, teaching, and production software.

NASA had to train Apollo 11's astronauts to not use profanity (2019)

https://www.columbian.com/wp-content/themes/columbian3/static/img/og/default-2026-3.jpg
Apollo 10 astronauts used profanity 230 times during their mission in May 1969. In contrast, Apollo 11 astronauts used profanity fewer than 15 times during their moon-landing mission.

Colorado River disappeared record for 5M years: now we know where it was

We’re checking your connection to prevent automated abuse

Show HN: A lightweight way to make agents talk without paying for API usage

The user created a simple workflow to make coding agents interact without APIs or extra dependencies, using existing subscription plans and CLI invocations to preserve conversation history. This workflow allows agents to collaborate and produce multiple perspectives, but its limitations include visibility and potential for polished hallucinations rather than actual improvements.

AI chatbots could be making you stupider

https://ichef.bbci.co.uk/images/ic/480xn/p0nf446c.jpg.webp
Researchers warn that relying on AI for cognitive tasks may lead to cognitive decline and loss of creativity. Studies show that using AI tools can reduce brain activity and impair memory, with long-term implications for cognitive health.

The great Scouse pasty war

https://storage.ghost.io/c/4f/e8/4fe85857-4e43-4842-9f7e-9fdd015dbe93/content/images/size/w1304/format/webp/2025/06/Artboard-1--9-.jpg
Sayers, a Liverpool institution, declined due to a combination of factors including cost-cutting, loss of family ownership, and failure to adapt to changing consumer habits. Greggs, a Newcastle-based bakery chain, overtook Sayers through strategic acquisitions and innovative marketing.

Show HN: Holos – QEMU/KVM with a compose-style YAML, GPUs and health checks

https://opengraph.githubassets.com/709a071cedac94749104a8b836c080216b3d9df0211081a47db2f10e735b28e6/zeroecco/holos
Docker compose for KVM allows defining multi-VM stacks in a single YAML file without libvirt or XML, using a VM as the primitive and every workload instance getting its own kernel boundary and cloud-init seed. The holos tool supports features like healthchecks, SSH key injection, and GPU passthrough, and can also import existing libvirt domains into holos format.

The Uncanny Valley and the Rising Power of Anti-AI Sentiment

https://localscribe.co/assets/logo/localscribe-logo.png
Public sentiment towards AI is growing negative due to repeated exposure to AI's near-human but hollow systems triggering social mismatch and aversion. Experts and the public evaluate AI differently, with experts focusing on capability and utility, while the public experiences AI as disruption and threat.

Tim Cook Stepping Down as Apple CEO, John Ternus Taking Over

https://techcrunch.com/wp-content/uploads/2026/01/tim-coook-apple-tv-GettyImages-2235568147-1.jpg?w=1024
Tim Cook will step down as Apple CEO on September 1, transitioning to Executive Chairman, with John Ternus taking over as CEO. Cook praises Ternus as a visionary leader with integrity and the right person to lead Apple into the future.

My practitioner view of program analysis

The author discusses the challenge of proving software correctness, realizing that it's impossible to know if a program does what people intend due to the semantic gap between code and human understanding. Program analysis, particularly static analysis, can help bridge this gap by providing answers to questions about a program's behavior.

Tim Cook Stepping Down

https://images.macrumors.com/t/bbb9-63GOpljygN6O5yti_qjbMQ=/400x0/article-new/2025/09/Tim-Cook-Rainbow.jpg?lossy
Apple CEO Tim Cook is stepping down, with John Ternus taking over as CEO on September 1, 2026. Cook will transition to chairman of the board, assisting with certain aspects of the company.

Effectful Recursion Schemes

The user discusses implementing recursion schemes in Effekt, a functional programming language, using effects and handlers instead of infinite recursive types. They showcase various examples of catamorphisms, anamorphisms, and hylomorphisms in Effekt, including a refunctionalized variant of a Term data structure and its applications.

Kimi K2.6: Advancing Open-Source Coding

Something went wrong, but don’t fret — let’s give it another shot. Some privacy related extensions may cause issues on x.com. Please disable them and try again.

I don't chain everything in JavaScript anymore

https://allthingssmitty.com/img/posts/sunset-home-office-min.jpg
Using chained methods like map and filter can lead to complex pipelines that are hard to debug and understand. Breaking code into explicit steps is often clearer and more maintainable, especially for large arrays or complex logic.

Anonymous credentials: an illustrated primer (Part 2)

https://blog.cryptographyengineering.com/wp-content/uploads/2026/03/image-9.png?w=700
Privacy Pass is a widely used anonymous credential system that allows users to access websites without sacrificing their privacy, and it's used by companies like Apple, Google, and Cloudflare. The system uses a simple protocol that issues single-use "wristband" credentials, which can be bound to specific applications or time periods, and it's designed to be fast and secure.

Offshore tax tricks likely saved Tesla hundreds of millions

Please enable JS and disable any ad blocker

Fields Medal Video: Maryna Viazovska (2022)

https://simonsfoundation.imgix.net/wp-content/uploads/2022/07/05084049/Fields-Medal-4-Featured-Image-07-05-22.jpg?auto=format&q=90
Maryna Viazovska solved the sphere packing problem in eight dimensions using the E8 lattice and made progress in Fourier analysis. She presented her findings at the 2022 International Congress of Mathematicians in Helsinki.

Rumor: Anthropic is going to buy Atlassian?

User needs to register or sign in with developer credentials and ensure a unique User-Agent string to access the application. Alternatively, try resetting to default User-Agent or file a ticket for assistance.

Rip language. Compiles to ES2022. Built-in reactivity

https://raw.githubusercontent.com/shreeve/rip-lang/main/docs/assets/rip-1280w.png
Rip is a modern language inspired by CoffeeScript, compiling to ES2022 with built-in reactivity and a self-hosting compiler. It adds new operators and features like schema declarations, interactive REPL, and a UI framework for building web applications.

Expansion Artifacts

https://mattstromawn.com/images/expansion-1.jpg
Compression algorithms discard imperceptible data to reduce file size, but this can lead to permanent changes and artifacts that can be used for digital forensics. AI-generated content also has expansion artifacts, which are the result of extrapolating from a lossy source, and can become aesthetic choices or pose a risk when compounding.

A History of Erasures Learning to Write Like Leylâ Erbil

The author initially dismissed Leylâ Erbil's work as outdated and self-indulgent, but later reevaluated her experimental novel "What Remains" as a powerful challenge to literary conventions in Turkey. Erbil's autofiction explores Turkish history, politics, and identity through a stream-of-consciousness narrative that blurs the lines between personal and public trauma.

Users unable to load ChatGPT, Codex and API Platform

We are investigating the issue for the listed services. Impacted users are currently unable to access ChatGPT, Codex and API Platform.

The race to build the next WordPress

https://opencomputer.dev/social-preview.png
The user draws parallels between the early days of the internet and the current state of AI agents, suggesting that a similar "agentic workload" concept is missing, much like WordPress provided a layer above web servers. The user predicts a "Cambrian explosion" in purpose-built agent harnesses, with a few winning solutions becoming as ubiquitous as WordPress, allowing organisations to have ...

Contra Benn Jordan, data center (and all) sub-audible infrasound issues are fake

https://substackcdn.com/image/fetch/$s_!R56J!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fab4a2bf1-0ee3-451d-9a66-779b47ae017b_612x387.jpeg
The video "Datacenters Behaving Like Acoustic Weapons" by Benn Jordan promotes a conspiracy theory that data centers emit harmful infrasound, but the claims are unfounded and contradict current scientific evidence. Infrasound is sound at very low frequency, and while it can be detected at high intensities, current evidence does not support major direct health effects below the perception threshold.

Rock carving facts

https://www.tanumworldheritage.se/wp-content/uploads/2023/05/ristningar-och-havsniva-1024x966.jpg
Rock carvings in Tanum, Sweden, date from 1,700 to 300 BCE and depict power, ritual, and warrior ideals. Over 600 known sites feature common motifs like ships, humans, and animals, but understanding their meaning remains a challenge.