The Ultimate Keyboard

Fretboard Memorisation with Modular Arithmetic

Simplify AI agent orchestration with Lakebase Postgres

IntroductionTraditionally, auditing is a tedious process that often requires detailed...

Malleable Computing, Emacs, and You

Four top proof assistants get normalized benchmarks

Languages as designed latent spaces

Languages as designed latent spaces

Learning programming and i choose rust.

I'm stubborn ik, people often jump from other languages like c or python, java to rust but I wasted a lot of time and decided to go the hardest way.. till now I didn't feel like that.. but still if I say why i choose it? idk I see the future with this language probably.. if i learn python or other languages now the market is already filled with all roles.. rust has less jobs in my country but I'd at least try outside right so. I'm learning basics from scratch the system works and how to code.. a

Everyone Should Know SIMD

Optimize your apps for the next generation of Samsung Galaxy devices

Posted by Fahd Imtiaz, Senior Product Manager and Miguel Montemayor, Developer Relations Engineer, Android Developer ExperienceToday at Galaxy Unpacked, Samsung unveiled its latest lineup of foldable and wearable devices. For developers, this means that the variety of form factors, screen sizes, and device postures your app needs to support is expanding once again. With devices like the Galaxy Z Fold8, the ecosystem is expanding to include hardware with a landscape-first natural orientation and

A privacy-first macOS meeting-notes and writing app that runs on-device

Announcing Topcoat: a framework for building full-stack reactive web apps with Rust

Show HN: DeepSQL – A self-hostable AI DBA agent for Postgres and MySQL

Spatial languages: Writing code in 2D

Securing Infrastructure at Scale: Introducing Pinterest’s Resource Provisioner Pipeline (RPP)

Ammar Ekbote | Senior Software EngineerChan Kim | Senior Software EngineerManaging Infrastructure as Code (IaC) across a massive organization comes with a unique set of security and logistical challenges, particularly when operating within a distributed, multi-repository architecture. At Pinterest, we designed the Resource Provisioner Pipeline (RPP), our specialized, proprietary Terraform execution engine to safely manage both critical and non-critical infrastructure changes.In this post, we wi

Launch HN: Unlayer (YC W22) – Add email and document builders to your app

Six questions before you add an LLM

PostgreSQL as a Temporal Database

LLMs produce plausible noise

I know everyone and their dog is writing about LLMs, and since I refuse to use them you probably shouldn't listen to me, but I have recently solidified some of my thinking about them and thought it might be useful to share. None of this makes any difference to the disastrous ethical position of LLMs, but it has helped me understand them a bit more, and fear them a bit less. Background: the shape of search spaces My PhD was in using artificial evolution to design neural networks that performed co

Gemini’s Technology Recommendations for a Publishing Platform

AI-generated image of a robot writing a blog article Going through my recent technical conversations with AI about various architecture and technology choices, I thought I would post this one first. It’s a shorter conversation, but is still typical of the discussions I’ve had. In this case, it’s about the technology and architecture choices that would work well for a publishing platform. Given my interest in blogging and the fact that I currently have four more or less active blogs a

Easily Develop AWS Lambda MicroVM Sandbox Architectures

AWS Lambda MicroVMs are a new compute primitive for running untrusted and agent-generated code in fully isolated Firecracker virtual machines. The Serverless Framework brings them into serverless.yml as Sandboxes, with one-command deploys and a full local MicroVMs emulator so you can build and test before you ship.

Not just development, distribution of software may change as well

Even if you are as averse to semver as I used to be in the course of my programming activity, you can still think of open source software distribution as something that used to follow a fixed number of steps. There is a branch where developments happen, and this branch oftentimes happens to be not really ready for reliable work. Then you freeze the developments for a certain amount of time (even if, in the meantime, the work can continue on some new unstable branch), fix bugs, ask people to test

optimization of SASS stall counts

Optimal instructions scheduling is NP-hard task. For this reason almost all compilers implement metaheuristic methods like list scheduling/Gibbons–Muchnick algorithm etc. ptxas is not exception - it also generates non-optimal scheduling, and this opens some opportunity for automatic optimization. Here I want to present scheduling model for SASS, tool for optimization of stall counts for binary CUBIN files, achieved results and possible direction for further improvementsFirst version Has name d

The startup's Postgres survival guide

I Built a Private Genomics Study with Stoffel MPC

How to scale e-commerce revenue with deep learning programmatic retargeting?

Learn how deep learning programmatic retargeting boosts e-commerce ROAS with automated product catalogs, dynamic ads, and real-time bid optimization. Continue reading How to scale e-commerce revenue with deep learning programmatic retargeting? on SitePoint.

OpenNode – Bitcoin Payment Processor

Building multi-Region resiliency for AWS CloudFormation custom resource deployment

AWS CloudFormation is the foundational tool of infrastructure-as-code for thousands of organizations running workloads on AWS. But as teams push the boundaries of what CloudFormation can do natively, custom resources have emerged as a powerful extension mechanism that unlocks a broad range of possibilities. Yet, when it comes to building resilient, multi-Region deployments with custom resources, customers quickly discover a gap: there is no built-in multi-Region support. In this post, we will ex

What is your opinion on python?

Hello rust community, I’m coming from fullstack JavaScript and hoping to upgrade node.js to rust. Im also learning data science and ai and that community is dominated by python. As a rust developer, what is your opinion on python when you can script in rust natively? I don’t want to be learning both rust AND python AT THE SAME TIME. If you had to choose, which one and why? I’m thinking rust, which is natively suited to do heavy computation and prompt python if I have a specific use case w

Building Ridgeline: Engineering a Real-Time 3D Experience in Webflow

A behind-the-scenes look at the engineering behind Ridgeline, covering the architectural decisions, Webflow integration, real-time terrain rendering, animation techniques, and performance optimizations that brought a cinematic 3D experience to life.

Tool-Agnostic Python Lock Files With PEP 751 and pylock.toml

The Python lock file, pylock.toml, records exact dependencies your project needs so installs come out the same every time. It isn’t the first of its kind, though—most modern package tools already define their own lock formats. This has led to a fragmented landscape where reproducibility is often limited to a single tool’s workflow, with each ecosystem effectively speaking its own lock file dialect. From this fragmentation comes a shared standard: pylock.toml. Defined in PEP 751, pylock.tom

Architecting offline-first generative AI applications for edge deployments using AWS services

According to Siemens’ 2024 report The True Cost of Downtime, Fortune 500 companies lose an estimated $1.4 trillion annually because of unplanned downtime. This downtime is often worsened by a lack of skills to detect and resolve issues quickly. Generative AI offers a promising path to address this, but deploying these capabilities in industrial environments introduces a distinct architectural challenge: how do you bring the power of large-scale AI to locations where cloud connectivity is unrel

gitnibble, a small offline .gitignore tool i built in rust. would appreciate any feedback :)

Hey everyone, I got tired of going to gitignore.io every time I started a new project, so I put together a small terminal tool called gitnibble. It scans your project folder, tries to figure out what languages, frameworks, and tools you're using, and helps you build a .gitignore from there. There's a simple TUI, and also a plain CLI if you'd rather script it. A few things I focused on while building it: Works fully offline. All the templates (around 60 languages, frameworks, and tools) are embe

NVIDIA Open Sources First GPU-Accelerated Medical Physics Simulation Framework

Before a healthcare robot can be useful in the real world, it has to learn how the physical world pushes back. Anatomy varies. Instruments bend, press, slip and interact with tissue. Imaging can be noisy or incomplete. And the rare, edge scenarios developers most need to understand don’t appear on schedule. That creates one of the biggest bottlenecks in healthcare robotics: obtaining the enormous amount of varied data developers need to train, test and improve robot behavior.   NVIDIA Medica

Nobody needs Kubernetes for eleven users

Learning Path: FastAPI: Python API Development With Light Speed

Learn FastAPI from the ground up. Build REST APIs, serve web pages with Jinja2 templates, and create a complete URL shortener project in Python. [ Improve Your Python With 🐍 Python Tricks 💌 – Get a short & sweet Python Trick delivered to your inbox every couple of days. >> Click here to learn more and see examples ]

Quiz: Tool-Agnostic Python Lock Files With PEP 751 and pylock.toml

In this quiz, you’ll test your understanding of Tool-Agnostic Python Lock Files With PEP 751 and pylock.toml. By working through these questions, you’ll revisit how to generate a pylock.toml with pip, what its wheel metadata and hashes give you, how it compares to requirements.txt, and how tools like uv and pdm share the same lock file. A solid grasp of reproducible, tool-agnostic installs will help you keep your projects consistent across machines and tools. [ Improve Your

Quiz: FastAPI: Python API Development With Light Speed

In this quiz, you’ll revisit the core concepts covered in the FastAPI: Python API Development With Light Speed learning path: Learning Path FastAPI: Python API Development With Light Speed 5 Resources ⋅ Skills: FastAPI, REST APIs, Web Development, Jinja2 You’ll touch on installing and running FastAPI, defining routes and path parameters, validating input with Pydantic, mapping CRUD operations to HTTP

Introduction to Formal Verification with Lean Part 1

Shape-shifting mirrors on NASA’s new space telescope could unveil Jupiters like our own

When NASA’s Nancy Grace Roman Space Telescope launches, as early as the end of next month, it will attempt one of astronomy’s most precise disappearing acts to date. The telescope will carry the first space-bound “active” coronagraph, an instrument that effectively erases most of the light from a star during photography. It will allow astronomers to take the first pictures of planets orbiting other stars that are similar to those in our solar system. Ultimately, it could pave the way for

Atomically Thin Materials Significantly Shrink Qubits

UK Cybercrime Journal: H1 2026 Dark Web Seizures & Arrests

What HappenedNemesis Dark Web Drug Dealers ArrestedOn 14 May 2026, two Cambridgeshire drug dealers were sentenced after being arrested in July 2024 by the Eastern Region Special Operations Unit (ERSOU).ERSOU officers recovered Royal Mail parcel labels, order lists, Gorgonites-branded packaging, and a USB memory stick containing login credentials for multiple dark web marketplace accounts.The dealers reportedly used the dark web to supply heroin, cocaine, and amphetamine to hundreds of users acro

Paul Jungwirth: TQuel Paper

With UPDATE/DELETE FOR PORTION OF looking like it will land in Postgres 19, I’ve been thinking about next steps. I read a very helpful paper on temporal relational algebra last May by Richard Snodgrass. Here are some notes on it. The paper was “An Overview of TQuel”. It’s Chapter 6 in Temporal Databases: Theory, Design, and Implementation from 1993. TQuel was an extension to Quel, the query language for Ingres. Ingres, of course, was the predecessor to Postgres! My main motivation rea

I built a digital logic circuit simulator in Rust (egui/eframe)

r/rust - I built a digital logic circuit simulator in Rust (egui/eframe) Hey! I wanted to share a project i made for logic simulation nearly 100% rust and complied to WASM for some blazing fast in browser run times. here's the link if you want to check it out: https://theta-rnd.itch.io/logic-sim if you do would LOVE to hear your feed back thanks! submitted by /u/ProfessionalAnt5255 [link] [comments]

BatchDAG: LLM-Planned Execution Graphs for Scalable Ad-Hoc Analysis Over Enterprise Data

arXiv:2607.18241v1 Announce Type: new Abstract: Large language models (LLMs) excel at analyzing individual documents but break down on exhaustive, cross-entity analytical questions over enterprise-scale datasets due to context overflow, loss of per-entity attribution, and linear latency from sequential tool calls. We present BatchDAG, a system in which an LLM generates a typed directed acyclic graph (DAG) of operations -- SQL queries, semantic searches, in-memory transforms, parallel fan-outs,

The Miso That Went to Space

Almost Went Back: One Month on NixOS

Furtex: Post-exploitation, rootkit and evasion research toolkit for Linux

How AI Reduced Customer Bug Triage from Nearly a Year to Less Than a Week

In our Engineering Energizers Q&A series, we highlight the engineering minds driving innovation across Salesforce. Today, we spotlight Priya Sethuraman, Director of Software Engineering. Priya leads the Sales Cloud BugWiser initiative, an AI-powered system that standardizes customer bug classification and transforms customer bug signals into faster engineering action. By combining a custom machine learning model with a large language model (LLM), BugWiser reduced customer bug triage time from mo

Hardening Rust Code For Production | corrode Rust Consulting

A digestion of the Jacobian conjecture counterexample

Unified power-user environment and knowledge-representation in Common Lisp

How to Cross the AI Code Productivity Divide

When AI coding tools debuted, the productivity promise dazzled. However, in the four years they’ve been publicly available, both researchers and developers find the actual productivity benefits are mixed, at best. While AI coding tools accelerate tasks such as prototyping and the development of boilerplate and repetitive code, the same tools actually slow down developers when they are debugging complex or runtime issues, writing code that is security-sensitive, and reviewing and debugging A

Questions and answers on AI and verification: a follow-up to my May ACM Tech Talk

On May 7, I gave a well-attended ACM Tech talk on “Software Verification in the Age of Artificial Intelligence”. There were more questions at the end than I had the time to answer, but I promised the participants that I would answer everything. In the meantime I had to finish my book AI for Smarties: ... Read more The post Questions and answers on AI and verification: a follow-up to my May ACM Tech Talk appeared first on Bertrand Meyer's technology+ blog.

How Dow Built a Carbon Footprint Ledger on Databricks to Accelerate Sustainability at Scale

Why we built the Carbon Footprint LedgerAt Dow, our ambition is to be the most innovative,...

Why R&D Data Belongs in the Lakehouse - and Why Agents Need It There

The setupAt cellcentric, a joint venture of Daimler Truck and Volvo Group, we develop...

Show HN: Language Model Builder (an app to learn about and build models)

Show HN: In Meeting – A native macOS Mic/Cam observer for home automation

From Demo to Production: Self-Hosting LLMs with Ollama and Docker

Running Llama 3 locally is easy. Running it reliably in production with load balancing, model caching, and monitoring? That requires architecture. Continue reading From Demo to Production: Self-Hosting LLMs with Ollama and Docker on SitePoint.

Using Nagios for small business infrastructure monitoring

Cheap Self-Hosted Kubernetes on Hetzner Cloud

Show HN: OSS Cross-Harness self hosted registry and analytics for AI Agents

Uhubctl – control USB power per-port on smart USB hubs

Local Privilege Escalation in set-capabilities versions of snap-confine (CVE-2026-8933)

Rogallo v1.0.0

Thirty-three days ago, back on the 18th of June, I created a development directory called rogallo, and started adding dependencies and laying out the main user interface of Rogallo. It's been tons of fun working on it while exploring Geminispace. Given that it's quickly turned into my daily driver, and I'm finding it stable, I've decided it's time to drag it out of the 0verse and consider it worthy of being v1.0.0. I was going to hold off a little longer, mainly because I wanted to flesh out th

Apache Spark 4.2: Making Your Data AI‑Developer Friendly

My USB Drive Has a Hidden Encrypted Vault

Meta's AI Models Are Powering the First Wave of Genesis Mission Projects

Build intelligent Android apps: On-device inference

Posted by Caren Chang, Developer Relations Engineer, Android Developer RelationsWelcome back to the blog post series "Build intelligent Android apps" where we take a basic Android app and transform it into a personalized, intelligent, and agentic experience. In our previous post we introduced Jetpacker, the demo app we'll use throughout this series. In this blog post, we will share how you can use Gemini Nano through ML Kit’s Prompt API to build intelligent on-device features. Building

Build intelligent Android apps: Integrate into Android's intelligence system using AppFunctions

Posted by Ben Weiss, Senior Developer Relations Engineer, Android Developer RelationsWelcome back to the blog post series "Build intelligent Android apps" where we take a basic Android app and transform it into a personalized, intelligent, and agentic experience. In our previous post, we explored how to leverage Firebase AI Logic to build cloud-hosted and hybrid AI features.Traditional mobile UIs excel at focused, hands-on tasks, and the Android intelligence system is introducing complementary

Build intelligent Android apps: Introduction to Jetpacker

Posted by Jolanda Verhoef, Senior Developer Relations Engineer, Android Developer RelationsBuilding GenAI features in your app usually means navigating through various models, APIs and architecture choices:  Execution location: Where does your model run? On device, in the cloud, or both? Complexity: How complex is your setup? Are you doing a single inference call or do you need a more agentic flow? In-app or Android System: Should your feature be built into your Android app or does it f

Build intelligent Android apps: Cloud and hybrid inference

Posted by Thomas Ezan, Jolanda Verhoef, Caren Chang, Senior Developer Relations Engineers, Android Developer RelationsWelcome back to the blog post series "Build intelligent Android apps" where we take a basic Android app and transform it into a personalized, intelligent, and agentic experience. In our previous post we explored how to build intelligent on-device features using Gemini Nano through ML Kit's Prompt API. In this post, we will look at how you can leverage Firebase AI Logic to build

Claude Is Not a Compiler

Built for Vera Rubin, NVIDIA Spectrum-6 Arrives in Gigascale AI Factories

AI has entered the gigascale era. The world’s most advanced AI factories are bringing together hundreds of thousands of GPUs and CPUs to train frontier models, power agentic AI and generate intelligence at unprecedented scale. At this level, networking becomes a critical computing power multiplier in driving token generation. Marking a networking milestone, NVIDIA Spectrum-6 — a 102.4-terabit-per-second Ethernet switch system delivering 2x the capacity of previous-generation systems and buil

PCjs Machines

Exploring Python's Built-in Functions

Python’s built-in functions are predefined functions you can use anywhere in your code without any imports. They handle common tasks across math, data type creation, iterable processing, and input and output. Knowing which ones to reach for makes your code shorter and more Pythonic. In this video course, you’ll: Recognize Python’s built-in functions and the built-in scope they live in Use the right built-in for tasks involving math, data types, iterables, and I/O Distinguish real function

Fragments: July 21

With this post, I’ll wrap up my notes from the second Future of Software Development Retreat. But before I do, I should note that the full Thoughtworks report on the retreat is now available. They have five headline findings: Code generation is no longer the bottleneck — verification is. ‘Harness engineering’ is emerging as a distinct, ownable discipline. Organizations are colliding with a real apprenticeship crisis. The executive/engineer expectation gap is a bigge

Magnetic Commerce: Building the Dash Creative Website

How a simple branding concept shaped the interaction design, animation, and WebGL implementation of the Dash Creative website.

PHP Attributes: What, Why, How and When

A deep dive into PHP attributes, from metadata and Reflection to practical design patterns, Laravel examples, performance, testing, and the cases where explicit code is better. Read more

Drogon Install

drogon is a fast C++ web framework. Some build notes: sudo apt install git cmake build-essential sudo apt install libjsoncpp-dev uuid-dev zlib1g-dev libsqlite3-dev \ libc-ares-dev dia libyaml-cpp-dev libssl-dev libbrotli-dev git clone https://github.com/drogonframework/drogon cd drogon git submodule update --init mkdir build cd build cmake .. make sudo make install Create a project: drogon_ctl create project project_name cd project_name/build cmake .. make cd .. # run project, default

Linux From Scratch Installation Notes