Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

SchemeFlow: Full-Stack Engineer Wanted (Y Combinator Backed)

2025-06-12
SchemeFlow: Full-Stack Engineer Wanted (Y Combinator Backed)

SchemeFlow, a Y Combinator-backed AI startup in London, is seeking a highly skilled Full-Stack Engineer. The company uses AI to streamline the bureaucratic process of building projects, aiming to accelerate infrastructure development in the West. The ideal candidate will have strong full-stack experience (Vue.js, FastAPI, Google Cloud, Supabase, etc.) and a deep understanding of user needs. Competitive salary, equity, and potential relocation to San Francisco are offered.

Read more
(www.ycombinator.com)
Development

UK Police Expand Live Facial Recognition, Sparking Privacy Concerns

2025-08-13
UK Police Expand Live Facial Recognition, Sparking Privacy Concerns

The UK is expanding its use of live facial recognition (LFR) technology with ten new police vans, boosting capabilities beyond London and South Wales. While authorities claim LFR is used only in targeted investigations and with privacy safeguards, privacy campaigners raise concerns about misidentification and potential misuse. Recent revelations suggest access to passport and immigration databases for facial recognition searches, further fueling the debate. The expansion highlights the ongoing tension between effective policing and individual privacy rights.

Read more
(www.theregister.com)
Tech

Algorithmic Autogram Generation: A Programmer's Word Game

2025-05-31

This article details an algorithm for generating autograms—sentences that describe their own character counts. The author first explains the underlying principle: iteratively creating a sequence of sentences, each describing the character counts of the previous one, until a cycle is formed containing the autogram. The algorithm is refined by randomly updating a single character count at each iteration, improving efficiency. Several generated examples are showcased, including birthday greetings and pangrams, along with code and resource links.

Read more
(curiosityarb.blog)
Development autogram

LEGO Interferometers Bring Quantum Physics to Life

2025-02-25

Researchers at the University of Nottingham have developed LEGO-based interferometer kits to make quantum science more accessible. These hands-on kits, designed for secondary school students and beyond, replicate professional optical equipment, allowing students to build and experiment with lasers, mirrors, and beamsplitters to observe interference patterns. The project, 'Photon Bricks,' has been a hit at exhibitions, with participants praising its engaging approach to complex concepts. The kits are designed to inspire the next generation of scientists and are currently being rolled out to schools in Nottingham and Cardiff.

Read more
(www.nottingham.ac.uk)
Tech Quantum Physics STEM Education

Google's 'Results About You' Tool Gets a Refresh: Easier Removal of Personal Info

2025-02-26
Google's 'Results About You' Tool Gets a Refresh: Easier Removal of Personal Info

Google's 'Results About You' tool, launched in 2022 and updated in 2023, helps users manage their online personal information. Recent updates include a redesigned hub and the ability to update outdated search results. Users can now submit removal requests directly from search results and refresh searches to get the latest information. While not a major overhaul, the updates improve user experience and streamline personal information management. However, the tool isn't available worldwide.

Read more
(www.engadget.com)
Tech Search

SourceHut Fights Back Against Aggressive LLM Scraping

2025-04-15

SourceHut, a platform dedicated to serving open-source software, is actively fighting back against aggressive data scraping by large language models (LLMs). They argue that LLM companies are not entitled to their users' data and have explicitly stated they will not make data-sharing arrangements with any company, even if paid. SourceHut has deployed Anubis to protect its services and updated its terms of service to strictly limit data scraping, permitting only uses such as search engine indexing, open-access research, and archiving. They emphasize that the data belongs to their users and their responsibility is to ensure the data is used in the best interests of their users, not for commercial profit or training LLM models.

Read more
(sourcehut.org)
Development

LexisNexis Data Breach Exposes Sensitive Info of Over 364,000 Individuals

2025-05-29
LexisNexis Data Breach Exposes Sensitive Info of Over 364,000 Individuals

LexisNexis Risk Solutions, a data broker, suffered a data breach affecting over 364,000 individuals. A hacker accessed a third-party platform used for software development on December 25, 2024, stealing sensitive data including names, birthdates, addresses, Social Security numbers, and driver's license numbers. The breach highlights ongoing concerns about data security and the lack of stringent regulations on data brokers. This incident follows previous controversies surrounding LexisNexis's data sharing practices and the recent Trump administration decision to scrap regulations restricting the sale of personal information by data brokers.

Read more
(techcrunch.com)
Tech data broker

143,000 Chess Players Force World Champion Magnus Carlsen to a Draw

2025-05-21
143,000 Chess Players Force World Champion Magnus Carlsen to a Draw

World chess champion Magnus Carlsen was held to a draw by a team of over 143,000 online players in a record-breaking match on Chess.com. Dubbed "Magnus Carlsen vs. The World," the freestyle match saw players globally vote on each move. Against all odds, and despite Chess.com's prediction of a Carlsen victory, Team World forced a draw by strategically maneuvering Carlsen's king into a threefold repetition, a stunning upset. This historic game highlights the growing power of online collaboration and the rise of casual chess.

Read more
(apnews.com)
Game

SerenityOS: A Nostalgic Yet Powerful Unix-like OS

2025-04-22

SerenityOS is a desktop operating system that's a love letter to the user interfaces of the 1990s, featuring a custom Unix-like core. It blends the aesthetic of late-1990s productivity software with the power-user accessibility of late-2000s *nix systems. Built by developers for developers, it's an open-source project found on GitHub, complete with a Discord server, man pages, and even a bug bounty program.

Read more
(serenityos.org)
Development Unix-like

Metasploit Releases New Exploit Modules

2025-02-27
Metasploit Releases New Exploit Modules

Recent Metasploit releases include several new exploit modules. These include a chain exploit leveraging vulnerabilities used by APT groups and a 0-day discovered by Rapid7, a module for an authenticated remote code execution bug in NetAlertx, and auxiliary modules targeting Argus Surveillance DVR and Ivanti Connect Secure. These updates significantly enhance Metasploit's penetration testing capabilities.

Read more
(www.metasploit.com)
Development Exploit Modules

What's Algebraic About Algebraic Effects?

2025-09-22
What's Algebraic About Algebraic Effects?

This article delves into the meaning of "algebraic" in the context of programming, focusing on algebraic effects. The author argues that algebraicity in programming lies in its composability, achieved by constraining data structures and operations to guarantee specific system properties. CRDTs, for instance, leverage the algebraic structure of a semilattice to address data synchronization challenges in distributed systems. Algebraic effects extend this concept, allowing the composition of effects with guaranteed properties, thereby enhancing code composability and reliability. The author illustrates how to define algebraic properties to ensure specific behaviors using a key-value store example and points out that only dependent type languages like Coq or Lean can explicitly encode and prove these algebraic properties.

Read more
(interjectedfuture.com)
Development

Simplified Chernobyl Analysis: Unveiling Design Flaws in the RBMK Reactor

2025-01-24

This paper uses simplified numerical models to analyze the Chernobyl accident. The study reveals that the accident was closely related to design flaws in the RBMK reactor. Its large size and weak power negative feedback coefficient made reactor power difficult to control, even with an automatic system, leading to easily triggered xenon oscillations. The safety rod design, when the upper half of the core experienced xenon poisoning, initially increased core reactivity. This resulted in a high-pressure increase, a strong shock wave in the fuel channels, and the destruction of pressure tubes. The subsequent depressurization (flash evaporation) further exacerbated the accident. The study also evaluates the fission energy released during the accident and discusses the reactor's stability and control strategies.

Read more
(www.epj-n.org)
Tech Chernobyl RBMK reactor nuclear accident

Exploring the Obscure Corners of Unicode Math Symbols

2025-04-17

The author explores the Miscellaneous Mathematical Symbols block in Unicode, uncovering many rarely used but fascinating symbols. For instance, ⟂ represents both perpendicularity and relatively prime integers; ⟑ and ⟇ are used in geometric algebra; and four symbols denote database joins. The author also highlights the Unicode equivalents of LaTeX's \langle and \rangle: ⟨ and ⟩.

Read more
(www.johndcook.com)
Misc Mathematical Symbols

Microsoft's Aurora: AI Weather Forecasting Model Outperforms Traditional Methods

2025-05-24
Microsoft's Aurora: AI Weather Forecasting Model Outperforms Traditional Methods

Microsoft has unveiled Aurora, a new AI weather forecasting model trained on massive datasets from satellites, radar, and weather stations. Outperforming traditional methods in speed and accuracy, Aurora successfully predicted Typhoon Doksuri's landfall and the 2022 Iraq sandstorm, even beating the National Hurricane Center in predicting 2022-2023 tropical cyclone tracks. While training requires significant computing power, Aurora's runtime efficiency is remarkably high, generating forecasts within seconds. A simplified version powers hourly forecasts in Microsoft's MSN Weather app, and the source code and model weights are publicly available.

Read more
(techcrunch.com)
AI AI weather forecasting extreme weather prediction

SWE-Bench Pro: A Challenging Benchmark for Evaluating LLMs on Software Engineering

2025-09-22
SWE-Bench Pro: A Challenging Benchmark for Evaluating LLMs on Software Engineering

SWE-Bench Pro is a new benchmark for evaluating large language models (LLMs) and agents on long-horizon software engineering tasks. Given a codebase and an issue, the model is tasked with generating a patch that resolves the described problem. Inspired by SWE-Bench, it uses Docker and Modal for reproducible evaluations, requiring users to set up a Docker environment and Modal credentials to run the evaluation script.

Read more
(github.com)
Development

React Server Components: Untangling Frontend Data Fetching

2025-04-15

This article explores how React Server Components solve the complexities of frontend data fetching. Traditional REST APIs struggle to keep up with evolving UI needs, leading to either data redundancy or insufficient data. The author proposes a BFF (Backend for Frontend) approach, introducing the ViewModel concept to the backend, allowing the server to directly return the specific data each component requires. By decomposing ViewModel functions into smaller units and leveraging JSX, a tight coupling between components and data loading logic is achieved, resulting in an efficient and maintainable frontend architecture. This method is similar in spirit to Async XHP, seamlessly integrating data fetching and UI rendering, but avoids the limitations of traditional XHP in highly interactive applications.

Read more
(overreacted.io)
Development Data Fetching

Historic Dwingeloo Radio Telescope Receives Signals from Voyager 1

2024-12-19

The historic Dwingeloo radio telescope in the Netherlands, a national monument built in 1956, has successfully received faint signals from Voyager 1, nearly 25 billion kilometers from Earth. Despite the telescope's design frequency not matching Voyager 1's 8.4 GHz telemetry, researchers overcame this by mounting a new antenna and correcting for the Doppler shift. This achievement showcases the ingenuity of adapting older technology for remarkable feats and highlights humanity's enduring quest for space exploration.

Read more
(www.camras.nl)
Tech Voyager 1 radio telescope

KDE Plasma 6.4.0 Now in OpenBSD Packages

2025-07-06

KDE Plasma 6.4.0 is now available in OpenBSD packages thanks to the work of Rafael Sadowski and others. Significantly, the KDE Kwin team has split kwin into kwin-x11 and kwin (Wayland), signaling a reduced focus on X11 in favor of Wayland. This update also includes the Aurorae theme engine and bug fixes from June and July.

Read more
(undeadly.org)
Development

Apple's WWDC25: Is Liquid Glass a UI Crisis?

2025-06-12
Apple's WWDC25: Is Liquid Glass a UI Crisis?

This article critiques Apple's new Liquid Glass UI unveiled at WWDC25. The author argues that Liquid Glass sacrifices platform-specific usability and distinctiveness for cross-platform consistency and visual familiarity. Its 'depth' effect is superficial, dynamic UI elements are excessive, blurring the interface structure and reducing readability and accessibility. The author contends this design represents a regression, prioritizing aesthetics over usability and diverging from Apple's past design principles. The ultimate outcome, the author fears, is a convergence of Mac OS and iOS/iPadOS, leading to a diminished user experience.

Read more
(morrick.me)
Design

A Nasty Postgres Bug in Logical Replication Slot Creation, and How We Fixed It

2025-07-15
A Nasty Postgres Bug in Logical Replication Slot Creation, and How We Fixed It

The ClickPipes team encountered a perplexing bug while creating logical replication slots in PostgreSQL: a query that should have taken seconds was taking hours and couldn't be terminated. Investigation revealed a Postgres bug where, on read replicas, creating a logical replication slot would get stuck in a long sleep loop while waiting for primary transactions to finish, making it impossible to interrupt. The team submitted a patch to the Postgres community adding an interrupt check, effectively resolving the issue. This case highlights how even mature database systems can harbor unexpected edge cases, and the vital role of open-source community collaboration in resolving them.

Read more
(clickhouse.com)
Development Logical Replication

Zero-Cost Static Blog with React Server Components

2025-05-08
Zero-Cost Static Blog with React Server Components

This blog post details how to deploy a completely static blog using Next.js's static site generation capabilities and React Server Components (RSC) on Cloudflare's free static hosting plan, costing exactly zero. The author explains the concept of 'hybrid' frameworks, capable of both server-side rendering and static site generation. By running RSC code during the build process and saving its output, a fully static deployment is achieved, eliminating server costs. A code example shows data being read from the local filesystem during the build, generating static pages. This demonstrates that 'static' is essentially a 'server' running ahead of time, with the code logic remaining the same, only the timing changes.

Read more
(overreacted.io)
Development

Feather: A Lightweight, DX-First Web Framework for Rust

2025-05-04
Feather: A Lightweight, DX-First Web Framework for Rust

Feather is a lightweight web framework for Rust, inspired by the simplicity of Express.js but built for Rust's performance and safety. It features a middleware-first architecture, making route handlers, auth, and logging all composable. Recent versions include a Context API for easy state management. Feather boasts a minimal, ergonomic API, is modular and extensible, and offers great tooling out of the box. Essentially, Feather aims to bring the ease of Express.js to the Rust ecosystem without compromising performance or safety.

Read more
(github.com)
Development

Implementing Datalog in Python: A Relational Database Language More Powerful Than SQL

2025-06-13
Implementing Datalog in Python: A Relational Database Language More Powerful Than SQL

This article demonstrates how to implement Datalog, a relational database language more powerful than SQL, using Python. Datalog, a subset of Prolog, isn't Turing-complete but excels at modeling relationships. The article thoroughly explains Datalog's core concepts, including predicates, facts, rules, and variables, and provides a straightforward Python implementation featuring the Naïve Evaluation algorithm. With this implementation, you can create and query Datalog programs, experiencing the elegance and power of this relational modeling approach.

Read more
(btmc.substack.com)
Development

Dolby Vision 2: AI-Powered HDR Gets a Major Upgrade

2025-09-04
Dolby Vision 2: AI-Powered HDR Gets a Major Upgrade

Dolby has unveiled Dolby Vision 2, an evolution of its HDR format. Beyond fine-tuning picture settings, Dolby Vision 2 introduces "Content Intelligence," leveraging AI and TV sensors to dynamically adjust brightness, addressing common complaints about overly dark scenes (think *Game of Thrones*' infamous 'Battle of Winterfell'). A new "Authentic Motion" feature aims to optimize motion handling across various viewing environments, though this may prove controversial among purists.

Read more
(arstechnica.com)
Tech Dolby Vision

Aussie Ordered Uranium, Plutonium; Walks Free

2025-04-26
Aussie Ordered Uranium, Plutonium; Walks Free

A 24-year-old Australian man who ordered radioactive materials, including uranium and plutonium, online to complete his periodic table collection, received a lenient sentence of a two-year good behavior bond. The incident triggered a major hazmat response, but the judge cited mental health concerns and lack of malicious intent. The case highlights both the ease of acquiring such materials and the subsequent overreaction from authorities, sparking debate about regulatory frameworks and border control.

Read more
(www.chemistryworld.com)
Misc nuclear materials hazmat lenient sentence

Remembering Chess Legend Boris Spassky: A Friend's Recollections

2025-02-28
Remembering Chess Legend Boris Spassky: A Friend's Recollections

This article remembers chess grandmaster Boris Spassky through the lens of a decades-long friendship. From chance encounters in Hamburg and Munich to deeper conversations during Candidates Tournaments in Saint John, Canada, and Elista, Russia, the author paints a portrait of Spassky's humility, vast knowledge, and charm. More than just a great chess player, Spassky was a memorable friend whose story will continue to inspire.

Read more
(en.chessbase.com)
Misc Boris Spassky personal recollection

High Heels in Game Dev: Animation, Physics, and Optimization Challenges

2025-03-17

This article delves into the complexities of incorporating different shoe types, particularly high heels, into game development. The varying heights introduced by different footwear create challenges across animation, collision detection, and physics engines. The article proposes two main solution approaches: adjusting character height (through manual animation tweaking, dynamic IK systems, etc.) and employing workarounds (hiding feet, shortening lower legs, bending legs). It also explores the impact on posture, gait, and footstep sounds, noting potential balancing issues in competitive games. Optimization strategies, such as removing polygons hidden by shoes, are examined across various games. Ultimately, the article summarizes the key considerations and common solutions for handling diverse shoe types in game development.

Read more
(simonschreibt.de)
Game

An Infinitely High Stack of Blocks? Impossible!

2025-08-20

This paper explores a counter-intuitive physics problem: the stability of an infinitely extending stack of blocks. By analyzing torque and center of mass, the author demonstrates that finite-height stacks of blocks can remain stable even when their tops extend far beyond the edge of a table—a result that defies intuition. However, when attempting to extrapolate this to an infinitely high stack, the author finds that regardless of the limiting procedure used, the end result is either no stack at all or a stack that doesn't lean. This reveals the subtleties of limit operations when dealing with infinity and the limitations of intuition.

Read more
(sites.pitt.edu)
Tech mechanics limits
1 2 … 72 73 74 76 78 79 80 … 596 597