Software Engineering
Software Engineering news — Thursday 05 November 2026
85 stories from 7 sources, every one in English. Each links to its publisher.
-
A primer on GPUs and kernel optimization
Article URL: https://www.nabo.dev/blogs/kernel-primer Comments URL: https://news.ycombinator.com/item?id=50386246 Points: 132 # Comments: 12
-
I Go to Olympics of 4KB Coding
Comments
-
Cuban: Facebook knowingly runs AI deepfake scam ads; docs say $16B fraud revenue
Article URL: https://finance.yahoo.com/technology/ai/articles/mark-cuban-says-facebook-knowingly-213000020.html Comments URL: https://news.ycombinator.com/item?id=50385870 Points: 437 # Comments: 201
-
Claude Code sends your email address to websites
Article URL: https://github.com/anthropics/claude-code/issues/107757 Comments URL: https://news.ycombinator.com/item?id=50385272 Points: 1472 # Comments: 455
-
A Quick Guide to Go's Assembler
Comments
-
MS Paint Remote Code Execution Vulnerability
Article URL: https://www.cve.org/CVERecord?id=CVE-2026-83844 Comments URL: https://news.ycombinator.com/item?id=50384233 Points: 669 # Comments: 250
-
Kagi Search for Everyone
Article URL: https://kagi.com/changelog#11820 Comments URL: https://news.ycombinator.com/item?id=50383740 Points: 602 # Comments: 312
-
Goodbye from Salon
Article URL: https://www.salon.com/2026/11/05/goodbye-from-salon/ Comments URL: https://news.ycombinator.com/item?id=50383739 Points: 576 # Comments: 222
-
Pangram Image 1.0
Article URL: https://www.pangram.com/blog/introducing-pangram-image-1-0 Comments URL: https://news.ycombinator.com/item?id=50383294 Points: 116 # Comments: 55
-
Hungary: Communist-era files released, up to 60k former agents revealed
Article URL: https://www.euronews.com/2026/11/04/hungary-communist-era-files-opened-up-to-60000-former-agents-revealed Comments URL: https://news.ycombinator.com/item?id=50383163 Points: 179 # Comments: 41
-
The Hackintosh Reborn
Article URL: https://www.naut.ca/blog/2026/11/05/the-hackintosh-reborn-with-ai/ Comments URL: https://news.ycombinator.com/item?id=50383057 Points: 380 # Comments: 220
-
SourceHut disabled registration bypass | CVE-2026-121728
Comments
-
Can 23,000 quantum qubits break RSA-2048?
Comments
-
Launch HN: Rivet (YC W23) – Scale and Orchestrate Agents on S3
Hey HN, this is Nathan and Nicholas from Rivet ( https://rivet.dev ) – a fast, high-density, and scalable orchestrator for agentic workloads using the actor model. Rather than running a heavyweight sandbox per agent, each agent gets a…
-
Nasdaq plummets 4% into correction territory
Article URL: https://www.cnbc.com/2026/11/04/stock-market-today-live-updates.html Comments URL: https://news.ycombinator.com/item?id=50381623 Points: 148 # Comments: 119
-
Window Sweaters
Article URL: https://github.com/saragordic/window-sweaters Comments URL: https://news.ycombinator.com/item?id=50381383 Points: 411 # Comments: 121
-
Software Line Specialist
Comments
-
How Flink's Kafka connector commits offsets to Kafka
Comments
-
My psychophysics as a bilateral cochlear implant user
Article URL: https://claude.ai/artifact/L8qsMc3SorytGW3LA81nYf Comments URL: https://news.ycombinator.com/item?id=50381033 Points: 172 # Comments: 76
- Don’t Build the Reusable Component Yet
-
Motorola Signature 27 with GrapheneOS support
Article URL: https://motorolanews.com/motorola-signature-27-2/ Comments URL: https://news.ycombinator.com/item?id=50380810 Points: 551 # Comments: 389
-
Taming Typography: Building a Modern CSS Reset
Stu created tidy-typography.css: a style reset for taming typography with modern CSS features for everything from fluid typography and vertical rhythm, to hyphens and variable fonts. Taming Typography: Building a Modern CSS Reset…
-
Image of our satellite-choked night skies
https://www.theguardian.com/world/2026/nov/04/viral-image-nz... Comments URL: https://news.ycombinator.com/item?id=50379773 Points: 107 # Comments: 69
-
Alpine Linux Security Advisory: OpenSSH-server password authentication bypass
Article URL: https://alpinelinux.org/posts/2026-11-05-openssh-password-authentication-bypass/ Comments URL: https://news.ycombinator.com/item?id=50379704 Points: 606 # Comments: 128
-
MCP Explained
Article URL: https://mcp-explained.com/ Comments URL: https://news.ycombinator.com/item?id=50379249 Points: 309 # Comments: 130
-
September in Servo: progress, rounded rectangles, and more
Comments
-
I wish tech companies knew more about me
Article URL: https://rakhim.exotext.com/i-wish-tech-companies-knew-more-about-me Comments URL: https://news.ycombinator.com/item?id=50378942 Points: 494 # Comments: 389
-
GNU Mes and the 0.28 release
Comments
-
Show HN: Firenook – Firebase emulators in Rust: 40× faster writes, 10× less RAM
Hi HN, we have been developing with Firebase for a long time, and the only way Firebase developers can build apps without directly costing them is using the official Firebase Emulator Suite. However, the issue with this suite is, it's…
-
Download your favourite YouTube videos
Article URL: https://criminallyvulgar.dev/you-should-absolutely-download-your-favourite-youtube-videos/ Comments URL: https://news.ycombinator.com/item?id=50378571 Points: 342 # Comments: 157
-
Making Immersive LLM Chat Experiences More Accessible
I have had the privilege of helping to improve the accessibility of multiple immersive LLM chat experiences in the course of my career. Now I want to share this knowledge with you. Accessibility is a core part of a functional digital…
-
sshhole
Comments
-
Full-stack verification is the new trend
Comments
-
OpenSSH 10.6p2 Critical workaround for alpine without PAM
Article URL: https://www.openssh.org/releasenotes.html#10.6p2 Comments URL: https://news.ycombinator.com/item?id=50377976 Points: 243 # Comments: 12
-
Awesome repositories are no longer awesome
Article URL: https://erikgahner.github.io/posts/2026/awesome-repositories-are-no-longer-awesome/ Comments URL: https://news.ycombinator.com/item?id=50377821 Points: 237 # Comments: 110
-
A Look at Datastar
Comments
-
The State of Python Profiling in 2026
Comments
-
OpenSSH 10.6p2 has been released with a workaround for a critical vulnerability
Article URL: https://hachyderm.io/@damienmiller/117563026759098135 Comments URL: https://news.ycombinator.com/item?id=50377221 Points: 134 # Comments: 51
-
Baidu released ERNIE 5.5 Flash Base
Article URL: https://ernie.baidu.com/release/ernie-5-5-flash-base/ Comments URL: https://news.ycombinator.com/item?id=50377078 Points: 170 # Comments: 95
-
Why is there an Anubis gate in front of Search for logged-in users?
When one goes to Search on lobste.rs there is an Anubis gate first. I understand why it is there for a public rate limiting case, but why is it there for logged-in users? This is an invite only site and if anyone would hammer the server…
-
The ULC Audio Codec is a Perfect Fit for the N64
Comments
-
86open
Comments
-
On vsyscalls and the vDSO (2011)
Comments
-
GPT-6 Astra covertly underperforms on safety research
Article URL: https://alignment.openai.com/misalignment-reports/covert-underperformance-on-safety-research-tasks/ Comments URL: https://news.ycombinator.com/item?id=50376313 Points: 312 # Comments: 159
-
11 nanoseconds per word: Ridiculously Over-Optimizing Anagrams
Comments
-
How Much Do Modern Embeddings Reveal? Inversion Attacks on Commercial Embedding Models
arXiv:2611.05716v1 Announce Type: new Abstract: Text embedding inversion reconstructs source text from fixed-dimensional vectors, posing a privacy risk to systems that store embeddings instead of raw text. We adapt the vec2text framework…
-
SynMOE: A Syntax-Aware MOE-Guided Approach for PEFT-Based Code Intelligence Learning
arXiv:2611.06069v1 Announce Type: new Abstract: Parameter-Efficient Fine-Tuning (PEFT) has emerged as an important approach for adapting Language Models (LMs) in downstream tasks. However, in the domain of code intelligence, the…
-
Bug2Scenario: Root-Cause-Preserving Test Scenario Amplification for Autonomous Driving Software
arXiv:2611.06229v1 Announce Type: new Abstract: Simulation-based fuzzing exposes autonomous driving system (ADS) failures by repeatedly mutating and executing scenarios, but converting one failure into reusable regression scenarios remains…
-
Keeping Fuzzers on Duty: Repairing Fuzzing Build Breakages in Continuous Open-Source Fuzzing
arXiv:2611.06358v1 Announce Type: new Abstract: Continuous fuzzing platforms such as OSS-Fuzz provide sustained security testing for open-source projects, but long-term build breakages reduce security coverage and waste infrastructure…
-
Trace2Eval: Contextualized Evaluation of Coding Agents from Real-World Traces
arXiv:2611.06506v1 Announce Type: new Abstract: Coding agents are increasingly used in real-world workflows across diverse domains, motivating evaluation grounded in real user tasks. Existing benchmarks, however, largely rely on static…
-
Scythe: Semantic-Aware Rewriting for Fast,Effective Program Reduction
arXiv:2611.06515v1 Announce Type: new Abstract: Automated program reduction shrinks a program into a smaller one that preserves a property of interest. Language-agnostic grammar-based reducers are easy to retarget across languages, but…
-
Construction Contracts for Generated Embedded Domain-Specific Language Programs: A Measurement Protocol and a Conditional Effect
arXiv:2611.06525v1 Announce Type: new Abstract: A generated domain-specific program can be accepted by its host and still miss the reference construction. We measure the two events separately and test a short construction contract. The…
-
EvoCodeAgent: Project-Level Code Generation via Architecture-Code Co-Evolution and Experience-Guided Repair
arXiv:2611.06328v1 Announce Type: new Abstract: Project-level code generation aims to automatically synthesize complete software repositories from high-level requirements, producing coherent multi-file systems with well-structured modules…
-
Verified Implementation of the Next-gen Borrow Checking Algorithm for Rust via Abstract Interpretation
arXiv:2611.06319v1 Announce Type: new Abstract: Borrow checking is a central mechanism for Rust to ensure temporal memory safety. Its correctness is based on the intuition that the Aliasing XOR Mutability discipline guarantees that…
-
Silent Degradation during Auto-Vectorization of bf16/fp16 on RISC-V Under LLVM
arXiv:2611.03917v2 Announce Type: replace Abstract: Low-precision numeric types such as 8-bit integers, bfloat16, and half-precision floating point (fp16) are often used in AI inference workloads to reduce memory bandwidth, and RISC-V's…
-
Req-Space: A User Study of Interactive Visualisations for Requirements Review
arXiv:2611.05437v1 Announce Type: new Abstract: Requirements review involves identifying inconsistencies and assessing change implications across distributed specifications. Motivated by needs raised in industrial project workshops, we…
-
ProofStudio: Five Proof Assistants in the Browser
arXiv:2611.05540v1 Announce Type: new Abstract: Recent advances in AI-assisted proof automation are extending the use of proof assistants in software verification and mathematics. However, greater proof automation does not remove users'…
-
GH-AWTrace: A Large-Scale Dataset of GitHub Agentic Workflow Execution Logs
arXiv:2611.06866v1 Announce Type: new Abstract: Agentic workflows enable AI agents to perform recurring repository tasks on schedules or in response to repository events. Existing studies examine workflow definitions and outputs, but…
-
The Impact of AI Coding Assistants on Software Engineering: A Longitudinal Study
arXiv:2605.23135v2 Announce Type: replace Abstract: AI coding assistants have become prolific in recent years. Through a longitudinal mixed-methods investigation, we examined how professional software engineers perceive the effects of AI…
-
TTHE: Test-Time Harness Evolution
arXiv:2607.08124v3 Announce Type: replace Abstract: The behavior of an LLM agent is determined not only by the underlying model, but also by its harness: the executable program that constructs context, invokes tools, verifies intermediate…
-
TraceCAD: Trace-Guided Repair for Agentic CAD Generation
arXiv:2608.03062v2 Announce Type: replace-cross Abstract: LLM-based CAD agents produce executable parametric programs, but their correction loops may lose evidence about satisfied requirements, faulty operations, and prior repairs. We…
-
Rethinking Access Control for AI Agents: Recent Advances and Open Challenges
arXiv:2611.06764v1 Announce Type: new Abstract: Large language model agents access data, invoke tools, and act on users' behalf. Keeping these actions within authorized bounds is challenging because agents choose their own execution paths…
-
MCP-Eco: A Linked Dataset of MCP Servers, Consumers, and Development Activity
arXiv:2611.06897v1 Announce Type: new Abstract: The Model Context Protocol (MCP) enables LLM agents to access external tools and data. Studying its software ecosystem requires connecting server interfaces, the projects that configure these…
-
RIDGE: State-Conditioned Reward Blending for Behavioral Coverage in Deep RL Game Agents
arXiv:2611.05601v1 Announce Type: cross Abstract: A deep RL agent trained on a fixed persona reward plays one way: an Explorer keeps exploring while starving, a Survivor hoards on an empty map. Since each persona fixes its own reward…
-
How the Misuse of a Dataset Harmed Semantic Clone Detection
arXiv:2505.04311v2 Announce Type: replace Abstract: BigCloneBench is widely used to evaluate traditional clone detection and, more recently, machine learning approaches to semantic clone detection and functional similarity. This paper…
-
The Dangers of Non-Self-Fixed Architecture Technical Debt and Its Impact on Time-to-Fix
arXiv:2605.16133v2 Announce Type: replace Abstract: Technical Debt (TD) refers to the long-term costs incurred when developers prioritize short-term delivery over quality-improving work. Architectural Technical Debt (ATD) arises when…
-
Auditing Empirical Comparisons in Quantum Software
arXiv:2607.00516v2 Announce Type: replace Abstract: Empirical quantum-software papers often claim that one compiler produces smaller circuits, one optimizer is more reliable, or one ansatz achieves better solution quality. Such comparisons…
-
Extending the MM-AR Metamodeling Platform with Process Mining Capabilities
arXiv:2611.05176v2 Announce Type: replace Abstract: Process mining derives process models from event data recorded by information systems, but its results are usually presented as two-dimensional visualizations that are separate from the…
-
A formal specification of the jq language
arXiv:2403.20132v2 Announce Type: replace-cross Abstract: jq is a widely used tool that provides a programming language to manipulate JSON data. However, the jq language is currently only specified by its implementation, making it…
-
Agentic Behavior Engineering: A Design-by-Contract Methodology for Specifying, Verifying, and Governing Enterprise AI Agents
arXiv:2611.05454v1 Announce Type: new Abstract: Enterprise teams that deploy large language model (LLM) agents inherit a maintenance problem that traditional testing does not address. The model is non-deterministic, but the larger risk is…
-
Construct Validity of Coding Benchmarks for LLM-based Agentic Coding Tools
arXiv:2611.05665v1 Announce Type: new Abstract: Software developers increasingly adopt LLM-based agentic coding tools to assist them with development tasks. To provide developers with up-to-date information on these tools' effectiveness…
-
Can LLM Agents Learn to Test? Maintaining Scoped Experience as Testing Evidence for Mobile GUI Testing
arXiv:2611.05873v1 Announce Type: new Abstract: Repeated mobile GUI tests can reuse routes, locators, and recovery strategies from earlier executions. However, a route that worked in one workflow or app version may be irrelevant or…
-
Retrieval Supersedes Scale: Efficient Log Level Prediction via Multiplex Socio-Technical Context
arXiv:2611.05901v1 Announce Type: new Abstract: Developers insert logging statements in source code to record its execution, and the resulting logs are essential for detecting and troubleshooting system anomalies. A key part of these…
-
When Does a Cross-Device Run Justify PASS? Obligation-Level Evidence Qualification under Partial Observability
arXiv:2611.06013v1 Announce Type: new Abstract: A cross-device test can complete every command yet judge a business claim from evidence belonging to another device or attempt. We introduce an executable evidence contract that makes support…
-
SWEOps-Bench: Evaluating Agents for End-to-End Resolution of Software-Induced Cloud Incidents
arXiv:2611.06099v1 Announce Type: new Abstract: As autonomous agents advance, the traditional boundary between software development and cloud operations gradually blurs, increasing the need for integrated incident detection, localization…
-
SBVUL: Statement-Based Vulnerability Detection
arXiv:2611.06135v1 Announce Type: new Abstract: Many recent approaches for vulnerability detection use large language models (LLMs) to classify functions as vulnerable or benign, leaving developers to locate the exploitable statements…
-
CLEAR: Structured Specifications for Controllable Long-Horizon ML Research Engineering
arXiv:2611.06263v1 Announce Type: new Abstract: Large language model (LLM) agents are increasingly being used to automate machine learning (ML) research workflows, ranging from code development and experiment execution to research…
-
Reassessing Dataset Quality and Fine-Tuning Practices for Vulnerability Detection on PrimeVul dataset
arXiv:2611.06373v1 Announce Type: new Abstract: Recent studies report promising results from supervised fine-tuning of pre-trained code language models for automated vulnerability detection on benchmarks such as PrimeVul. In this paper, we…
-
HELIX: HEterogeneous LLM Inference with FleXible and Fine-Grained Partitioning
arXiv:2611.06513v1 Announce Type: new Abstract: LLM inference is inherently heterogeneous, with performance bottlenecks shifting throughout inference phases down to individual operators. This has motivated heterogeneous serving systems…
-
EPISTEME: Trustworthy Coding Agents Through Tool Call Intent
arXiv:2611.06563v1 Announce Type: new Abstract: Coding agents change software through tool calls. Tool calls mutate the local state. For good? For bad? Nobody knows. Agents never say why a tool call is made. We propose the epistemic agent…
-
PatchCon: Patch-aware Weighted Supervised Contrastive Learning for Vulnerability Detection
arXiv:2611.06583v1 Announce Type: new Abstract: Automated vulnerability detection is critical for securing modern software systems, yet existing learning-based approaches often treat functions as independent samples and underuse the…
-
Lemmings CSS Animation
Article URL: https://markblah.github.io/lemmings/ Comments URL: https://news.ycombinator.com/item?id=50375354 Points: 367 # Comments: 71
-
A history of backdoors (2015)
Comments
-
Declarative Dragging
Comments
-
Starfall – Affordable, routine access to microgravity
Article URL: https://www.spacex.com/starfall Comments URL: https://news.ycombinator.com/item?id=50373308 Points: 239 # Comments: 184