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

Voyage-3.5: Next-Gen Embedding Models with Superior Cost-Performance

2025-05-24
Voyage-3.5: Next-Gen Embedding Models with Superior Cost-Performance

Voyage AI launched Voyage-3.5 and Voyage-3.5-lite, its next-generation embedding models. These maintain the same size as their predecessors but deliver significant improvements in retrieval quality at a lower cost. Compared to OpenAI's v3-large, Voyage-3.5 and Voyage-3.5-lite show 8.26% and 6.34% better retrieval quality, respectively, while costing 2.2x and 6.5x less. Supporting multiple embedding dimensions and quantization options via Matryoshka learning and quantization-aware training, they drastically reduce vector database costs while maintaining superior accuracy.

Read more
(blog.voyageai.com)
AI embedding models

NASA Astronauts Debunk 'Abandoned' Claims: We Were Prepared, Never Felt Stranded

2025-02-15
NASA Astronauts Debunk 'Abandoned' Claims: We Were Prepared, Never Felt Stranded

NASA astronauts Suni Williams and Butch Wilmore refuted claims by Trump and Musk that they were abandoned at the International Space Station. They emphasized that the mission was a test flight, they were always prepared for potential delays, and never felt stranded or abandoned. Despite propulsion issues and leaks on the Starliner spacecraft delaying their return, NASA had already planned to return them via SpaceX's Crew-9 mission. Their return is now expected around March 12th, slightly ahead of schedule.

Read more
(www.cnn.com)
Tech

Fuzzing Concurrency Bugs with a BPF Scheduler

2025-02-14

At FOSDEM, Jake Hillion from Meta and Johannes Bechberger, an OpenJDK developer, presented their concurrency fuzzing scheduler built using the BPF scheduling framework, `sched_ext`. This scheduler deliberately introduces randomness in scheduling, causing delays and altering thread execution order to surface elusive concurrency bugs. While currently having a significant performance overhead, limiting its use to development debugging, it offers an effective way to uncover real-world logic errors and shows promise for future production use after optimization.

Read more
(lwn.net)
Development fuzzing

The Relativity of Wrong: Why 'Wrong' Isn't Always Equally Wrong

2025-08-26

This essay argues that scientific theories aren't simply 'right' or 'wrong,' but rather exist on a spectrum of accuracy. Using the evolving understanding of Earth's shape as an example—from flat to spherical to oblate spheroid to a slightly pear-shaped model—Asimov demonstrates that scientific progress is a process of refinement, not replacement. Older theories, while incomplete, often contain valuable truths that persist in later, more refined models. The author concludes that celebrating current scientific understanding is justified, even acknowledging its inherent incompleteness.

Read more
(hermiene.net)
Tech scientific progress

Small but Mighty: Exploring the Beauty of Concise Programming Languages

2025-06-06

This article explores the trade-off between the size and expressiveness of programming languages. The author argues that smaller languages like assembly are limited in expressiveness, while languages like Forth, Lisp, and Tcl achieve powerful expressiveness with concise syntax. Lua is highlighted as a small and easy-to-learn language due to its tiny core (just 27 pages!). The impact of standard libraries on perceived language size is discussed, with Ramda's extensive functionality used as an example of increased learning curve. Ultimately, the author champions the elegance and joy of small languages, suggesting that simplicity can sometimes trump expressiveness.

Read more
(ratfactor.com)
Development conciseness

A Graceful Approach to Adblock Detection: A Subtle Prompt

2025-09-09

Tired of internet ads polluting the web and the meager income they generate, the author implemented a clever solution: a non-intrusive prompt suggesting users employ ad blockers like uBlock Origin for a better online experience. The prompt only appears if no ad blocker is detected and sufficient space is available, offering an easy close button and a cookie mechanism to prevent repetition. The code is clean, using JavaScript and CSS, and considers various ad-blocking methods and browser compatibility.

Read more
(maurycyz.com)
Development

El Salvador Walks Back Bitcoin Legal Tender Status

2025-02-09
El Salvador Walks Back Bitcoin Legal Tender Status

Four years after adopting Bitcoin as legal tender, El Salvador has amended its Bitcoin Law, removing its status as legal currency but maintaining it as legal tender. This move, part of a $1.4 billion loan agreement with the IMF, aims to mitigate financial risks associated with Bitcoin's volatility. Despite the change, the Salvadoran government insists it remains a "Bitcoin country" and will continue holding Bitcoin reserves.

Read more
(reason.com)
Tech

Remove the Pedals: A Revolutionary Approach to Teaching Kids to Ride Bikes

2025-01-14
Remove the Pedals: A Revolutionary Approach to Teaching Kids to Ride Bikes

The traditional method of teaching kids to ride bikes—running alongside and letting go—often leads to frustration and tears. This article introduces a revolutionary approach: remove the pedals! By focusing first on balance, children can master this crucial skill before adding the complexity of pedaling. This method makes learning to ride significantly easier and less daunting, resulting in less frustration and more successful experiences. The author's anecdote highlights a simple yet profound lesson about breaking down complex tasks into smaller, manageable steps—a principle applicable far beyond bicycle riding.

Read more
(www.fortressofdoors.com)
Misc parenting bicycle learning techniques

4.4KB Ultra-Lightweight AI Agent Executes Shell Commands via OpenRouter API

2025-08-25
4.4KB Ultra-Lightweight AI Agent Executes Shell Commands via OpenRouter API

An ultra-lightweight AI agent written in C that communicates with the OpenRouter API and executes shell commands. Key features include: direct shell command execution via AI responses; optimized binaries (4.4KB on macOS, ~16KB on Linux); sliding window memory management for efficiency; cross-platform support for macOS and Linux. Requires GCC, curl, and an OpenRouter API key. The build system auto-detects your platform and applies optimal compression (GZEXE for macOS, UPX for Linux). The code is public domain, with no license.

Read more
(github.com)
Development shell commands

Ada/SPARK Crate of the Year Awards Announced!

2025-02-09
Ada/SPARK Crate of the Year Awards Announced!

The results for the 2024 Ada/SPARK Crate of the Year Awards are in! Lionel Draghi wins the Ada Crate of the Year award for BBT, a command-line tool using easily understandable Markdown behavior specifications for automated testing. Kevin Chadwick takes home the SPARK Crate of the Year award for elogs, a memory-safe logging library (SPARK Silver certified) that allows users to specify maximum message length. Finally, Brent Seidel's embeddable Lisp interpreter, bbs_lisp, wins the Embedded Crate of the Year award, showcasing Ada's strengths in embedded systems.

Read more
(blog.adacore.com)
Development Crate of the Year

Libero: Unleash Your Programming Potential!

2024-12-28

Libero, a free software tool from iMatix, empowers programmers to write better programs. It uses visual state diagrams for program design, supports multiple languages (including C, Java, PHP), and generates program frameworks for rapid prototyping. Based on the GNU General Public License, Libero's source code is open and freely available for use and improvement. While commercial licenses are available for support and updates, Libero's core remains free.

Read more
(imatix-legacy.github.io)
Development programming tool

Flawed AI Forecasting Chart Goes Viral: A Cautionary Tale

2025-05-04
Flawed AI Forecasting Chart Goes Viral: A Cautionary Tale

METR, a non-profit research lab, released a report charting the rapid progress of large language models in software tasks, sparking viral discussions. However, the chart's premise is flawed: it uses human solution time to measure problem difficulty and AI's 50% success rate time as a measure of capability. This ignores the diverse complexities of problems, leading to arbitrary results unsuitable for prediction. While METR's dataset and discussions on current AI limitations are valuable, using the chart for future AI capability predictions is misleading. Its viral spread highlights a tendency to believe what one wants to believe rather than focusing on validity.

Read more
(garymarcus.substack.com)
AI

Pebble Smartwatches Are Officially Back!

2025-07-26
Pebble Smartwatches Are Officially Back!

The iconic Pebble smartwatch brand, after being acquired by Fitbit and subsequently disappearing, is making a triumphant return! CEO Eric Migicovsky announced the successful recovery of the Pebble trademark, meaning the new watches will officially be called Pebble watches. This is not only a nostalgic nod to the past but also a powerful statement for the brand's comeback. For fans who have been eagerly awaiting its return, this news is the cherry on top!

Read more
(www.theverge.com)
Tech Comeback

Apple Removes Torrent Client iTorrent from AltStore in EU, Demonstrating App Store Control

2025-08-28
Apple Removes Torrent Client iTorrent from AltStore in EU, Demonstrating App Store Control

Apple has removed the iPhone torrent client, iTorrent, from the AltStore PAL alternative iOS app store in the EU. This action highlights Apple's continued ability to control apps outside its official App Store. Developer Daniil Vinogradov states Apple revoked his distribution rights across all alternative iOS stores, not just AltStore PAL. While Apple bans torrent apps from its own store, the EU's Digital Markets Act allows for third-party app stores. iTorrent's addition to AltStore last July raises the question of why Apple acted now.

Read more
(www.theverge.com)
Tech

Human Body Plastic Pollution: Truth and Challenges

2025-03-10
Human Body Plastic Pollution: Truth and Challenges

Research on plastic pollution in the human body has sparked widespread concern. While numerous studies show microplastics in various human tissues and bodily fluids, limitations in research methods, such as small sample sizes, laboratory contamination, and lack of plausible biological mechanisms, cast doubt on the reliability of the results. Some studies report quantities of plastic particles in human tissues that contradict human physiological mechanisms. Therefore, stricter research standards, greater transparency, and stronger research collaboration are needed to accurately assess the risks of human plastic pollution and develop effective countermeasures.

Read more
(www.nature.com)
Tech plastic pollution

Waymo Robotaxis: Premium Price, Premium Demand?

2025-06-12
Waymo Robotaxis: Premium Price, Premium Demand?

New data reveals Waymo's self-driving taxi service consistently costs more than Uber and Lyft, averaging several dollars more per ride. Despite this higher price point, Waymo boasts 250,000 paid weekly trips. The study found Waymo's pricing is more variable, especially for short trips, potentially due to a less refined pricing model compared to its established competitors. However, consumers seem unfazed by the higher cost, with many willing to pay a premium for the driverless experience. This highlights the appeal of technological novelty and the comfort of a solo ride. Safety, however, remains a top concern, with many preferring some form of remote human monitoring.

Read more
(techcrunch.com)
Tech

The Bloat of Edge-Case-First Libraries: npm's Dependency Hell

2025-09-21

This article examines the proliferation of over-engineered libraries in the npm ecosystem. Many libraries prioritize handling rare edge cases, resulting in overly granular dependency trees. The author uses the example of `is-number`, which handles various number-like inputs when most applications only need to handle the `number` type. The solution proposed is for libraries to focus on common use cases, making reasonable assumptions about input types, and leaving edge case handling to projects that need them. This simplifies code, improves performance, and reduces unnecessary dependencies.

Read more
(43081j.com)
Development

ASML Bets Big on AI, Partners with Mistral AI

2025-09-09

Semiconductor equipment giant ASML announced a strategic partnership with French AI leader Mistral AI. ASML is investing €1.3 billion, acquiring approximately 11% of Mistral AI. This collaboration aims to integrate AI across ASML's product portfolio, R&D, and operations, accelerating time-to-market and enhancing lithography system performance for customers. Joint research will explore future opportunities, and ASML's CFO will join Mistral AI's strategic committee.

Read more
(www.asml.com)
Tech

A Wine-Powered Linux Distro: Solving Binary Compatibility and Escaping the Closed Ecosystem

2025-03-29

This article proposes a bold idea: a Linux distribution that runs Windows binaries by default via Wine. The author argues that Linux suffers from severe binary compatibility issues, with existing solutions (AppImage, Flatpak, Snap) falling short. The stability of Win32 and Wine's impressive compatibility with Windows applications offer a potential solution. This distro would come pre-installed with Wine and include minor kernel modifications for seamless Windows application execution. This not only solves Linux's binary compatibility problem but also offers a smooth migration path for users of increasingly closed Windows and macOS systems, combating the growing restrictions on user autonomy imposed by operating system vendors.

Read more
(philipbohun.com)
Development Binary Compatibility

Simplicity Wins: The Essence of Great Software Design

2025-03-07

This article argues that great software design isn't about complex language features or architectures, but about eliminating potential failure modes. The author uses personal anecdotes to illustrate how removing redundant components, centralizing state management, and using robust systems minimizes risk and increases reliability. The core message is that good design is simple and reliable, avoiding flashy features and focusing on solving problems. The author cites the Unicorn web server as a prime example of this approach.

Read more
(www.seangoedecke.com)
Development Failure Modes

Windsurf's $2.4B Acqui-hire: A Warning Sign for the AI Boom?

2025-08-09
Windsurf's $2.4B Acqui-hire: A Warning Sign for the AI Boom?

Windsurf, a SaaS company achieving a record-breaking $82M ARR in eight months, was acquired for a pittance. This article dissects the reasons: exorbitant API costs led to massive losses, revealing the company was essentially a VC-funded AI talent incubator. Google acquired its core team for $2.4B, leaving the business itself virtually abandoned. This highlights the fierce competition for AI talent and the fragility of some business models. The author warns that similar risks threaten many AI companies; not all will get Windsurf's lucky 'sell your homework' escape hatch.

Read more
(ethanding.substack.com)
Startup VC Funding

Bust of XSS Admin Sends Shocks Through Russian Cybercrime Underground

2025-08-10

Europol announced the arrest of a 38-year-old administrator of XSS, a Russian-language cybercrime forum with over 50,000 members. The arrest, stemming from a French police investigation, has sparked intense speculation about the identity of the suspect, widely believed to be the notorious figure known as “Toha.” The article delves into Toha’s history, tracing his activities across various forums and online platforms. Evidence points towards Anton Medvedovskiy, though a slight age discrepancy raises questions. The seizure of XSS and its associated Jabber server has exposed years of user data, highlighting the vulnerability of even the most secure-seeming underground communities. The event has sent ripples of fear and uncertainty through the Russian cybercrime world.

Read more
(krebsonsecurity.com)
Tech

Coercive Citations in Peer Review: A Preprint's Shocking Findings

2025-08-22
Coercive Citations in Peer Review: A Preprint's Shocking Findings

An analysis of 18,400 open-access articles reveals that reviewers are significantly more likely to approve a manuscript if their own work is cited in subsequent versions. This preprint study, analyzing data from four open-access publishers, found that reviewers who were cited were more likely to approve articles than those who weren't. The study also analyzed reviewer comments, finding that reviewers requesting citations used more coercive language when rejecting papers. This raises concerns about potential conflicts of interest and academic integrity in the peer-review process.

Read more
(www.nature.com)
Tech citation manipulation

Decoding Human Brain Language Activity with Whisper

2025-03-11
Decoding Human Brain Language Activity with Whisper

Researchers used the Whisper model to analyze ECoG and speech signals from four epilepsy patients during natural conversations. Results showed that Whisper's acoustic, speech, and language embeddings accurately predicted neural activity, especially during speech production and comprehension. Speech embeddings excelled in perceptual and motor areas, while language embeddings performed better in higher-level language areas. The study reveals how speech and language information are encoded across multiple brain regions and how speech information influences language processing. It also uncovered distinct temporal dynamics of information flow during speech production and comprehension, and differences between deep learning and symbolic models in predicting neural activity.

Read more
(www.nature.com)
AI

The Evolving Role of Junior Developers in the Age of AI

2025-05-18
The Evolving Role of Junior Developers in the Age of AI

While AI is automating coding tasks, junior developers remain crucial. Instead of writing boilerplate code, their focus shifts to debugging, system design, and collaboration. Companies neglecting junior roles risk their future talent pipeline. Successful juniors leverage AI as a learning tool, verifying its output and understanding the underlying logic. They must develop strong code reading and comprehension skills. The junior developer role is evolving, requiring adaptability and a focus on higher-level thinking, with AI handling the more mundane tasks.

Read more
(addyo.substack.com)
Development Junior Developers

Comet: The Curiosity-Powered Browser That Reimagines the Web

2025-07-12
Comet: The Curiosity-Powered Browser That Reimagines the Web

Comet is a revolutionary browser designed to fuel curiosity. It consolidates all your tabs and tasks into a streamlined workspace, empowering you to explore the web like never before. More than just a browser, Comet acts as a thinking partner, connecting ideas, boosting productivity, and turning wonder into action. It learns your thinking style, collaborates on research, and keeps your digital life organized, ensuring you stay focused and never lose track of your work. Comet allows you to quickly understand any webpage, in any language, anytime, maximizing the potential of your curiosity.

Read more
(comet.perplexity.ai)
Tech

Saving Bluesky's Protocol: Preventing the Next Tech Oligarchy

2025-01-19
Saving Bluesky's Protocol: Preventing the Next Tech Oligarchy

The experiences of Facebook and Twitter demonstrate the vulnerability of centralized social media platforms to the whims of capricious billionaires. This article calls for protecting Bluesky, built on the open AT Protocol, from a similar fate. Bluesky's decentralized architecture allows for user-defined content moderation and independent platform building, avoiding single points of control. However, the article points out Bluesky's current reliance on venture capital and advocates for creating a non-profit foundation to govern the AT Protocol, building redundant servers to ensure user data portability and platform independence, thus creating a user-driven social media ecosystem akin to Wikipedia.

Read more
(www.technologyreview.com)
Tech decentralized social media

SF Startup Seeking Experienced Engineer – Join Our Nimble Team!

2025-03-08
SF Startup Seeking Experienced Engineer – Join Our Nimble Team!

A San Francisco-based startup is hiring an experienced engineer to join its small, agile engineering team. The role involves diverse projects and large-scale data pipelines (100M+ data points monthly). Proficiency in Python, SQL, and Docker is required, with bonus points for web crawling, Kubernetes, and LLM pipeline experience. Excellent benefits include lunch, unlimited PTO, 401k, platinum health insurance, a $150k-$200k salary, and 0.5%-2% equity.

Read more
(www.ycombinator.com)
Development Data Pipeline

Artist Takes Octopus on Tokyo Tour: A Cross-Species Art Exploration

2025-07-22
Artist Takes Octopus on Tokyo Tour: A Cross-Species Art Exploration

Japanese artist Shimabuku has dedicated his life to exploring the interaction between humans and octopuses. He famously took an octopus on a tour of Tokyo and created art installations for octopuses to interact with. By observing their reactions to different colors and materials, Shimabuku attempts to understand octopus preferences and perception, resulting in playful and awe-inspiring works. His art is currently on display in the UK, prompting reflection on humanity's relationship with nature.

Read more
(www.cnn.com)
Art cross-species
1 2 … 263 264 265 267 269 270 271 … 596 597