Test, don't (just) verify

71 alpaylan 2025-12-23 13:53:15 UTC alperenkeles.com Llama Share 26

AI-assisted programming is raising hopes for formal verification, but it faces challenges like lack of formal specifications and proof engineering difficulties. Testing and formal verification can complement each other, and a combination of both is necessary to achieve software engineering ideals.

Adobe Photoshop 1.0 Source Code (1990)

290 tosh 2025-12-23 07:53:15 UTC computerhistory.org Llama Share 69

Thomas and John Knoll created Photoshop in the late 1980s, initially for personal use, which Adobe later licensed and distributed. The first version of Photoshop, released in 1990, had around 100,000 lines of code and was primarily written in Pascal for the Apple Macintosh.

Instant database clones with PostgreSQL 18

208 radimm 2025-12-23 08:53:15 UTC boringsql.com Llama Share 64

PostgreSQL's templating system allows for instant database cloning, but the default method can be slow for large databases. A new parameter, CREATE DATABASE ... STRATEGY = [strategy], was introduced in PostgreSQL 15, allowing for faster cloning with the FILE_COPY method, and further optimized in PostgreSQL 18 with the option to use CLONE operations on modern filesystems.

Executorch: On-device AI across mobile, embedded and edge for PyTorch

46 klaussilveira 2025-12-23 11:53:15 UTC github.com/pytorch Llama Share 3

ExecuTorch is a PyTorch solution for on-device AI deployment, offering privacy, performance, and portability. It supports direct export from PyTorch with native APIs and multiple hardware backends for seamless deployment.

Ryanair fined €256M over ‘abusive strategy’ to limit ticket sales by OTAs

79 aquir 2025-12-23 11:53:15 UTC theguardian.com Llama Share 101

Ryanair fined €256m by Italy's competition authority for limiting online travel agent sales. The airline's strategy hindered travel agencies and forced sales through its own website.

Font with Built-In Syntax Highlighting (2024)

69 california-og 2025-12-23 10:53:15 UTC blog.glyphdrawing.club Llama Share 10

The user created a hand-coded syntax highlighter by modifying an open-source font to include colored glyphs and using OpenType contextual alternates to substitute code syntax with contextual alternates, allowing for simple syntax highlighting without JavaScript. The result is a semi-flexible syntax highlighter that works in most modern browsers but has limitations, such as not supporting ...

Carnap – A formal logic framework for Haskell

69 ravenical 2025-12-23 09:53:15 UTC carnap.io Llama Share 14

Carnap is a free open-source framework for teaching formal logic written in Haskell. It powers logic courses at dozens of colleges worldwide.

10 years bootstrapped: €6.5M revenue with a team of 13

162 steffoz 2025-12-23 07:53:15 UTC datocms.com Llama Share 52

DatoCMS achieved 10% year-over-year revenue growth, reaching €6.5 million, and a 65% EBIT margin, placing it in the top 5% of SaaS companies globally. The company also migrated to a custom Kubernetes cluster on AWS, lowering infrastructure costs by over 25% and expanding Realtime API capacity by 10×.

Show HN: CineCLI – Browse and torrent movies directly from your terminal

215 samsep10l 2025-12-23 06:53:15 UTC github.com/eyeblech Full Share 79

Status is automatically monitored every 15 minutes. 🟢 Green = Operational • 🔴 Red = Outage / API Down

Snitch – A friendlier ss/netstat

251 karol-broda 2025-12-23 01:53:15 UTC github.com/karol-broda Llama Share 69

Snitch is a network connection inspector for humans, providing a clean TUI or styled tables. It can be installed via Nix or GitHub and offers various options for filtering and displaying connections.

It's Always TCP_NODELAY

391 eieio 2025-12-22 21:53:15 UTC brooker.co.za Llama Share 131

Enabling TCP_NODELAY is recommended for latency-sensitive distributed systems as it disables Nagle's algorithm, which can cause delays in sending data. The default behavior of Nagle's algorithm may not be suitable for modern systems, and TCP_NODELAY should be the default to improve performance.

Ask HN: What are the best engineering blogs with real-world depth?

185 nishilpatel 2025-12-23 09:53:15 UTC news.ycombinator.com Llama Share 58

You're looking for high-quality engineering blog posts that explain technical concepts clearly, show real implementation details, and tie engineering decisions back to business outcomes. You're disappointed that many tech company blogs lack RSS feeds, suggesting they're more marketing than genuine engineering blogs.

The Illustrated Transformer

433 auraham 2025-12-22 19:53:15 UTC jalammar.github.io Llama Share 79

The Transformer model uses attention to boost the speed of neural machine translation applications and outperforms the Google Neural Machine Translation model in specific tasks. It consists of an encoding component, a decoding component, and connections between them, with the encoder using self-attention and feed-forward neural networks to process input sequences.

Ultrasound Cancer Treatment: Sound Waves Fight Tumors

302 rbanffy 2025-12-22 19:53:15 UTC spectrum.ieee.org Llama Share 87

Researchers at the University of Michigan developed histotripsy, a noninvasive ultrasound treatment that destroys cancerous tumors without heat buildup. HistoSonics, a company founded by Zhen Xu, has commercialized the technology and received FDA approval for liver tumor treatment, with plans to expand to kidney and pancreatic cancer.

Partial inlining

33 hasheddan 2025-12-23 08:53:15 UTC xania.org Llama Share 1

The compiler splits process into two functions, a thin wrapper and an outlined cold path, to enable partial inlining. This approach avoids code bloat by duplicating only the lightweight check and arithmetic, while keeping the complex computation shared.

GLM-4.7: Advancing the Coding Capability

383 pretext 2025-12-22 18:53:15 UTC z.ai Llama Share 205

GLM-4.7 brings significant improvements in coding, UI quality, tool using, and complex reasoning capabilities. It also introduces new features like Interleaved Thinking, Preserved Thinking, and Turn-level Thinking for more stable and controllable complex tasks.

NIST was 5 μs off UTC after last week's power cut

308 jtokoph 2025-12-22 17:53:15 UTC jeffgeerling.com Llama Share 132

NIST's Boulder facility lost power due to wind gusts, causing a backup generator to fail and disrupting their main ensemble clock. The issue was resolved with power restored and backup power bridging the gap, with the clock remaining within 5 microseconds of UTC.

The Polyglot NixOS

94 todsacerdoti 2025-12-23 03:53:15 UTC x86.lol Llama Share 29

A colleague mentioned building NixOS images for multiple architectures. The goal is to create a single disk image that boots on x86_64, ARM AArch64, and RISC-V 64-bit UEFI platforms.

Claude Code gets native LSP support

475 JamesSwift 2025-12-22 16:53:15 UTC github.com/anthropics Full Share 284

Skip to content You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert You can’t perform that action at this time.

Inside CECOT – 60 Minutes [video]

994 lawlessone 2025-12-23 00:53:15 UTC archive.org Full Share 166

Sharyn Alfonsi's Inside CECOT for 60 Minutes, which was censored by Bari Weiss, as it appeared on Canada's Global TV app.

Debian adds LoongArch as officially supported architecture

114 cbmuser 2025-12-23 00:53:15 UTC lists.debian.org Llama Share 29

Loong64 has become an official Debian architecture and will be part of Debian 14. Initial bootstrap has started with 112 manually built packages and is expected to take about a week.

Our New Sam Audio Model Transforms Audio Editing

135 ushakov 2025-12-22 23:53:15 UTC about.fb.com Llama Share 47

SAM Audio is a state-of-the-art AI model that isolates specific sounds from complex audio mixtures using text, visual, and time span prompts. It supports three kinds of prompts and achieves cutting-edge performance across diverse scenarios.

The Garbage Collection Handbook

248 andsoitis 2025-12-22 19:53:15 UTC gchandbook.org Llama Share 31

The Garbage Collection Handbook is a comprehensive guide to automatic memory management, covering state-of-the-art techniques and new challenges in garbage collection. It provides expert insight and knowledge for programmers to select and configure garbage collectors effectively.

Classical billiards can compute (2d billiard systems are Turing complete)

18 nabla9 2025-12-23 10:53:15 UTC arxiv.org Llama Share 2

Two-dimensional billiard systems are Turing complete due to their encoded dynamics in Topological Kleene Field Theory. This establishes undecidable trajectories in physically natural billiard models.

Solving the Problems of HBM-on-Logic

13 zdw 2025-12-23 10:53:15 UTC morethanmoore.substack.com Llama Share 0

Imec presented a paper at IEDM 2025 on breaking thermal bottlenecks in 3D HBM-on-GPU integration. The study used a theoretical multiphysics model to create a detailed thermal heat flow template for a 3D GPU design.

Flock Exposed Its AI-Powered Cameras to the Internet. We Tracked Ourselves

707 chaps 2025-12-22 16:53:15 UTC 404media.co Llama Share 429

Flock's AI-enabled Condor cameras were exposed to the open internet, allowing anyone to watch livestreams and access video archives. The cameras can zoom in on people's faces and track individuals, raising concerns about privacy and potential abuse.

FPGAs Need a New Future

213 thawawaycold 2025-12-22 22:53:15 UTC allaboutcircuits.com Llama Share 135

FPGA development is limited by outdated proprietary software, hindering their full potential. Embracing open-source tools could modernize FPGA development and unlock their flexibility and efficiency.

The Duodecimal Bulletin, Vol. 55, No. 1, Year 1209 [pdf]

55 susam 2025-12-23 03:53:15 UTC dozenal.org Llama Share 25

The Dozenal Society of America is a nonprofit organization promoting base twelve in calculations and mathematics. Gene Zirkel, a devoted member, led the Society's revival and growth through his passion and leadership.

Scaling LLMs to Larger Codebases

283 kierangill 2025-12-22 16:53:15 UTC blog.kierangill.xyz Llama Share 111

LLMs improve engineering by focusing on guidance and oversight, especially in greenfield projects, and scaling them to larger codebases requires understanding their contributions to engineering. Effective LLM use requires a prompt library, verification, and oversight to ensure quality and consistency in software development.

Are We Loong Yet?

13 todsacerdoti 2025-12-23 10:53:15 UTC areweloongyet.com Full Share 6

Your one-stop portal for following LoongArch upstream work