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

AgentKit: Building Multi-Agent Networks with Deterministic Routing and Rich Tooling

2025-03-20
AgentKit: Building Multi-Agent Networks with Deterministic Routing and Rich Tooling

AgentKit is a framework for building multi-agent networks offering deterministic routing, support for multiple model providers, and rich tooling via MCP. Combined with the Inngest Dev Server and its orchestration engine, AgentKit makes your Agents fault-tolerant when deployed to the cloud. Core concepts include Agents (LLM calls combined with prompts, tools, and MCP), Networks (a simple way to get Agents to collaborate with a shared State, including handoff), State (combines conversation history with a fully typed state machine, used in routing), Routers (autonomy from code-based to LLM-based (ex: ReAct) orchestration), and Tracing (debug and optimize your workflow locally and in the cloud with built-in tracing). AgentKit supports multiple routing strategies, including code-based deterministic routing and agent-based autonomous routing, and offers a shared state mechanism for easier agent collaboration.

Read more
(github.com)
Development multi-agent network deterministic routing

Lossless Compression of Vector IDs Boosts Approximate Nearest Neighbor Search

2025-01-23
Lossless Compression of Vector IDs Boosts Approximate Nearest Neighbor Search

Researchers introduce a lossless compression scheme for vector IDs to address the high storage cost of indexes in approximate nearest neighbor search. Leveraging the fact that the order of IDs is irrelevant in many index structures, and utilizing asymmetric numeral systems or wavelet trees, the method achieves up to 7x compression of vector IDs without impacting accuracy or search runtime. This translates to a 30% reduction in index size for billion-scale datasets. Furthermore, the approach can also losslessly compress quantized vector codes by exploiting sub-optimalities in the original quantization algorithm.

Read more
(arxiv.org)
AI Approximate Nearest Neighbor Search Vector Compression Lossless Compression

JWST Detects Potentially Biosignature Gases on Exoplanet K2-18b

2025-04-17
JWST Detects Potentially Biosignature Gases on Exoplanet K2-18b

Using the James Webb Space Telescope, scientists have detected signs of dimethyl sulfide and dimethyl disulfide in the atmosphere of exoplanet K2-18b, chemicals produced by marine life on Earth. While not definitive proof of life, researchers call it the most promising sign yet of life beyond our solar system. K2-18b resides in the habitable zone, possessing the potential for liquid water, making life a possibility. This builds upon prior research identifying methane and carbon dioxide in K2-18b's atmosphere. Although alternative explanations exist, researchers are excited about the discovery and plan further investigation to confirm their findings.

Read more
(www.skyatnightmagazine.com)
Tech biosignature

US Bans Chinese Vehicles, Impacting Polestar and Others

2025-01-15
US Bans Chinese Vehicles, Impacting Polestar and Others

The US finalized a rule effectively banning the import of Chinese-made connected vehicles, even those manufactured in the US, citing national security concerns. This impacts major automakers like Ford and GM, smaller companies like Polestar, and even Waymo. The ban covers technologies like Bluetooth and Wi-Fi, aiming to prevent data collection by China. It takes effect in 2027 for software and 2030 for hardware, with exceptions for vehicles over 10,000 pounds. The auto industry strongly opposes the ban; Polestar stated it would prevent the company from selling cars in the US. This represents an escalation in US-China trade tensions and highlights growing concerns about data security and national security.

Read more
(www.theverge.com)
Tech US ban Chinese vehicles

Run Rails in Your Browser: The Magic of WebAssembly

2025-02-17
Run Rails in Your Browser: The Magic of WebAssembly

Imagine running a fully functional Rails blog in your browser—frontend and backend—without servers or clouds! WebAssembly makes running server-side frameworks locally possible, blurring the lines of classic web development. This post shows how to package a Rails app into a WebAssembly module and run it in the browser, recreating the magic of Rails' famous "15-minute blog" tutorial, but this time, your browser is the runtime. This is not just a technical demo; it showcases the boundless possibilities of WebAssembly, including offline apps and local application development.

Read more
(web.dev)
Development Browser Applications

Solving Complex Probability Problems with Model Counting

2025-02-14

This article presents a method for solving complex probability problems using propositional model counters. The author demonstrates, through a simple example, how to translate complex probabilistic relationships into Boolean logic formulas and use a model counter to compute the probability of the final event. This method can handle scenarios with complex causal chains and conditional probabilities, and has important applications in areas such as nuclear power plant safety assessment and quantitative trading. The article also provides an open-source tool, ganak, for performing model counting calculations.

Read more
(www.msoos.org)
AI probability calculation model counting causal inference

Dyna: A Declarative Language for Machine Learning Researchers

2025-08-17

Dyna is a programming language designed by and for machine learning researchers. Building upon logic programming paradigms like Datalog and Prolog, Dyna allows flexible execution orders and weighted rules, enabling complex programs to be expressed concisely. From matrix multiplication and Fibonacci sequences to CKY parsing and even infinite neural networks, Dyna achieves impressive brevity. Started in 2004 to bridge the gap between mathematical concepts and executable code, Dyna has evolved through versions 1.0 and 2.0, continuously improving and expanding its capabilities. Current research focuses on building a flexible and complete implementation using relational algebra and term rewriting, and employing reinforcement learning to optimize execution strategies.

Read more
(dyna.org)
Development declarative programming

I Want My AI to Get Mad: On the Need for Agentic AI

2025-01-29

The author envisions a future where AI agents are not mere docile tools but assertive representatives capable of pursuing his interests, even expressing 'anger.' Drawing parallels to powerful historical leaders, the author argues that anger can be a powerful tool for achieving goals. However, he also warns of the social risks of deploying such 'angry AI' on a massive scale, as anger can be misused. The article concludes with a thoughtful reflection on the future of AI and a plug for the author's startup, Subble.

Read more
(jesseduffield.com)
AI AI Ethics Future Tech

Kylie Minogue's Obscure Techno-Pop Anthem About a Font

2025-03-25
Kylie Minogue's Obscure Techno-Pop Anthem About a Font

In 1997, pop icon Kylie Minogue teamed up with producer Towa Tei for the surprisingly catchy "GBI (German Bold Italic)", a song uniquely sung from the perspective of a typeface. This wasn't just a song; it was a creative font design experiment. Artist Hiro Sugiyama created the GBI font to accompany the track, included as a data track on Tei's album and available for download. The single and font design, a blend of late-90s techno and pop culture, remain relatively obscure today, but hold a unique place in design and music history, with occasional use by select artists.

Read more
(abcdinamo.com)
Design

WebShield: A Powerful Open-Source Ad Blocker for Safari

2025-02-28
WebShield: A Powerful Open-Source Ad Blocker for Safari

WebShield is an open-source, wide-spectrum content blocker for Safari, similar to uBlock Origin. It blocks ads, trackers, cookie notices, and more, supporting custom filter lists and advanced scriptlets/extended CSS. Currently in beta, it supports macOS 14, iOS 17, and visionOS 1.3+. Entirely user-funded, it promises no ads or third-party deals. Download via TestFlight, contribute code, report bugs, or improve documentation. An App Store release and detailed documentation are coming soon.

Read more
(github.com)
Development Ad Blocker

Attack Hidden in Plain Sight: Tenant-Level Security Analysis Unmasks Malicious Activity

2025-03-31
Attack Hidden in Plain Sight: Tenant-Level Security Analysis Unmasks Malicious Activity

A security team uncovered a seemingly ordinary user login that masked a sophisticated attack targeting 24 users. The attacker used the Microsoft Azure CLI, attempting logins from a Mexican data center with no more than two attempts per user to avoid brute-force detection. They also utilized IPs from the 2001:0470:c8e0::/48 range to evade IOC-based detection. By analyzing login activity at the tenant level, rather than focusing on individual users, the team successfully identified the attack. This highlights the importance of tenant-wide log analysis to uncover malicious activities hidden within seemingly normal user behavior.

Read more
(petrasecurity.substack.com)
Tech security analysis Azure security malicious login

VectorChord-BM25: Supercharging PostgreSQL Full-Text Search

2025-03-03
VectorChord-BM25: Supercharging PostgreSQL Full-Text Search

VectorChord-BM25 is a new PostgreSQL extension leveraging the BM25 algorithm and Block WeakAnd algorithm to significantly improve the speed and accuracy of PostgreSQL's full-text search. It simplifies the search process and seamlessly integrates with PostgreSQL. Compared to ElasticSearch, VectorChord-BM25 achieves 3x higher Queries Per Second (QPS) on average for Top 1000 queries and comparable or even superior NDCG@10 scores, but requires careful alignment of tokenization strategies for fair benchmarking.

Read more
(blog.vectorchord.ai)
Development

Is Online Debate Making Us Dumber?

2025-02-17
Is Online Debate Making Us Dumber?

The internet promised a renaissance of discourse, but instead, we find ourselves engaged in low-quality arguments amplified by social media algorithms. These platforms reward conflict, making it difficult to change minds and fostering a Dunning-Kruger effect where confidence outweighs understanding. The author argues that online debate actively harms our thinking, suggesting we shift towards deep reading, writing, and more conducive environments for genuine learning, rather than focusing on winning arguments.

Read more
(www.joanwestenberg.com)
Misc online debate cognitive bias

Hacking the Yamaha DX9 to Mimic the DX7

2025-01-19

A vintage synth enthusiast reverse-engineered and rewrote the firmware ROM of the Yamaha DX9, significantly enhancing its functionality to closely match the DX7. By cleverly overcoming hardware limitations and restoring missing features like two additional operators, the hacker enabled the DX9 to load and play DX7 patches. Fixes included improved MIDI handling and a pitch envelope generator. The project's source code is publicly available, showcasing impressive technical skill and passion for vintage synthesizers, even if the target audience is small. This unexpected feat delighted the retro synth community.

Read more
(ajxs.me)
Hardware firmware hacking vintage synthesizer

TruffleRuby Update: Performance Boost and Compatibility Improvements

2025-03-20
TruffleRuby Update: Performance Boost and Compatibility Improvements

TruffleRuby, a high-performance implementation of the Ruby programming language, has released a new version with significant performance improvements and compatibility enhancements. This release fixes numerous bugs, including issues in methods such as Module#name, Module#const_added, and ObjectSpace.undefine_finalizer, and improves compatibility with OpenSSL 3.0.x and 3.x. Additionally, many new methods and features have been added, such as IO#{pread, pwrite}, Range#reverse_each, and optimizations were made to encoding negotiation and the performance of several C extensions. This update enhances TruffleRuby's stability and performance, bringing it closer to the standard Ruby implementation, MRI.

Read more
(github.com)
Development

Glicol: A Revolutionary AI Image Generator

2025-01-14

Glicol is more than just an image generator; it's a digital artist. Using unique algorithms and models, it transforms text descriptions into images with diverse styles and rich details. It goes beyond common image styles, producing stunning results with subtle user adjustments. Glicol heralds a new era in AI image generation, offering artists and designers unprecedented creative tools.

Read more
(glicol.org)
AI

The Magic of the Text Editor Cursor: You Always Type Out of Range

2025-03-01
The Magic of the Text Editor Cursor: You Always Type Out of Range

Have you ever wondered why, in a text editor, the cursor always seems to sit at the end of a word, allowing you to add characters seamlessly? This is actually a clever illusion. This article explores the subtle relationship between cursor position and string ranges in text editors, using the metaphor of a 'rake and its prongs' to explain why you always type 'out of range'. It also provides an improved `NSRange` extension for more accurate handling of cursor insertion points.

Read more
(christiantietze.de)
Development

Is ChatGPT's Autocomplete a UX/UI Fail?

2025-02-17
Is ChatGPT's Autocomplete a UX/UI Fail?

This article questions the UX/UI design of ChatGPT's autocomplete feature. The author argues that while autocomplete is helpful in search bars due to a limited response space and high success rate, it's disruptive in chat. ChatGPT frequently fails to predict user input, interrupting their thought process and causing frustration. The author likens ChatGPT's autocomplete to a colleague constantly interrupting conversations, questioning the design's usability and expressing confusion about its perceived value.

Read more
(honzabe.com)
Development

Apitally API Analytics: Lightweight Metadata Collection, Protecting Your Sensitive Data

2025-02-05
Apitally API Analytics: Lightweight Metadata Collection, Protecting Your Sensitive Data

Apitally's API analytics and monitoring client libraries collect only non-sensitive metadata about your endpoints, requests, and responses. This includes HTTP methods, paths, response status codes, timing, and the size of request and response bodies. Data is aggregated client-side before being sent to Apitally servers. For API request logging, the libraries allow you to configure logging details and easily mask sensitive fields, ensuring data security.

Read more
(apitally.io)
Development API Monitoring Client Libraries

Optimizing Integer Division in C++: Templates, Lambdas, and Metaprogramming

2025-03-16

This article explores several approaches to optimizing integer division in C++. Direct integer division can be inefficient, especially when the divisor is known at compile time. It starts by demonstrating the use of C++ template functions, allowing the compiler to optimize when the divisor is a compile-time constant. However, template functions can increase code complexity. The article then attempts to simplify the code using lambda expressions and template lambda expressions, but encounters issues with directly using template lambdas, requiring the use of `operator()` for invocation. Finally, it compares the pros and cons of various methods, including simple lambdas and more advanced template metaprogramming techniques, suggesting the most suitable approach depending on the context.

Read more
(lemire.me)
Development Template Metaprogramming

arXivLabs: Experimental Projects with Community Collaborators

2025-06-16
arXivLabs: Experimental Projects with Community Collaborators

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

Read more
(arxiv.org)
Tech

Running Windows 98 Smoothly in UTM SE: A How-To

2025-09-13
Running Windows 98 Smoothly in UTM SE: A How-To

This guide details how to successfully run Windows 98 within UTM SE (a QEMU-based emulator), enabling you to enjoy classic 90s Windows and DOS software. It focuses on resolving PCI device conflicts (via ACPI), choosing optimal virtual hardware (CPU, video, sound, network), and performance optimization. The author thoroughly explores the pros and cons of various hardware options and shares experiences running Windows 98 on iPad and Mac, offering valuable insights for retrocomputing enthusiasts.

Read more
(sporks.space)
Development

Run DeepSeek R1 Reasoning Models Effortlessly on AMD Ryzen AI Processors

2025-02-07
Run DeepSeek R1 Reasoning Models Effortlessly on AMD Ryzen AI Processors

DeepSeek R1, a new class of reasoning models, tackles complex tasks using chain-of-thought (CoT) reasoning, albeit with a longer response time. These highly capable, distilled DeepSeek R1 models are now easily deployable on AMD Ryzen™ AI processors and Radeon™ graphics cards via LM Studio. The article provides a step-by-step guide to running various DeepSeek R1 distillations on different AMD hardware configurations, including recommended model sizes and quantization settings for optimal performance.

Read more
(community.amd.com)
AI AI reasoning models

NIH Rescinds Final Scientific Integrity Policy

2025-03-30

The National Institutes of Health (NIH) has rescinded its Final Scientific Integrity Policy (NOT-OD-24-178) to align with the Administration's priorities. The NIH remains committed to scientific integrity and maintains multiple overlapping policies supporting it, including those on research misconduct, authorship, human and animal subject protections, and data management and sharing. This notice only affects the Final Scientific Integrity Policy and not any policies referenced within it. The NIH will also adhere to the HHS Scientific Integrity Policy.

Read more
(grants.nih.gov)
Tech scientific integrity policy change

Frozen Solid: Minnesota Woman's Miraculous Survival

2025-02-18
Frozen Solid: Minnesota Woman's Miraculous Survival

In 1980, 19-year-old Jean Hilliard was found frozen solid after a car accident near Lengby, Minnesota. She had walked for help in -20 degree weather, only to be discovered unconscious and completely frozen on a rancher's doorstep. Against all odds, she miraculously thawed and awoke at a nearby hospital. Doctors, using only heating pads and prayers, managed to revive her from a state they believed to be almost beyond recovery. While medical science offers some explanation for her survival due to slowed metabolism in hypothermia, the speed of her recovery remains astonishing. Today, Hilliard lives a normal life, the incident shaping her caution towards winter driving rather than altering the course of her life.

Read more
(www.mprnews.org)
Misc Miraculous Survival Hypothermia True Story

Blue Origin's New Glenn Rocket Achieves Orbit on Maiden Flight

2025-01-16
Blue Origin's New Glenn Rocket Achieves Orbit on Maiden Flight

After several delays, Blue Origin's massive New Glenn rocket successfully launched and reached orbit. The launch overcame engine chilling issues and a boat that strayed into the restricted zone. While the first stage booster failed to return to Earth, this marks Blue Origin's first-ever orbital flight in nearly 25 years of existence, a monumental achievement for the private space industry. This success is a major win for Blue Origin and its founder Jeff Bezos, injecting new hope into the future of space exploration.

Read more
(arstechnica.com)
Tech Orbital Flight

Guitaraoke: Automating Chord Generation for Karaoke Videos

2025-01-21
Guitaraoke: Automating Chord Generation for Karaoke Videos

To enhance his monthly Guitaraoke night, Dylan Beattie built a system that automatically displays song chords on karaoke videos. He uses the Vamp plugin to extract chord information from audio, then ImageSharp and FFMpegCore to generate a transparent video overlay with the chords, finally compositing this onto the original video. This involves audio analysis, image processing, and video composition, resulting in real-time chord display for guitarists. Future improvements include automatic beat detection and batch processing.

Read more
(dylanbeattie.net)
Development Audio Processing

Common Sweetener Shows Promise Against Drug-Resistant Bacteria

2025-04-08

Research from Brunel University London reveals that saccharin, a common artificial sweetener, can kill multi-drug resistant bacteria, including some of the world's most dangerous pathogens. Saccharin works by damaging bacterial cell walls, making them more susceptible to antibiotics. This discovery offers a potential new weapon in the fight against antibiotic resistance, leveraging a safe and widely available substance for a novel antimicrobial approach.

Read more
(www.brunel.ac.uk)
Tech saccharin antimicrobial

Computational Geometry with Probabilistically Noisy Primitives

2025-01-20

A new preprint explores computational geometry algorithms under probabilistically noisy primitive operations. Many such algorithms rely on primitives accessing input coordinates and converting them to combinatorial information. The paper considers primitives randomly producing incorrect results and investigates achieving high-probability correct outcomes without significant efficiency loss. It finds that for some problems (like convex hull construction), slowdown from repetition can be avoided, while for others (like finding closest pairs), it cannot. This connects to prior work on communication complexity using noisy comparisons to improve efficiency.

Read more
(11011110.github.io)
Development computational geometry probabilistic noise algorithm efficiency
1 2 … 576 577 578 580 582 583 584 … 596 597