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

Ada and SPARK Drive into Automotive Development: NVIDIA Open-Sources Safety Process

2025-06-04
Ada and SPARK Drive into Automotive Development: NVIDIA Open-Sources Safety Process

AdaCore and NVIDIA have partnered to bring Ada and SPARK programming languages into the automotive market, open-sourcing a reference development process based on the ISO 26262 standard. NVIDIA's Drive OS utilizes Ada and SPARK for critical components to meet the highest levels of automotive safety certification. This open-source process aims to help others adopt Ada and SPARK, improving automotive software safety and reliability in the face of growing complexity.

Read more
(www.adacore.com)
Development Automotive Software Safety

Forensic Fandom: Dissecting the Rise of 'Detective' Fans

2025-04-29
Forensic Fandom: Dissecting the Rise of 'Detective' Fans

This article explores the phenomenon of 'forensic fandom,' where fans act as detectives, digging deep into the details of a work, the performers' lives, and constructing their own narratives. The rise of this trend is linked to technological advancements, mainstream media engagement, and the emergence of 'professional fans.' Social media platforms accelerate the spread of information and theory validation, but also fuel 'narrative dominance' battles among fans. The author argues this deep-dive interpretive model transforms fan-work interaction, creating new conflicts within fan culture.

Read more
(exiledfan.substack.com)
Misc fan culture deep interpretation

America's Food Safety: A Battle Against Lies and History

2025-04-30
America's Food Safety: A Battle Against Lies and History

This article interviews science journalist Deborah Blum, exploring the current state and history of food safety in the US. Blum points out that amidst rampant misinformation and government deregulation, American citizens face food safety risks, with issues similar to 19th-century food adulteration resurfacing. She uses her book, "The Poison Squad," to illustrate the birth of the 1906 Pure Food and Drug Act and how chemist Harvey Wiley exposed food safety problems through a 'poison squad' experiment. Blum calls for public attention to food safety and criticizes the individualistic approach that blames consumers for foodborne illnesses, emphasizing the government's responsibility to guarantee basic rights.

Read more
(buttondown.com)
Tech science journalism

US Regulator Moves to Protect In-Game Currencies

2025-01-11
US Regulator Moves to Protect In-Game Currencies

The US Consumer Financial Protection Bureau (CFPB) proposed a rule to extend protections similar to those for real-world bank accounts to virtual in-game currencies. This move addresses the rise of in-game currency transactions and fraud. The proposal aims to safeguard players from unauthorized transactions, scams, and account theft, holding game companies accountable for financial issues reported by customers. Platforms like Roblox, with its Robux currency, are highlighted due to past complaints. The rule interpretation expands the Electronic Fund Transfer Act's coverage, providing greater legal recourse for gamers.

Read more
(www.yahoo.com)
Game virtual currency game regulation

Stytch's Fraud Prevention Framework: Beyond Whack-a-Mole

2025-06-11
Stytch's Fraud Prevention Framework: Beyond Whack-a-Mole

Traditional fraud prevention feels like a never-ending game of whack-a-mole. Stytch introduces a four-stage framework: signal gathering, decisioning, enforcement, and analysis/feedback. This framework collects user activity data, makes decisions based on that data, enforces security measures, and iteratively improves detection. The article uses sophisticated credential stuffing attacks as an example, showing how device fingerprinting enhances signal gathering and decision-making to effectively counter attacks. Stytch's Device Fingerprinting focuses on signal gathering and decisioning, avoiding a 'black box' approach and empowering users with flexible control over enforcement, acting as a reliable partner in the fight against fraud.

Read more
(stytch.com)
Tech device fingerprinting security framework

Nyxt: The Emacs-Inspired Browser for Developers

2025-08-14

Nyxt is an unconventional web browser built on the philosophy of Emacs: highly customizable and keyboard-driven. Written in Common Lisp and licensed under the BSD 3-clause license, it prioritizes Linux users and empowers developers to extend its functionality. While inspired by Emacs, Nyxt runs independently and supports vi and CUA keybindings. The current 3.x series uses WebKitGTK, while the upcoming 4.0 will leverage Electron for improved performance and cross-platform support (macOS and Windows). Nyxt's minimalist interface and extensive customization options appeal to developers seeking ultimate efficiency, but its steep learning curve and limited community resources present a challenge.

Read more
(lwn.net)
Development

Blazing Fast Pokémon Battle Engine in Zig

2025-06-01
Blazing Fast Pokémon Battle Engine in Zig

pkmn is a blazing fast Pokémon battle simulation engine written in Zig, over 1000× faster than patched Pokémon Showdown. It aims for frame-accurate, bug-for-bug compatibility with both the original game code and the Pokémon Showdown simulator. While not a full-featured simulator, it's a low-level library for building more advanced applications. Currently supporting Generations I and II, with plans for future generations.

Read more
(github.com)
Game

Building Your Own Asyncio in Python: Demystifying await

2025-05-07
Building Your Own Asyncio in Python: Demystifying await

This article provides a clear and in-depth explanation of asyncio, the core mechanism of asynchronous programming in Python. The author builds a simplified version of asyncio step-by-step, revealing the inner workings of the `await` keyword and culminating in a fully functional echo server. Starting with the basics of generators and coroutines, the article gradually introduces core concepts like Scheduler and Future, and details how to use the `selectors` module for non-blocking I/O. By reading this, readers gain a deeper understanding of the underlying mechanisms of Python's asynchronous programming and demystify the 'magic' of `await`.

Read more
(dev.indooroutdoor.io)
Development

Go's io.Reader Efficiency: A Battle with Indirection and Type Assertions

2025-05-19

Many Go functions take an io.Reader, enabling streaming and avoiding loading everything into memory. However, when you already have the bytes, using them directly is more efficient. This article describes the author's experience decoding images with libavif and libheif. For simplicity, the simple memory interfaces were used, but the Go image.Decode function checks for a Peek function on the io.Reader, wrapping with bufio.Reader if not found, preventing direct use of bytes.Reader. The author cleverly uses type assertions and unsafe.Pointer to bypass bufio.Reader and bytes.Reader, achieving zero-copy. However, the article highlights issues in Go's type checking and interface design, including the resulting 'shadow APIs'.

Read more
(flak.tedunangst.com)
Development

Moderna's mRNA Flu Vaccine Shows Significant Improvement in Efficacy

2025-07-05
Moderna's mRNA Flu Vaccine Shows Significant Improvement in Efficacy

Moderna announced that its mRNA flu vaccine, mRNA-1010, demonstrated 27% greater efficacy in preventing influenza infections than a standard flu shot in Phase 3 clinical trials. The trial involved nearly 41,000 participants aged 50 and older. mRNA-1010 showed an overall 26.6% higher efficacy than the standard vaccine, rising to 27.4% in participants aged 65 and older. This is particularly encouraging given the severity of the 2024-2025 flu season. Moderna's CEO stated that the mRNA flu vaccine has the potential to more precisely match circulating strains, enable rapid response to future pandemics, and pave the way for COVID-19 combination vaccines.

Read more
(arstechnica.com)
Tech mRNA vaccine

Lead Technical Artist Wanted: Revolutionizing Social VR Gaming

2025-03-14
Lead Technical Artist Wanted: Revolutionizing Social VR Gaming

Gym Class, the top-rated Meta Quest game (58K ratings, 4.9 stars), is seeking a Lead Technical Artist! You'll optimize art pipelines, develop tools, and enhance visual fidelity and performance across VR and mobile platforms using Unity, C#, and Python. Collaborate with engineers on performance profiling and optimization. Backed by top-tier investors including Andreessen Horowitz, Y Combinator, and the NBA, this is a chance to work at the forefront of social VR gaming, with fast iteration cycles and a direct impact on product development.

Read more
(www.ycombinator.com)
Game VR Game Development Lead Technical Artist

arXivLabs: Experimenting with Community Collaboration

2025-05-23
arXivLabs: Experimenting with Community Collaboration

arXivLabs is a framework enabling collaborators to develop and share new arXiv features directly on the website. Individuals and organizations involved share arXiv's values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners who adhere to them. Have an idea to improve the arXiv community? Learn more about arXivLabs.

Read more
(arxiv.org)
Development

Obsidian's Supply Chain Security: A Cautious Approach

2025-09-20
Obsidian's Supply Chain Security: A Cautious Approach

Obsidian, a note-taking app, employs a rigorous security strategy to mitigate supply chain attacks. This involves minimizing third-party dependencies, strictly version-pinning all dependencies with a lockfile and a thorough upgrade process (including line-by-line changelog reviews and extensive testing), avoiding postinstall scripts, and implementing a significant delay between dependency upgrades and releases to allow time for community and researcher detection of malicious versions. These measures significantly reduce Obsidian's vulnerability to supply chain attacks, ensuring user data security and privacy.

Read more
(obsidian.md)
Development

Mexico's Open Source Journey: A David vs. Goliath Story of Government Transformation

2025-04-06

Former high-ranking Mexican government official Federico González Waite shared his decade-long experience pushing open-source software adoption within the Mexican government. To cut costs, achieve IT sovereignty, and break free from proprietary software vendors, he led multiple projects, including building the national e-passport system and deploying large-scale communications infrastructure. Despite facing threats from giants like Oracle and resistance within the government, they made significant progress, but also faced setbacks, such as projects failing due to lack of sustained funding and changes in government leadership. He stressed that successful open-source transformation hinges on strong internal support and leadership commitment, along with continuous investment in talent development.

Read more
(lwn.net)
Tech government digital transformation

The Physics of Coffee Rings: An Untypical Physicist's Journey

2025-05-14
The Physics of Coffee Rings: An Untypical Physicist's Journey

Professor Sidney Nagel of the University of Chicago has revolutionized the field of physics by studying everyday phenomena like coffee stains, raindrops, and sand flow. He turned his attention to 'soft matter' largely overlooked by most physicists, developing theories of 'jamming' to explain the flow (or lack thereof) of sand and traffic. Nagel's work is not only scientifically significant but also aesthetically pleasing; images from his experiments have graced museum walls. His research has earned him prestigious awards like the Oliver E. Buckley Prize and the American Physical Society's Medal for Exceptional Achievement in Research, highlighting its impact and unique perspective.

Read more
(www.quantamagazine.org)
Tech soft matter physics jamming

EdgeBit: One-Shot AI Agents for Efficient Dependency Autofix

2025-04-18

EdgeBit is a security platform helping application engineering teams find and fix security vulnerabilities. Its Dependency Autofix feature uses a highly accurate reachability engine to identify impactful app changes, allowing engineers to focus on meaningful upgrades and spend more time on core tasks. This post details how EdgeBit leverages focused tools, smart error handling, and the persistence of an AI agent to achieve massive efficiency gains, backed by data. EdgeBit's one-shot AI agent automates complex tasks without human intervention, achieving high confidence through static analysis, dependency update calculation and execution, and a consistent, correct agent workflow. Unlike pipeline-based approaches, this agent offers flexibility in inputs and outputs while maintaining determinism. The post explains how EdgeBit uses hard/soft failure mechanisms and persistence strategies to prevent AI agent loops, ultimately enabling efficient dependency updates and code maintenance.

Read more
(edgebit.io)
Development

Unique Games Conjecture: A Surprisingly Divisive Problem in Computational Complexity

2025-05-10

Proposed by Subhash Khot in 2002, the Unique Games Conjecture (UGC) posits that approximating the value of a specific type of game, known as a unique game, is NP-hard. This conjecture has significant implications for the theory of approximation algorithms; if true and P≠NP, many crucial problems wouldn't allow for good polynomial-time approximations, not just exact solutions. The academic community is split on its validity, with equivalent formulations including label cover and Max2Lin(k) problems. While stronger versions have been disproven, the UGC's exploration has spurred substantial mathematical research, and some progress towards proving it has been made, including proving a related conjecture, the 2-2 games conjecture.

Read more
(en.wikipedia.org)
Development approximation algorithms NP-hardness

NASA Adds SpaceX's Starship to Launch Services Contract Despite Setbacks

2025-03-29
NASA Adds SpaceX's Starship to Launch Services Contract Despite Setbacks

Despite recent major setbacks in Starship's past two flights, NASA has added SpaceX's still-experimental rocket to its launch services contract. This opens the door for Starship to potentially carry future NASA science missions, pending a successful orbital flight. The contract, which already includes Falcon 9 and Falcon Heavy, features an on-ramp provision for new providers. While Starship's reliability remains a concern, this decision offers NASA a potential crewed lunar lander for Artemis III in 2024 and an option for its planned 2026 uncrewed Mars mission.

Read more
(www.yahoo.com)
Tech

California Broadband Bill Sparks Debate: Protecting Renters or Stifling Competition?

2025-09-13
California Broadband Bill Sparks Debate: Protecting Renters or Stifling Competition?

A California bill (AB 1414) aimed at lowering broadband costs for renters has sparked controversy. Groups like the Real Estate Technology & Transformation Center (RETTC) oppose the bill, arguing it will raise costs, reduce investment, and widen the digital divide. They claim the bill's opt-out requirement will undermine the economics of bulk billing. However, supporters argue it promotes competition, particularly benefiting wireless or satellite providers as it avoids the need for wiring each building. While the bill may lower broadband costs for renters, a previous California bill pushing for significantly cheaper broadband plans was shelved after the Trump administration threatened to block broadband expansion funding.

Read more
(arstechnica.com)
Tech broadband access California broadband renter rights Broadband Access

BitChat: Open-Source, Offline, Encrypted Messaging via Bluetooth Mesh

2025-07-07
BitChat: Open-Source, Offline, Encrypted Messaging via Bluetooth Mesh

BitChat is a secure, decentralized, peer-to-peer messaging app built on Bluetooth mesh networks. No internet, servers, or phone numbers are required; just pure encrypted communication using X25519 key exchange and AES-256-GCM. Features include room-based chats (with optional password protection), offline message storage and forwarding, and a strong focus on privacy (no accounts, phone numbers, or persistent identifiers). BitChat offers native support for iOS and macOS, incorporating performance optimizations like LZ4 compression and adaptive battery modes. The project is open-source and designed for cross-platform compatibility.

Read more
(github.com)
Development Bluetooth Mesh Decentralized

Google DeepMind Unveils Music AI Sandbox and Lyria 2: Milestones in AI Music Creation

2025-04-25
Google DeepMind Unveils Music AI Sandbox and Lyria 2: Milestones in AI Music Creation

Google DeepMind recently released two groundbreaking AI music projects: Music AI Sandbox and Lyria 2. Developed by a team of dozens of engineers and researchers, these projects represent the combined efforts of DeepMind, Alphabet, and the YouTube team. Music AI Sandbox and Lyria 2 mark significant advancements in AI music creation, promising new possibilities for music composition and transformative changes for the music industry.

Read more
(deepmind.google)
AI

A Hacker's Guide to Practical C Programming

2025-04-14
A Hacker's Guide to Practical C Programming

This book, dedicated to Dennis Ritchie, offers a practical hacker's guide to the C programming language. The author, a seasoned hacker, shares practical techniques gleaned from years of experience, emphasizing C's power and flexibility. It champions the freedom C offers, arguing that choosing the right tool is the programmer's prerogative, not a matter of imposed preferences. The book includes code examples and discussions on using GNU extensions.

Read more
(github.com)
Development Practical Guide

Arm's Chiplet System Architecture Spec Opens Up a New Era of Silicon Design

2025-01-22
Arm's Chiplet System Architecture Spec Opens Up a New Era of Silicon Design

Arm has released the first public specification for its Chiplet System Architecture (CSA), with over 60 companies already engaged. The CSA addresses the growing demand for custom silicon and the associated high costs and complexities of monolithic chip production by enabling the reuse of specialized chiplets to create multiple custom systems-on-chips (SoCs) with better performance and lower power consumption. This standardization effort, developed collaboratively with the ecosystem, ensures interoperability and reusability, accelerating innovation and reducing fragmentation. Early adopters are already leveraging the CSA to build solutions tailored for diverse AI workloads. Alphawave Semi, for instance, combines Arm Neoverse CSS-powered chiplets with proprietary I/O dies to create performant chips for various markets. Meanwhile, ADTechnology, Samsung Foundry, and Rebellions are collaborating with Arm on an AI CPU chiplet platform for large-scale AI training and inference, boasting a 2-3x efficiency advantage for GenAI workloads.

Read more
(newsroom.arm.com)
Tech Chiplets

Nagel on Moral Judgment and Progress: A Critique

2025-04-07
Nagel on Moral Judgment and Progress: A Critique

This article examines Thomas Nagel's views on the objectivity of moral judgment and moral progress. Using the anecdote of a WWII French Resistance member interrogating a Nazi collaborator, Nagel illustrates the power of moral intuitions. While acknowledging utilitarian and evolutionary explanations for these intuitions, he argues they reflect underlying moral truths. Nagel distinguishes scientific from moral progress, asserting that accessing moral truths depends on historical developments revealing new moral reasons. He uses examples like individual rights, social equality, sexual morality, and international justice to show moral progress stems from multiple factors, not a single principle. The author ultimately questions Nagel's view, suggesting applying utilitarian principles to all affected individuals is key to moral advancement.

Read more
(www.nybooks.com)
Misc utilitarianism

Tracing JITs in PyPy: A Pragmatic Choice?

2025-01-10

This post delves into the advantages and disadvantages of tracing JIT compilers, specifically focusing on their implementation within PyPy. Tracing JITs, which generate code by tracing program execution, offer benefits when handling complex languages like Python, effectively slicing through layers of abstraction and reducing overhead. However, they also suffer from performance instability and edge cases. Based on two decades of experience with PyPy, the author provides a nuanced analysis of tracing JITs' suitability, comparing them to method-based JITs. The conclusion suggests that, within PyPy's meta-JIT context and given its resource constraints, tracing remains a relatively pragmatic approach.

Read more
(pypy.org)
Development tracing JIT

Gamers Flood Visa and Mastercard with Calls After Steam and itch.io Ban Adult Games

2025-07-29
Gamers Flood Visa and Mastercard with Calls After Steam and itch.io Ban Adult Games

Following Steam and itch.io's crackdown on adult games, gamers have launched a coordinated campaign targeting payment processors Visa and Mastercard. Players are bombarding the companies with phone calls and emails, aiming to pressure them into reversing their policies. While the payment processors claim their actions are to comply with regulations, gamers argue the impact is too broad, potentially affecting other games. The campaign, heavily discussed on platforms like Reddit and Bluesky, demonstrates impressive organization, with gamers sharing strategies and even creating scripts for contacting representatives.

Read more
(www.polygon.com)
Game gamer protest

AT&T's 5G Expansion Plan Sparks Outrage from Small ISPs

2025-06-09
AT&T's 5G Expansion Plan Sparks Outrage from Small ISPs

AT&T's proposal to reallocate the Citizens Broadband Radio Service (CBRS) spectrum from the 3.5 GHz band to the 3.1-3.3 GHz band to expand its 5G network has sparked outrage among small internet service providers (ISPs). They argue this move will render their existing equipment obsolete and stifle internet connectivity in rural areas. Small ISPs highlight CBRS's crucial role in broadband access in underserved areas, calling AT&T's plan a grab for America's digital future. The Department of Defense also expressed concerns, citing potential non-adherence to established coordination conditions by non-federal users.

Read more
(arstechnica.com)
Tech small ISPs

Suckless.org Updates: Minimalist Software Refined

2025-02-21

Suckless.org, dedicated to creating simple, clear, and frugal software, has recently released updates for several projects. Improvements include bug fixes, performance enhancements, and better compatibility for tools like dwm and dmenu. New versions of software such as slstatus and lchat were also released, alongside announcements regarding upcoming maintenance and conferences. Suckless.org's continued development reflects its commitment to minimalist software design and its contributions to the open-source community.

Read more
(suckless.org)
Development window manager

Japanese Town's 'Ojisan' TCG Bridges Generations

2025-04-07
Japanese Town's 'Ojisan' TCG Bridges Generations

In Kawara, Fukuoka Prefecture, children are captivated by a unique trading card game (TCG) featuring local middle-aged and older men ('ojisan'). Instead of anime characters, the cards showcase real community members, their skills and contributions forming the card's stats. Created to bridge the gap between generations, the game unexpectedly boosted community involvement. Children actively participate in local events to collect cards and even ask the 'ojisan' on the cards for autographs. Gameplay focuses on skills and real-world contributions rather than simple numerical comparisons; card rarity reflects the 'ojisan's' volunteer work. This handmade TCG not only connects generations but also revitalizes the community.

Read more
(www.tokyoweekender.com)
Misc trading card game generational connection
1 2 … 113 114 115 117 119 120 121 … 596 597