Tech News

Nature Machine Intelligence

Các nhà khoa học muốn gom tất cả thông tin về thiên nhiên và động thực vật vào một bộ não máy tính khổng lồ, giúp chúng ta dự đoán chính xác hơn về thời tiết và môi trường sống của các loài vật.

Hugging Face

Nvidia vừa ra mắt các mô hình trí tuệ nhân tạo mới giúp tạo ra thế giới ảo tương tác và cảnh lái xe chân thực để thử nghiệm xe tự lái và robot.

Microsoft Research

Công cụ này giúp máy tính tự động kiểm tra xem mã nguồn do trí tuệ nhân tạo viết ra có chính xác tuyệt đối không, giống như việc kiểm tra từng phép tính trong bài toán để chắc chắn không bao giờ có lỗi.

Hugging Face

Các nhà khoa học tạo ra một môi trường giả lập đơn giản như hộp đồ chơi để giúp robot học cách làm việc nhà và hiểu vì sao chúng làm sai.

Google DeepMind

Công cụ này dự đoán trước điều gì sẽ xảy ra nếu một ký tự trong bản thiết kế cơ thể con người bị thay đổi, giống như xem trước lỗi chính tả trong một cuốn sách hướng dẫn chế tạo sinh vật.

Google DeepMind

Công cụ trí tuệ nhân tạo này giúp tạo ra các đoạn phim ngắn chất lượng cao nhanh hơn và rẻ hơn, giống như một chiếc máy quay phim tự động biến ý tưởng thành video.

Apple ML Research

Các nhà nghiên cứu tìm ra cách giúp máy tính lục tìm thông tin trong kho dữ liệu khổng lồ nhanh như chớp, giống như một thủ thư thông minh lập sẵn danh mục sách để đưa cho bạn ngay cuốn cần tìm mà không phải lật từng trang.

arXiv Hardware

Các nhà khoa học tạo ra một hệ thống thiết bị mới giúp đo nhịp tim và các chuyển động bên trong ngực một cách cực kỳ chính xác mà không cần chạm vào cơ thể người bệnh.

A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings

2.5k stars · 63.3k total

Extremely Fast Compression algorithm

313 stars · 12.6k total

Visual Studio Code

295 stars · 194.9k total

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

292 stars · 93.3k total

The library for web and native user interfaces.

244 stars · 252.1k total

Empowering everyone to build reliable and efficient software.

186 stars · 121.3k total

Ruby on Rails

152 stars · 58.9k total

Deliver web apps with confidence 🚀

128 stars · 101.2k total

The Prometheus monitoring system and time series database.

140 stars · 67.1k total

An extremely fast Python linter and code formatter, written in Rust.

107 stars · 50.5k total

Frontier artificial intelligence (AI) systems are increasingly operating over longer horizons with diminishing human oversight, raising the risk of loss of control: systems acting beyond effective human control with potentially irreversible consequences. Because such failures may

We have applied a novel combination of classic relational database modeling and modern reinforcement learning to automated intrusion response to enable inductive decision agents. Unlike previous work in the area, our approach allows agents to handle variable quantities of network

Tokamak experiments record diverse measurements, including waveforms, profiles, fields, and scalars, which are used to reconstruct the plasma, forecast its evolution, recover associated control signals, and estimate disruption risk. Most models are built separately for one task a

Contextual integrity (CI) holds that appropriate information flow depends on context-specific norms. The same disclosure may be appropriate in one context and inappropriate in another. We build a generative model of contextual integrity to study information sharing through simula

Cardiac magnetic resonance imaging (CMR) captures rich spatiotemporal information about ventricular structure and motion, but conventional risk models use only a few image-derived indices from selected cardiac phases. We present a latent dynamical model that encodes bi-ventricula

On-policy distillation (OPD) trains a student model to match a teacher's next-token distributions on student-generated prefixes. Extrapolative OPD further extends the teacher's log-probability shift relative to a reference policy to construct stronger learning targets. However, e

We establish finite-time convergence guarantee for synchronous relative value iteration (RVI) $Q$-learning for finite weakly communicating Markov decision processes (MDPs). For stochastic Krasnosel'ski\u{\i}--Mann iterations driven by a non-expansive, linearly regular map on a fi

Millimeter-wave radar resolves the micrometer displacements of a moving body as micro-Doppler, enabling gait, gesture, activity, pose and vital-sign sensing. Each task relies on a downstream model trained on real data, yet radar datasets lag orders of magnitude behind vision and

A defender anticipating an attacker needs a probability distribution over the attacker's next action from information available before that action occurs. Two structures complicate this: the attacker's behavioral regime persists and can switch within an episode, and each action c

Watermarking is a central tool for provenance in generative models, yet its application to multivariate time series remains hindered by reliability failures under post-editing attacks. We show that existing detectors, which rely on globally coupled re-encoding, suffer from bidire

The explosion of generative AI systems and concerns surrounding their rapidly scaling capabilities has led to an adversarial cycle between increasingly narrow content restrictions ("guardrails") and increasingly sophisticated structured prompting techniques ("jailbreaks"). Techno

Large Language Models (LLMs) are increasingly employed as automated judges for evaluating chatbot responses. While proprietary models can achieve high agreement with human annotators, they remain costly and difficult to deploy in practical settings. Lightweight open-source LLM ju

Large language models have made rapid progress in agentic reasoning and tool use, raising expectations for agents that can take over realistic productivity work from humans. However, current agents still struggle to finish such tasks, where success requires following long-horizon

Central to human-aligned AI is understanding the benefits of human-elicited labels over synthetic alternatives. While human soft-labels improve calibration by capturing uncertainty, prior studies conflate these benefits with the implicit correction of mislabeled data (mode shifts

Engagement features developed for English are routinely applied to Arabic, but unvocalized Arabic changes what a lexical feature measures. We introduce AraEngage, a query-defined sample of 10,000 public Arabic Facebook news posts from 2,451 pages in 57 countries (2023-2024) that

Maintainers sometimes cite a low token-similarity score as evidence that an LLM-assisted rewrite of a copyleft project is independent of the original. We test what such a score can support under \emph{source-conditioned} rewriting: a coding agent keeps the original in its working

Automated testing of mobile applications remains challenging when realistic user interactions must be reproduced and GUI behavior verified without relying on invasive mechanisms such as instrumentation or ADB-level control. Existing approaches, including DLD and R-DLD, detect dat

After a runtime or API migration, an LLM-repaired procedure can run cleanly yet return wrong results, and a release check on typical test inputs ships it. We report a preregistered study of 73 tasks covering 60 documented changes in CPython, Node.js and SQLite. Every candidate is

External validity is a central concern in empirical software engineering, yet the debate has largely focused on whether study participants are representative. How well the study objects they reason about - code, models, or requirements - are representative of each participant's o

We argue that AI slop in software development is creating a tragedy of the commons. Slop is cheap to generate but expensive to review, and its costs fall on shared resources such as reviewer capacity, which was limited even before AI assistants became widespread. Ostrom documente

Last August, looking up from the edge of an ancient river delta on Mars, the Perseverance rover’s electronic eye spied an oblong shadow crossing the distant, glowing Sun. Phobos, the Martian moon named for the Greek god of fear and panic, was transiting the solar disk. Too small

Now in their third year, the IEEE TryEngineering educator sessions continue to empower preuniversity teachers with specialized professional development programs on engineering topics and classroom-tested lessons.This year’s sessions, held across the United States, have focused on

This article is crossposted from IEEE Spectrum’s careers newsletter. Sign up now to get insider tips, expert advice, and practical strategies, written in partnership with tech career development company Parsity and delivered to your inbox for free!Hard work rarely speaks for itse

Advances in sensing, manufacturing, computational resources, and data-driven methods are enabling new approaches to electromagnetic sensing, non-destructive evaluation, and advanced materials processing. This webinar will demonstrate how the COMSOL Multiphysics software supports

A region of the brain called the striatum is critical for many cognitive and motor functions, including decision-making, control of movement, habit formation, and processing of reward. It also plays a role in addiction and is significantly affected by Huntington’s disease, schizo

When an artificial intelligence image generator produces a portrait, whose work went into it? The question sits at the center of lawsuits, licensing deals, and proposed regulations worldwide. Artists want credit. Companies want clarity. Policymakers want a way to assign responsib

Artificial intelligence models are jacks of many trades, including writing, generating images, and creating 3D models. But they aren’t as helpful when it comes to testing robots or designs for vehicles in diverse environments, since they don’t understand physics as well as they d

Một mô hình máy tính nhỏ gọn giúp điện thoại của bạn hiểu và tìm kiếm nhanh chóng giữa hình ảnh, âm thanh, chữ viết và video mà không cần kết nối mạng.

Cult.fit is using Codex to help teams across functions build tools, move faster, and change how work gets done.

Australian universities are expanding access to ChatGPT and bringing AI into teaching and learning to prepare students for an AI-enabled workforce.

Introducing GPT‑6 Cyber, OpenAI’s cybersecurity model for finding exploitable vulnerabilities and developing fixes, trained to stay within authorized scope.

Các nhà khoa học dùng máy tính thông minh để nhìn ngắm và phân tích bản đồ trái đất, giúp chúng ta bảo vệ sức khỏe cho mọi người trên toàn cầu.

Công cụ máy tính giúp tìm ra những dấu hiệu quan trọng về sức khỏe từ chiếc vòng tay thông minh mà bạn đang đeo.

Cách sắp xếp kho lưu trữ dữ liệu trên mạng thông minh hơn để các công ty không phải tốn quá nhiều tiền thuê máy chủ.

Bảng xếp hạng giọng nói máy tính bổ sung thêm giọng đọc tiếng Anh từ Ai Cập và Nigeria để giúp máy nghe hiểu nhiều vùng miền hơn.

Khung phần mềm gọn nhẹ này giúp huấn luyện các trợ lý ảo thông minh bằng cách cho chúng tự học hỏi từ những lỗi sai của mình, giống như việc dạy một đứa trẻ đi xe đạp bằng cách để bé tự tập giữ thăng bằng qua từng lần ngã.

Ngôn ngữ lập trình này giúp tạo ra các biểu đồ thông minh mà người dùng có thể bấm vào, phóng to hoặc lọc dữ liệu để khám phá câu chuyện bên trong, giống như việc chơi một món đồ chơi lắp ráp có thể thay đổi hình dạng theo ý thích.

Mỹ vừa góp một tỷ đô la để xây dựng nhà máy chuyên sản xuất các bộ vi xử lý máy tính lượng tử, giống như một xưởng đúc chuyên nhận thiết kế của các công ty khác để chế tạo giúp họ những cỗ máy tính siêu mạnh.

Các nhà nghiên cứu đang tìm cách thay thế các vật liệu hiếm và hóa chất độc hại trong việc chế tạo chip máy tính bằng những chất liệu thông dụng hơn để việc sản xuất không bị đứt gãy.

Top Of The Week HBM from Samsung and SK hynix is reportedly reaching Chinese AI chip developers through smuggling operations that exploit U.S. export-control loopholes. According to The Information, intermediaries package HBM with low-performance server processors, ship the combi

Key Takeaways: The first step in right-sizing an AI model for an embedded application is determining its purpose, including the target device functions and product features. Designers typically use a mix of compression techniques rather than a single method. Strategies include q

Most people assume the hardest part of automated driving is building the technology itself. After all, enabling a vehicle to recognize traffic signs, detect pedestrians, stay within its lane, and react to complex traffic situations sounds like an extraordinary engineering challen

Các nhà khoa học kết hợp máy tính siêu thông minh với máy tính lượng tử mới để sửa lỗi cực nhanh, giống như ghép hai bộ óc khác nhau để giải bài toán khó.

Các nhà khoa học phát triển một cách sắp xếp mới giúp máy tính lượng tử truyền thông tin giữa các nguyên tử nhanh hơn và ít bị rơi rớt dữ liệu hơn.

Giải pháp phần mềm mới giúp các con chip máy tính lưu trữ và xử lý trí tuệ nhân tạo xếp đặt dữ liệu thông minh hơn, từ đó chạy nhanh gấp đôi mà không cần đổi phần cứng.

Công cụ mới giúp thiết kế các mô hình thị giác máy tính siêu nhẹ để gắn trên máy bay không người lái nhỏ, giúp chúng tự né tránh vật cản khi bay.

Một cỗ máy tự động sử dụng camera và cánh tay thông minh để tìm mạch máu và lấy máu cho người bệnh mà không cần y tá.

Các nhà khoa học tạo ra một tập dữ liệu lớn về chuyển động của con người để giúp robot học cách cầm nắm và di chuyển giống chúng ta.

Đoạn video tổng hợp giới thiệu nhiều mẫu robot thông minh mới biết nhảy nhót, kéo đồ vật và di chuyển linh hoạt.

This extended abstract discusses a specific and, in our experience, practically relevant role for large language models (LLMs) in underwater robotics. Our main premise is that, in underwater fielding missions, the immediate difficulty is often not the synthesis of new low-level c

Existing biomimetic lower-limb prosthesis controllers are commonly designed for discrete locomotion modes, requiring separate parameterizations for level walking, ramps, and stairs. We present a mode-unified prosthesis control framework that represents knee and ankle biomechanics

Bidirectional thrust grants quadrotors a second equilibrium condition and increased control authority, expanding the envelope of possible aggressive maneuvers and enabling inverted flight, perching, and sensing. Prior geometric control approaches extend differential flatness thro

Sequential decision-making under partial observability is difficult because agents must explore to infer hidden, task-relevant information before acting effectively. Learning such information-gathering behaviors tabula rasa via online reinforcement learning is sample-inefficient,

Các kỹ sư đã tạo ra một con robot nhỏ mỏng như tờ giấy, bơi lội trong nước nhờ vào các tế bào cơ sống co giật khi có ánh sáng chiếu vào.

The highest priorities for the transition to post-quantum cryptography are the basic building blocks of authenticated key-agreement protocols such as TLS. Without these building blocks in place, secure communication on the Internet will not be possible once cryptographically rele

AI Agents now act on the web for millions of people. To a Site, an Agent can take many forms. It may be indistinguishable from a human user carrying out a task, or it might look like one visitor carrying many Users. This removes the ability for the Site to recognize, serve, and h

For ten days, auditors appointed by the Korea Internet & Security Agency (KISA) sat together with us and worked through 80 controls. That is what it took for a company headquartered in the United States, operating a global network serving Korean users, to be certified in South Ko

The web browser is very, very, very powerful software for applications, and the cost of accessing that power is going down seemingly every day. — Paul Ford, The Web Is More Than Enough Tags: browsers, paul-ford, web-development

Release: llm 0.37.1 A bugfix release for LLM, with contributions from Steven Huang, Tao An, Arjan Mossel, and XQ. Tags: llm

Trí tuệ nhân tạo có thể tự đọc sách và tự sửa lỗi để trở nên thông minh hơn, giống như một học sinh tự học ở nhà để tự nâng điểm số của mình qua mỗi ngày.

Các nhà khoa học tìm ra quy luật cho thấy nếu cho máy tính ăn nhiều dữ liệu hơn và dùng máy mạnh hơn, nó sẽ thông minh lên theo một đường thẳng có thể đoán trước được, giống như việc tập thể dục đều đặn sẽ giúp cơ bắp to lên theo thời gian.

1.5k points

722 points

663 points

620 points

511 points

516 points

484 points

466 points

378 points

268 points

92 upvotes

76 upvotes

49 upvotes

37 upvotes

29 upvotes

26 upvotes

26 upvotes

22 upvotes

I'm the author. carquet is a C11 Parquet reader/writer, about 500 KB with no Arrow dependency. On an M3 it writes compressed files 4.6–5.9x faster than Arrow C++ and reads them 1.9x faster. Most of the work went into SIMD. There are about 30 kernels across SSE4.2, AVX2, AVX-512,

From a multi-agent testing experiment to a broader discussion about how engineering teams should...

111 reactions

A few weeks ago we teamed up with Kaggle to ask a deceptively simple question: how do you actually...

104 reactions

Se você já trabalhou ou trabalha em startups, em um fluxo rápido de desenvolvimento de produto ou até...

75 reactions

👋👋👋👋 Looking back on your week -- what was something you're proud of? All wins count -- big or small...

54 reactions

Một nhóm chuyên gia giúp người dân xây dựng lại nhà cửa kiên cố và an toàn hơn sau thảm họa cháy rừng.

Khu nhà ở cho nghệ sĩ tại Bỉ được thiết kế nhỏ gọn, thân thiện với thiên nhiên và có thể dễ dàng tái sử dụng vật liệu.

Ngôi nhà bên vách đá ở Hy Lạp được thiết kế khéo léo để nương theo sức gió và cảnh quan thiên nhiên hiểm trở.

Nhà máy rượu Chun’an ở Trung Quốc được thiết kế giống như những ngôi nhà cổ truyền thống, sử dụng các bức tường trắng và mái ngói đen để tạo ra một không gian thanh bình, giống như những nét vẽ trên bức tranh thủy mặc.

Trung tâm giáo dục mới tại New Mexico kết hợp không gian học tập và vui chơi để giúp mọi người học đọc tốt hơn.

Công trình nghệ thuật công cộng này lấy cảm hứng từ bậc thềm truyền thống để tạo chỗ ngồi và kết nối mọi người với nhau.

Designing the invisible. IRIS CERAMICA GROUP OFFICIALLY OPENS THE NEW ICG GALLERY DUBAI WITH A MULTISENSORY EXPERIENCE On the occasion of Dubai Design Week, Iris Ceramica Group officially opens the doors of the new ICG Gallery Dubai with “Designing the Invisible”, an experiential

The idea of transportation infrastructure tends to be more hostile than interesting: spaces of transit, of constant encounters with strangers, places that no one seems to claim. These structures organize movement and provide spaces that often operate around the clock. The unbuilt

Utopia is commonly understood as an imagined ideal society or place where political, social, and living conditions are fundamentally different from those of the present. Derived from Greek, the word literally means "no-place" or "nowhere." Although utopia may not exist in reality

In the nineteenth century, driven by the Industrial Revolution, the rise of the machine age, rapid population growth, and increasingly pressing demands for urban space, Europe saw the emergence of the first modern reflections on the city. More importantly, this period marked the

A couple practicing urology and internal medicine approached our office with a concise but challenging brief: two clinics of different specialties merged into one unified volume. The site occupies a corner along fairly trafficked roads in suburban Matsuyama.

The Powerhouse Parramatta museum in Sydney by architecture studios Moreau Kusunoki and Genton, which is described as the largest cultural project in Australia since the Sydney Opera House, is set to open tomorrow. Located on the banks of the Parramatta River in western Sydney,

🔗 Cũng đưa tin: ArchDaily

Steel columns support the expansive canopy of this green-roofed pavilion at 195 District Park in Providence, Rhode Island, which has been completed by New York-based studio Architecture Research Office. Conceived by the studio as a “year-round amenity” for the public, the 195

Architects the world over feel they're getting a rough deal on remuneration. Are they right to be annoyed? And how can the profession make more money from its work? Listen to the latest episode of Dezeen Weekly now. In this episode, Jennifer Hahn is joined by Nat Barker and To

The conversion of a dilapidated high-street building into a public library in Paisley, Scotland, shortlisted for the RIAS Andrew Doolan Best Building in Scotland Award, features in this video by photographer Jim Stephenson. The film forms part of a series being published by De

Landscape architecture studio SWA has designed a modular system that can be deployed around the city in an effort to create a more comfortable streetscape in Houston, Texas, USA. The Cool & Connected Corridors project seeks to retrofit the streets of Houston with cooling infra

Brooklyn-based practice Studio Shea has completed a metal-clad library with a central atrium that draws on the civic and industrial context of its site in South Carolina, USA.  Clinton Public Library serves a railroad junction town of less than 8,000 residents.

Một nhóm chuyên gia kiến trúc đang tìm ra các cách xây dựng nhà cửa mới để chống chọi tốt hơn với cháy rừng.

Một bảo tàng nghệ thuật lớn ở Úc với khung thép đan lưới độc đáo đã mở cửa đón khách tham quan.

Nhiều công trình kiến trúc thí nghiệm cho phép thiên nhiên trực tiếp thay đổi hình dạng của chúng theo thời gian.

Một thư viện công cộng nhỏ ở Miami được bọc bằng vật liệu đặc biệt để chịu được những cơn bão lớn nhất.