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

Beautiful API Keys: The uuidkey Package

2025-01-10
Beautiful API Keys: The uuidkey Package

AgentStation, aiming for improved developer experience, created the uuidkey Go package for generating aesthetically pleasing API keys. Leveraging UUIDv7, Crockford Base32 encoding, and strategically placed dashes, it produces sortable, performant, and visually appealing keys. The article details the rationale behind choosing UUIDv7 and Crockford Base32, explains the dash design, and provides usage instructions and benchmark results for the uuidkey package.

Read more
(docs.agentstation.ai)
Development API Keys

Open Source Software Supply Chain Security: A Half-Century of Challenges

2025-09-21

From the 1974 Honeywell Multics system security review highlighting concerns about 'backdoors' to the 2024 XZ attack targeting Debian systems, open source software supply chain security remains a persistent problem. This article explores the complexity of the issue, extending beyond simple dependency graphs to encompass all stages of software building and distribution, including human factors. It proposes solutions such as software authentication, reproducible builds, rapid vulnerability detection and patching, and the use of safer programming languages. Crucially, it emphasizes the importance of funding open source development, as underfunding makes projects vulnerable to malicious takeover. The XZ attack serves as a stark warning: seemingly innocuous 'free help' can conceal significant risks.

Read more
(cacm.acm.org)
Development XZ attack

Using AI as a Socratic Mirror: An Experiment in Self-Understanding

2025-05-05
Using AI as a Socratic Mirror: An Experiment in Self-Understanding

The author conducted a unique experiment in self-understanding using large language models (LLMs). Instead of relying on introspection, he aimed to gain a clearer understanding of his cognitive abilities and thinking patterns through deep conversations with AI. The process involved iteratively refining prompts to create a "cognitive altitude tracker," assessing seven cognitive dimensions. The results indicated high-level cognitive capabilities, including abstract thinking and cross-domain synthesis. The author stresses this wasn't about seeking praise, but exploring the potential and limitations of using AI for self-discovery, cautioning readers to maintain critical thinking.

Read more
(www.lucidnonsense.net)
AI Self-Reflection

Rowhammer Attacks Now Target NVIDIA High-End GPUs

2025-07-13
Rowhammer Attacks Now Target NVIDIA High-End GPUs

Researchers from the University of Toronto have demonstrated that Rowhammer attacks, previously known to affect standard DRAM, can now target GDDR6 memory on NVIDIA's high-end GPUs when ECC is disabled. This vulnerability exploits a memory bug where repeated access to one memory row causes bit flips in another. NVIDIA recommends enabling ECC for protection, especially crucial for data center admins and workstation users. While newer memory types like GDDR7 and HBM3 have built-in OD-ECC, many users disable ECC for performance or configuration reasons, increasing their risk. Check your ECC status now if unsure!

Read more
(nerds.xyz)
Tech

Fine-tuning LLMs: Solving Problems Prompt Engineering Can't

2025-06-01
Fine-tuning LLMs: Solving Problems Prompt Engineering Can't

This article explores the practical applications of fine-tuning large language models (LLMs), particularly for problems that prompt engineering can't solve. Fine-tuning significantly improves model quality, such as improving task-specific scores, style consistency, and JSON formatting accuracy. Furthermore, it reduces costs, increases speed, and allows achieving similar quality on smaller models, even enabling local deployment for privacy. Fine-tuning also improves model logic, rule-following capabilities, and safety, and allows learning from larger models through distillation. However, the article notes that fine-tuning isn't ideal for adding knowledge; RAG, context loading, or tool calls are recommended instead. The article concludes by recommending Kiln, a tool simplifying the fine-tuning process.

Read more
(getkiln.ai)
AI fine-tuning

Emergent Behaviors in LLMs: A Plausibility Argument

2025-05-08

Large Language Models (LLMs) exhibit surprising emergent behaviors: a sudden ability to perform new tasks when the parameter count reaches a certain threshold. This article argues that this isn't coincidental, exploring potential mechanisms through examples from nature, machine learning algorithms, and LLMs themselves. The author posits that LLM training is like searching for an optimal solution in high-dimensional space; sufficient parameters allow coverage of the algorithm space needed for specific tasks, unlocking new capabilities. While predicting when an LLM will acquire a new capability remains challenging, this research offers insights into the underlying dynamics of LLM improvement.

Read more
(www.johndcook.com)
AI Emergent Behavior Parameter Scaling

10-Minute EV Charging in -10°C? Michigan Engineers Crack the Code

2025-04-06
10-Minute EV Charging in -10°C? Michigan Engineers Crack the Code

University of Michigan engineers have developed a modified manufacturing process for EV batteries that solves the range vs. charging speed trade-off, especially in cold weather. By combining a stabilizing coating on the electrode with microscale channels, they achieved 500% faster charging at -10°C. This breakthrough addresses a major consumer concern, potentially boosting EV adoption by overcoming winter range anxiety and slow charging times. The technology is designed for easy integration into existing manufacturing processes.

Read more
(news.umich.edu)
Tech EV battery fast charging cold weather charging

Adult Language Learning: Listen First, Read Later?

2025-03-15
Adult Language Learning: Listen First, Read Later?

A new study reveals that adults learning a new language benefit more from initially focusing on the melody and rhythm of speech rather than written text. Czech adults listened to Māori, then were tested on distinguishing Māori from Malay. Those who simply listened performed better than those who also read subtitles; reading actually hindered their ability to discern the languages' rhythmic patterns. This suggests that adults should mimic infants, prioritizing the overall sound patterns of a language before tackling written forms, potentially unlocking the brain's inherent language acquisition mechanisms.

Read more
(theconversation.com)
Misc adult learning auditory learning

X-Ray Defense in Chess: Hidden Lifelines

2025-04-21
X-Ray Defense in Chess: Hidden Lifelines

This article, part 2 of a mini-series, explores the defensive applications of the X-ray motif in chess. It presents multiple examples demonstrating how seemingly lost positions can be salvaged using X-ray defenses. The author highlights the often-overlooked importance of defensive tactics, arguing they are as crucial as offensive ones. Six puzzles of increasing difficulty are provided to help readers understand and master X-ray defense, emphasizing the importance of considering a piece's line of sight even with intervening pieces. Indirect contact, the article shows, can hold unexpected influence.

Read more
(lichess.org)
Game x-ray defense defensive strategies

Jane Street Summer Internship Projects: Faster JSQL, Improved Torch Bindings, and Cross-Process Memory Management

2025-08-29
Jane Street Summer Internship Projects: Faster JSQL, Improved Torch Bindings, and Cross-Process Memory Management

Jane Street highlights three standout projects from this year's summer internship program: Leo Gagnon's JSQL evaluator, achieving hundreds of times speedup through indexing; Aryan Khatri's improved OCaml Torch bindings, leveraging OxCaml for safe and efficient GPU memory management; and Anthony Li's cross-process memory management library, eliminating serialization overhead with reference counting. These projects not only boost internal tools' efficiency but also contribute valuable code to the open-source community.

Read more
(blog.janestreet.com)
Development

Montana Closes the Data Broker Loophole: A Win for Privacy

2025-05-16
Montana Closes the Data Broker Loophole: A Win for Privacy

Montana has become the first state to successfully close the 'data broker loophole,' a practice that allows law enforcement to circumvent warrants by purchasing personal information from data brokers. The new law, SB 282, prohibits government agencies from using funds to obtain electronic communications data, tracking device information, financial transaction data, pseudonymous information, or 'sensitive data' (including details on personal life, religious affiliation, health status, biometric data, and precise geolocation). While law enforcement can still obtain information through warrants or consent, this legislation represents a significant step towards protecting citizen privacy and sets a precedent for other states to follow.

Read more
(www.eff.org)
Tech

Global Fossil Fuel Subsidies: A Climate Action Roadblock

2025-02-23
Global Fossil Fuel Subsidies: A Climate Action Roadblock

Massive government subsidies for fossil fuels are hindering climate change efforts worldwide. Despite pledges to reduce them, progress remains slow due to political and economic factors. Subsidies take many forms, from direct price controls to tax breaks and the externalization of environmental costs, artificially lowering fossil fuel prices and increasing consumption and emissions. The article analyzes the stubborn persistence of these subsidies, exploring opportunities and challenges for reform during energy price volatility, highlighting the need to balance climate goals with socioeconomic stability.

Read more
(theconversation.com)
Tech fossil fuel subsidies

Insane! Wingsuit Pilot Hooks Onto a Plane Mid-Air

2025-02-09
Insane! Wingsuit Pilot Hooks Onto a Plane Mid-Air

German wingsuit pilot Max Manow has achieved a world first: a mid-air plane hook maneuver. He jumped from a helicopter, flew through Hell Hole Bend in Arizona's Grand Canyon, and grabbed onto a specially modified Cessna piloted by aerobatic pilot Luke Aikins, being towed upwards before safely deploying his parachute. This incredible feat required precise calculations and immense skill, showcasing the limitless possibilities of extreme sports. Manow calls it the beginning of 'endless skydiving', opening new avenues for wingsuit flying.

Read more
(newatlas.com)
Misc extreme sports wingsuit flying stunt

Introducing 'Solsthelion': A New Word for the Holiday Season

2024-12-30

The author coined the word 'Solsthelion', a portmanteau of 'Solstice' and 'Perihelion'. The December Solstice occurs around December 21st, and the Perihelion (Earth's closest point to the Sun) is around January 4th. 'Solsthelion' thus neatly encompasses the holiday period. It's purely astronomical, devoid of cultural or historical ties. The author suggests using 'Happy Solsthelion' as a festive greeting after mid-December.

Read more
(www.solipsys.co.uk)
Misc new word solstice perihelion

Google Analytics Security Risks: A CISO's Headache

2025-04-26
Google Analytics Security Risks: A CISO's Headache

CISOs need to carefully assess the risks associated with sharing data with third parties, particularly when using Google Analytics. The article highlights that Google Analytics can inadvertently collect sensitive data, such as personally identifiable information (PII) embedded in URLs (names, emails, birthdates, etc.) or form field values. To prevent this, CISOs must ensure that when configuring Google Analytics, all query parameters, form inputs, and dynamic page elements that could contain sensitive data are filtered out. Otherwise, this data could be tracked and collected by Google Analytics, posing significant security risks.

Read more
(www.csoonline.com)
Tech

Multiple Discoveries: The Case of Prolly Trees

2025-07-01
Multiple Discoveries: The Case of Prolly Trees

Prolly trees, a novel data structure crucial to Dolt, weren't invented once, but at least four times independently. From Avery Pennarun's 2009 bup project (which predates even Noms), to Noms' 2015 coining of the term, to Inria's 2019 'Merkle Search Trees,' and DePaul University's 2020 'Content-Defined Merkle Trees,' the same fundamental data structure emerged repeatedly in different contexts. This highlights the common phenomenon of multiple discovery in science and underscores the role of demand in technological innovation. The authors, from DoltHub, discuss this phenomenon and its implications for future technology, using their own experience with prolly trees as a case study.

Read more
(www.dolthub.com)
Development Multiple Discovery

Meta's Shocking Copyright Infringement in Llama 3 Training

2025-03-23
Meta's Shocking Copyright Infringement in Llama 3 Training

Meta is accused of massive copyright infringement in the training of its large language model, Llama 3. Alex Reisner's article in The Atlantic reveals Meta's use of Libgen, a database known to contain pirated material, to train the model. Reisner discovered over 100 of his works were used without permission. Internal Meta communications show the company knowingly chose this route to avoid licensing costs and speed up the process. This has sparked outrage, with many authors coming forward to accuse Meta of copyright infringement.

Read more
(garymarcus.substack.com)
Tech

arXivLabs: Experimental Projects with Community Collaborators

2025-02-19
arXivLabs: Experimental Projects with Community Collaborators

arXivLabs is a framework enabling collaborators to develop and share new arXiv features directly on our website. Individuals and organizations working with arXivLabs embrace our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only partners with those who adhere to them. Have an idea for a project that will add value to arXiv's community? Learn more about arXivLabs.

Read more
(arxiv.org)
Development

Rungis Market: The Hidden Heart of Parisian Gastronomy

2025-09-23
Rungis Market: The Hidden Heart of Parisian Gastronomy

At 4 am, the Rungis International Market, Europe's largest fresh food market, roars to life. This bustling hub, twice the size of London's Hyde Park, employs 13,000 people and supplies 60% of the Paris region's fresh produce. This article follows Parisian restaurateur Marc-Antoine Surand on a journey through this hidden world, revealing the stories behind Parisian cuisine and the historical relocation of Rungis from central Paris, and how it reshaped the relationship between Parisians and their food.

Read more
(www.vittlesmagazine.com)
Misc gastronomy Paris Rungis Market

Microsoft Sues Service for Generating Illicit Content with its AI Platform

2025-01-11
Microsoft Sues Service for Generating Illicit Content with its AI Platform

Microsoft is suing three individuals and seven customers for running a service that generated harmful and illicit content using Microsoft's AI platform. The defendants developed tools to bypass Microsoft's safety measures, using compromised legitimate user accounts to create a fee-based platform. Operating from July to September 2024, the service used undocumented APIs and stolen API keys to generate illegal content, including pornography and violent materials. Microsoft's lawsuit cites multiple legal violations and seeks an injunction and damages.

Read more
(arstechnica.com)
Tech

Webhook Tester: Debug HTTP Requests Without Writing Backend Code

2025-05-15

Webhook Tester is a lightweight platform enabling developers to create temporary webhook endpoints for real-time inspection and debugging of HTTP requests. Integrate with Stripe, GitHub, Twilio, or any custom service and gain full visibility into requests. Capture headers, query parameters, request bodies, and more – all without backend code. Customize responses, simulate delays, and replay requests to your own servers.

Read more
(testwebhook.xyz)
Development HTTP Requests

Jargonic V2: Revolutionizing Japanese Speech Recognition

2025-05-07
Jargonic V2: Revolutionizing Japanese Speech Recognition

aiOla's Jargonic V2 sets a new standard in Japanese speech recognition. Unlike traditional ASR systems, Jargonic V2 boasts superior transcription accuracy and unparalleled recall of industry-specific jargon across sectors like manufacturing, logistics, healthcare, and finance. Its proprietary Keyword Spotting (KWS) technology enables real-time identification of niche terms without retraining or manual vocabulary curation. Benchmark tests on CommonVoice and ReazonSpeech datasets demonstrate Jargonic V2's 94.7% recall rate for domain-specific terms and significantly lower character error rates compared to competitors like Whisper v3 and ElevenLabs. This breakthrough signifies a major advancement in handling complex languages and specialized terminology, providing a more reliable speech interface for enterprise AI applications.

Read more
(aiola.ai)
AI

Correcting Bird's Proof of the Sieve of Eratosthenes: A Proof about Infinite Lists

2025-02-08

This paper corrects an erroneous proof by Richard Bird in his book *Thinking Functionally with Haskell* concerning the Sieve of Eratosthenes. Bird presents a circular, list-based implementation, but his proof hint is flawed. The authors provide a complete correctness proof by introducing new lemmas and appealing to a weakening of Bertrand's Postulate. The connection between this algorithm and David Turner's vision of "Total Functional Programming" is also explored.

Read more
(www.cambridge.org)
Development sieve of eratosthenes algorithm proof

Engineer's $2.50/Day Efficient Eating Experiment

2025-01-06

An engineer documented a 46-day experiment where he aimed to spend less than $2.50 a day on food. The blog details his daily meals, costs, culinary science, and the fun of the challenge. From tomato soup and grilled cheese to homemade cabbage rolls, salmon, pork tacos, ramen, potato pea soup, and fried chicken, he showcased impressive cooking skills and a passion for food. He shared recipes, techniques, and emphasized planning, thriftiness, and waste reduction. The experiment successfully demonstrated that delicious and healthy eating is achievable on a very limited budget.

Read more
(futureboy.us)
Misc eating experiment frugal cooking recipes

Litestream: Major Update Brings Fast Point-in-Time Restores and Lightweight Read Replicas

2025-05-20
Litestream: Major Update Brings Fast Point-in-Time Restores and Lightweight Read Replicas

Litestream, an open-source tool enabling full-stack applications to run reliably on top of SQLite by recovering from object storage, has received a major update. The improvements leverage technology from LiteFS to provide significantly faster point-in-time restores (PITR), simplify replication management using object storage's compare-and-swap capabilities, and introduce lightweight read replicas based on a virtual filesystem (VFS). These changes enhance Litestream's reliability and ease of use, particularly when dealing with numerous databases. The update also positions Litestream to better support LLM code development by providing PITR as a primitive for rollbacks and branching.

Read more
(fly.io)
Development

AI Music: The Silent Revolution Sweeping the Charts

2025-09-01
AI Music: The Silent Revolution Sweeping the Charts

Forget guitars and keyboards; a new wave of music creation is here, driven by AI. Oliver McCann, using the stage name imoliver, proves that musical talent isn't a prerequisite for chart success. His AI-generated tracks have garnered millions of streams, leading to a record deal—a first for an AI musician. This rise of AI music tools, however, has sparked a flurry of copyright lawsuits from major record labels. Simultaneously, AI's democratizing effect is empowering hobbyists, who are using it to create music at an unprecedented scale. Despite controversies over quality and ownership, the potential of AI music to reshape the industry is undeniable.

Read more
(apnews.com)
Tech

Amiga Linux Port: A Community Collaboration

2025-07-05

This email details Guenther Grau's decision to join the AmigaLinux porting project. He's been following Unix on Amiga for two years and believes Hamish's AmigaLinux port is the most promising, as it has a working kernel, albeit lacking drivers. Guenther wants to join the project to avoid reinventing the wheel and aims to get Unix running on the Amiga quickly.

Read more
(groups.google.com)
Development OS Porting

!Camera: Redefining Mobile Photography

2025-06-05
!Camera: Redefining Mobile Photography

Say goodbye to boring mobile photography! !Camera is a camera app with a fully 3D interface, dynamic lighting, sounds, and custom haptics that evoke the tactile experience of holding a premium camera. It uses SuperRaw™ photo processing to preserve natural film grain and supports saving RAW files in DNG format. Furthermore, it features professional-level color grading with built-in presets and LUTs (look-up tables) for stunning results without post-editing. Importantly, it prioritizes user privacy, storing all photos locally on your device.

Read more
(notbor.ing)
Design photography app 3D camera interface

JIT Compiler Challenge: From Toy Calculator to Machine Code in Rust

2025-02-27
JIT Compiler Challenge: From Toy Calculator to Machine Code in Rust

This article presents a challenge: modify a simple Rust toy calculator to use a JIT compiler, generating and running machine code directly. Starting with a 20-line interpreter calculator, the article guides readers through the principles of JIT compilation and provides a high-level code framework. The article explains concepts like JIT and interpreters, and offers additional learning resources, such as how to generate and run machine code, and compiler resources for inspecting machine code. This is a challenging project suitable for developers with some Rust programming experience.

Read more
(ochagavia.nl)
Development machine code
1 2 … 79 80 81 83 85 86 87 … 596 597