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

Hunting a Ghostly Embedded Bug: Error -22

2025-01-26
Hunting a Ghostly Embedded Bug: Error -22

The Tweede golf team encountered a frustrating bug in their embedded Rust software for the nRF9160 microcontroller, resulting in Error::NrfError(-22) when sending data to a server. After weeks of investigation, they traced the issue to the libmodem library's initialization function. A pointer to a stack-allocated configuration struct was used after the struct was destroyed, causing unintended writes to the shared memory region configuration and resulting in a data length of 0. Adding `black_box` and using watchpoints ultimately located and fixed the bug. The team highlighted the benefits of using Rust for embedded development to prevent such low-level errors.

Read more
(tweedegolf.nl)
Development

Is It Possible To Improve Our Memories As We Age?

2024-12-29
Is It Possible To Improve Our Memories As We Age?

A New Zealand Herald article explores the possibility of improving memory as we age. Experts and individuals share insights, revealing that memory isn't fixed. Strategies discussed include maintaining social connections, regular exercise, managing cardiovascular risks, and engaging in cognitive stimulation. Memory training techniques, like the memory palace method, are also highlighted. The article emphasizes proactive brain engagement through learning new skills, reading, and more to combat age-related memory decline.

Read more
(www.nzherald.co.nz)
Misc cognitive training

Waymo's First International Road Trip: Tokyo Bound

2024-12-17
Waymo's First International Road Trip: Tokyo Bound

Waymo is bringing its autonomous vehicles to Tokyo in early 2025, partnering with Nihon Kotsu and GO. This marks Waymo's first international expansion, challenging its self-driving system with left-hand traffic and Tokyo's dense urban environment. The company will collaborate with local partners and officials to understand the local landscape and ensure safe implementation. This aligns with Japan's vision for future transportation, and Waymo will work closely with regulators to meet safety standards. Initially, Nihon Kotsu drivers will manually operate the vehicles to map key areas of Tokyo.

Read more
(waymo.com)
AI autonomous driving international expansion

Collatz's Ant: Visualizing Collatz Sequences with Langton's Ant

2024-12-23

Collatz's Ant visualizes Collatz sequences using Langton's Ant rules. Based on the Collatz function (even numbers halved, odd numbers multiplied by 3 and added to 1), the ant turns 90 degrees clockwise for even numbers and counter-clockwise for odd numbers. The cell's state flips with each move, repeating until n=1. Code and examples demonstrate consecutive trajectories from 10^30 to 10^30+20.

Read more
(gbragafibra.github.io)
AI Collatz Conjecture Langton's Ant

JMAP Turns 10: A Decade of Open Email Protocol

2024-12-23
JMAP Turns 10: A Decade of Open Email Protocol

Fastmail celebrates the 10th anniversary of JMAP, its open-source email protocol. Over the past decade, JMAP has evolved from initial concept to a mature standard, incorporating email, contacts, and calendar functionalities, through industry workshops, collaborations with developers, and IETF standardization. Looking ahead, Fastmail plans to enhance the Cyrus IMAP server and continue promoting JMAP adoption to improve user experience and make it the industry standard for email.

Read more
(www.fastmail.com)
Development open-source protocol email

Is Storing 2FA Codes in Your Password Manager Secure?

2025-01-01
Is Storing 2FA Codes in Your Password Manager Secure?

This article explores the security implications of storing two-factor authentication (2FA) codes within password managers. Security experts argue that while storing 2FA codes alongside usernames and passwords in a password manager like 1Password isn't ideal (it increases the risk of compromise), the convenience outweighs the risk. The primary benefit of 2FA is preventing phishing attacks; even if the password manager is compromised, an attacker still needs the 2FA code. For most users, storing 2FA codes in a password manager is deemed acceptable, but using a reliable password manager and implementing additional security measures like using a YubiKey or storing some recovery codes offline are recommended.

Read more
(andygrunwald.com)
Tech password manager

FCC Chair Brendan Carr: A Tech Regulatory Storm Brewing?

2025-01-21
FCC Chair Brendan Carr: A Tech Regulatory Storm Brewing?

Brendan Carr's ascension to FCC chair signals significant regulatory changes for the tech and media industries. His involvement in Project 2025, proposing limitations on Section 230 immunity for tech companies and content prioritization disclosures, foreshadows a stricter regulatory environment. He also plans to leverage the FCC's power to revoke spectrum licenses for networks violating the equal time rule. However, Trump's shift on TikTok complicates Carr's approach to national security threats posed by the app. His success hinges on securing support from other Republican commissioners.

Read more
(www.theverge.com)
Tech Tech Regulation

L3 Systems WristPC Keyboard: A Rugged Wearable Keyboard

2025-01-27

L3 Systems has developed the WristPC Keyboard for portable and wearable computer applications. This rugged QWERTY keyboard features a standard PC keyboard interface and comes in black anodized aluminum or blue ABS plastic housings. Completely sealed, it's designed for use in rain and harsh environments. Its curved back ensures comfortable and secure wrist placement, with an optimized alphanumeric layout and conveniently positioned arrow keys. Optional wrist straps and keyboard illumination are available. Custom keyboards for Aaton Cantar users are also offered (requires separate Gotham Sound Dsub15-USB adapter).

Read more
(www.l3sys.com)
Hardware keyboard ruggedized

Snow Signs: A Cross-Cultural Journey Through Time

2024-12-25
Snow Signs: A Cross-Cultural Journey Through Time

This article explores the diverse ways different cultures around the world have represented 'snow' in writing and symbolism, from the Shang oracle bone script in ancient China to the 'wind, flowers, snow, and moon' motif on ancient Chinese wine jugs, and from the Naxi Dongba script to the Inuktitut language's detailed descriptions of various snow types. The article also delves into snow-related words and symbols in ancient Greek, Egyptian, Hebrew, and Mayan civilizations, showcasing the unique understandings and expressions of snow across cultures, highlighting their cultural contexts and historical origins.

Read more
(viewsproject.wordpress.com)
Misc writing systems cross-cultural comparison snow

California Orders Uber to Fingerprint Drivers for Teen Rides

2024-12-20
California Orders Uber to Fingerprint Drivers for Teen Rides

The California Public Utilities Commission (CPUC) ruled that Uber must fingerprint drivers for its teen ride-hailing service, Uber for Teens, to continue operating in the state. This decision stems from safety concerns regarding unaccompanied minors. While Uber has historically resisted fingerprint-based background checks, the CPUC cited the importance of protecting children from potential sexual offenders. The ruling significantly impacts Uber's operations, while competitor HopSkipDrive, which already employs stricter safety measures including fingerprinting, supports the decision. The added cost of fingerprinting may lead to higher prices for Uber's teen ride service.

Read more
(techcrunch.com)
Tech teen rider safety fingerprint background checks

Fermat's Last Theorem Proof: Computers Tackle a Math Challenge

2024-12-12
Fermat's Last Theorem Proof: Computers Tackle a Math Challenge

A team is attempting to prove Fermat's Last Theorem using Lean, encountering unexpected challenges along the way. Instead of relying on the original proof, they're using a modern, more generalized approach. While formalizing crystalline cohomology, they discovered an error in a key lemma, leading to a re-examination of the theory's foundations. They ultimately found a workaround using an alternative proof. This experience highlights potential errors in modern mathematical literature and underscores the need for formalized proofs.

Read more
(xenaproject.wordpress.com)
Development Fermat's Last Theorem Formalized Mathematics

Luon Programming Language: A Statically Typed Lua

2024-12-14
Luon Programming Language: A Statically Typed Lua

Luon is a new, statically-typed programming language with a syntax similar to Oberon-based languages, incorporating concepts from Lua and targeting the LuaJIT VM. Essentially a statically-typed version of Lua, it allows for the reuse of existing Lua and C libraries via external procedure declarations. Luon addresses shortcomings in Lua's error handling and code structure, offering a compiler and integrated IDE supporting procedural, generic, and object-oriented programming. The project includes extensive examples and test cases and is under active development.

Read more
(github.com)
Development statically typed

Princeton University Unveils Infinigen: An Engine for Generating Infinite Photorealistic Worlds

2024-12-23
Princeton University Unveils Infinigen: An Engine for Generating Infinite Photorealistic Worlds

Princeton University's Visual Learning Lab has released Infinigen, an engine that uses procedural generation to create infinitely varied photorealistic worlds. It can generate both indoor and outdoor scenes and offers features like camera configuration, export to various file formats, and the addition of external assets. Built on Blender and incorporating several open-source projects, Infinigen's code is publicly available with comprehensive documentation and tutorials. The research team published papers on the technology at CVPR 2023 and 2024 and encourages community contributions of code, generators, and data.

Read more
(github.com)
AI procedural generation virtual worlds

Stratoshark: Extending Wireshark to the Cloud

2025-01-22

Stratoshark is an open-source tool bringing the power of Wireshark's network analysis capabilities to cloud environments. It captures system calls and log activity, offering advanced features for troubleshooting and analysis. Sharing the dissection engine and much of the UI with Wireshark, and supporting the same file format as Falco and Sysdig CLI, Stratoshark allows seamless workflow between tools. Available for Windows, macOS, and via source code, it provides an unprecedented view into application activity in your cloud.

Read more
(stratoshark.org)
Tech network analysis

Racket School 2019: Designing Your Own Languages

2024-12-26

The "How to Design Languages" track at Racket School 2019 offered a deep dive into language-oriented programming and language building using Racket. The curriculum covered core concepts like macro expansion, modules, and type checking, reinforced with hands-on labs. Participants built simple macros and typed languages, gaining a practical understanding of language design principles. Lectures and labs provided a balanced learning experience, culminating in the ability to design and build custom languages.

Read more
(school.racket-lang.org)
Development Language Design Programming Languages

Kwai Leverages OceanBase's 400TB Single Cluster to Handle Massive Data

2024-12-28

Kwai, a short-video app with over 10 million daily active users, faced challenges with its existing MySQL sharding solution as data volume and concurrent requests grew. Storage bottlenecks and complex operations became major issues. Migrating to OceanBase distributed database, Kwai built a 400TB single cluster successfully supporting transaction verification and payment services. OceanBase's high performance, scalability, and ease of use solved Kwai's data storage and query problems, significantly improving system stability and efficiency while reducing operational costs.

Read more
(oceanbase.github.io)
Tech distributed database high concurrency

pl_synth: A Tiny JSON-Based Music Synthesizer

2025-01-06

Dominic Szablewski of PhobosLab released pl_synth, a lightweight C/JS music synthesizer and accompanying tracker editor. Inspired by Sonant, pl_synth prioritizes small code and data size and leverages WASM to drastically improve the JavaScript version's performance, reducing music generation time from 5 seconds to 25 milliseconds. It supports various instruments and effects, features undo/redo functionality, and allows embedding the final product directly into a URL. pl_synth is now bundled with the high_impact game engine.

Read more
(phoboslab.org)
Development music synthesizer

One Woman Dev Team Reaches Two Million Users

2024-12-17

Nadia Odunayo, a software engineer, built The StoryGraph, a reading community app with over a million users, as a solo developer. The StoryGraph helps users track their reading and recommends books based on mood and preferences. This inspiring story highlights Odunayo's grit, technical skills, and the 'one-person framework' she used to achieve this impressive feat. It offers valuable insights for aspiring solo developers.

Read more
(brightonruby.com)
Development solo development reading community user growth

Pink Floyd's 'Young Lust': A Hidden History of Telephone Technology

2025-01-02

The mysterious phone call at the end of Pink Floyd's 'Young Lust' isn't just random noise; it's a snapshot of 1979's technological transition in telephony. This article deciphers the various tones – multi-frequency (MF), single-frequency (SF) signaling, and switch interactions – revealing the shift from electromechanical to electronic digital systems. The recording, meticulously planned, captures the complexities of an international call, offering a fascinating glimpse into technological history.

Read more
(telephoneworld.org)
Tech Telephone Technology

Best Practices for Representing Inheritance in SQL Server Databases

2024-12-17
Best Practices for Representing Inheritance in SQL Server Databases

This article explores best practices for representing inheritance relationships in SQL Server databases. Three common approaches are presented: single table inheritance, concrete table inheritance, and class table inheritance. The advantages and disadvantages of each are detailed. Single table inheritance is simple but has scalability and data integrity issues; concrete table inheritance solves these but suffers from inefficient queries; class table inheritance balances simplicity and efficiency, making it the preferred choice in most scenarios. Alternative approaches using JSON for subtype-specific fields and normalized database design are also discussed.

Read more
(stackoverflow.com)
Development Database Design Inheritance

Autodesk Forum Archiving Update: Community Backlash and Adjustments

2025-01-27

Autodesk's recent forum archiving policy changes sparked a significant community backlash. The initial plan to archive a large number of forum posts, including valuable code and solutions, resulted in information loss and user complaints about broken links and missing knowledge. Facing pressure, Autodesk revised its policy, stating that Idea Boards will not be archived and that forum threads with 'accepted solutions' will be preserved along with related posts. They are working to recover some archived content, but due to technical limitations, complete restoration is not guaranteed. This incident highlights the importance of communication between the company and its users and the need for more careful handling of community content to avoid unnecessary knowledge loss.

Read more
(forums.autodesk.com)
Development community forum archiving policy

Improving F# Error Handling: Introducing FaultReport

2024-12-22

This article critiques the shortcomings of F#'s Result type in error handling, highlighting inconsistencies in error types and the problems stemming from using strings as error types. The author proposes FaultReport as an alternative, using an IFault interface to standardize error types and a Report<'Pass', 'Fail> type to represent operation outcomes, where 'Fail must implement IFault. This ensures consistent and type-safe error handling, avoiding the inconveniences of string-based errors. FaultReport further provides Report.generalize for upcasting and a FailAs active pattern for downcasting, facilitating handling of diverse error types. While replacing FSharp.Core's Result is a significant undertaking, the author argues that FaultReport's design offers a valuable improvement to F#'s error handling.

Read more
(paul.blasuc.ci)
Development

Turing Machines: The Foundation of Computation

2024-12-21
Turing Machines: The Foundation of Computation

This article provides a clear and accessible explanation of Turing machines—a theoretical model of computation. Starting with the operational principles of a Turing machine, it details its components (tape, head, program, and state) and illustrates programming techniques and capabilities through several examples, including printing characters, loops, and basic arithmetic. The article also explores computability and the halting problem, explains the concept of Turing completeness, and clarifies the connection between Turing machines and modern computers. Finally, the author provides an online editor for readers to write and run their own Turing machine programs, enhancing their understanding.

Read more
(samwho.dev)
AI Turing machine computability algorithm

Datasaurus Dozen: Exposing Statistical Pitfalls

2024-12-17

Thirteen datasets, nearly identical simple descriptive statistics, yet wildly different distributions and visualizations! This is the fascinating Datasaurus Dozen. Comprising a dinosaur-shaped dataset and twelve others with varying forms, they all share almost identical means, variances, and correlations. This powerfully demonstrates the danger of relying solely on basic descriptive statistics; visualization is crucial. The Datasaurus Dozen serves as a cautionary tale, urging data analysts to prioritize visualization before analysis to avoid misleading conclusions.

Read more
(en.wikipedia.org)
AI statistical analysis data traps

The Walmart Effect: A Hidden Cost of Low Prices

2024-12-24
The Walmart Effect: A Hidden Cost of Low Prices

Walmart, known for its low prices, has long been considered a boon for lower- and middle-income families. However, two new research papers challenge this view. The studies find that while Walmart lowers consumer prices, it also leads to decreased income and increased unemployment in communities, with the negative effects outweighing consumer savings. This is attributed to Walmart undercutting local competitors, reducing jobs, and leveraging its monopsony power to suppress wages for both suppliers and employees. This raises questions about the "consumer welfare standard," which prioritizes low prices as a measure of economic health. The research suggests that a singular focus on low prices can lead to long-term economic harm, prompting a reevaluation of policy priorities.

Read more
(www.theatlantic.com)
Startup economic impact consumer welfare

Egyptian Fractions: A Journey Through Ancient Mathematics

2024-12-18

This article explores the fascinating world of Egyptian fractions, a unique mathematical system used by ancient Egyptians. Unlike modern fractions, Egyptian fractions only use unit fractions (fractions with a numerator of 1) and all denominators must be distinct. The article traces the history of Egyptian fractions, focusing on the Rhind Mathematical Papyrus, and examines their practical applications, such as fairly dividing resources. It introduces the greedy algorithm for finding Egyptian fractions and methods for finding the shortest ones, also exploring related unsolved mathematical problems, including the Erdős–Straus conjecture.

Read more
(r-knott.surrey.ac.uk)
Misc Egyptian fractions Rhind Mathematical Papyrus Number theory Mathematics history Algorithms

18th-Century Dental Horror Stories: When Tooth Extraction Could Mean Losing Your Jaw

2024-12-14
18th-Century Dental Horror Stories: When Tooth Extraction Could Mean Losing Your Jaw

This article recounts cases from Thomas Berdmore's 1768 treatise on dental disorders, painting a grim picture of 18th-century dentistry. Patients suffered immensely from oral ulcers, tartar buildup, and the often disastrous consequences of unqualified practitioners. One case describes a barber-surgeon removing a tooth along with a walnut-sized piece of jawbone! These stories highlight the primitive techniques and significant risks of the time, contrasting sharply with modern dentistry. While progress has been made, the article serves as a reminder of the ongoing challenges of access and affordability in dental care.

Read more
(thequackdoctor.substack.com)
Misc 18th-century dentistry medical history dental treatment

Tencent's Hunyuan3D 2.0: High-Resolution 3D Asset Generation

2025-01-21
Tencent's Hunyuan3D 2.0: High-Resolution 3D Asset Generation

Tencent unveils Hunyuan3D 2.0, a cutting-edge large-scale 3D synthesis system generating high-resolution textured 3D assets. Comprising two core components – the Hunyuan3D-DiT shape generation model and the Hunyuan3D-Paint texture synthesis model – it surpasses existing state-of-the-art models in geometry detail, condition alignment, and texture quality. A user-friendly platform, Hunyuan3D-Studio, simplifies manipulation and animation. Inference code and pre-trained models are now open-sourced, accessible via Hugging Face and the official website.

Read more
(github.com)
AI 3D generation diffusion models

Gates-Backed Advanced Nuclear Plant Gets Wyoming Permit

2025-01-15
Gates-Backed Advanced Nuclear Plant Gets Wyoming Permit

TerraPower's Natrium advanced nuclear power plant near Kemmerer, Wyoming, has cleared a major hurdle, receiving a construction permit from the Wyoming Industrial Siting Council. This marks the first-ever state permit for a commercial-scale advanced nuclear project in the US. While the nuclear components still await approval from the US Nuclear Regulatory Commission, the permit allows non-nuclear construction to begin, thanks to Natrium's unique design. The plant, slated to begin generating electricity in 2030, is expected to power around 250,000 homes and create roughly 1,600 jobs. Backed by Bill Gates and the US Department of Energy, the project leverages existing coal plant infrastructure, aiming to reduce reliance on fossil fuels and pave the way for global deployment.

Read more
(wyofile.com)
Tech advanced nuclear reactor sustainable energy
1 2 … 537 538 539 541 543 544 545 … 564 565