JobHop v2 dataset released with 440,000 resumes
The dataset is constructed through end-to-end large language model extraction and comprises career trajectories annotated with ESCO occupational codes and quarter-level temporal information. This dataset can be used for workforce planning, job recommendation, and labour market analysis.
CF contest, 2.0h, starts Sat 18 Jul 14:35 UTC
CF contest, 2.0h, starts Sat 18 Jul 14:35 UTC
MET introduced for multilingual moral reasoning
MET is a two-step prompting method built on expert-curated, theory-based grounds drawn from psychology and moral philosophy. It addresses the gaps in existing work by introducing a multilingual moral decision-making benchmark and a theory-grounded reasoning method.
VoxENES 2026 benchmark for speech spoofing detectors
The benchmark evaluates the performance of speech spoofing detectors against contemporary speech synthesis methods and post-processing conditions. The results highlight the reliance on brittle artifacts in current detectors and the need for more robust methods.
Managing AI investments in the agentic era
Enterprises can manage AI investments by measuring useful work per dollar, improving efficiency, and scaling high-value workflows. This approach can help organizations maximize the benefits of AI while minimizing costs.
JobHop v2 dataset released with 440,000 resumes
The dataset is constructed through end-to-end large language model extraction and comprises career trajectories annotated with ESCO occupational codes and quarter-level temporal information. This dataset can be used for workforce planning, job recommendation, and labour market analysis.
MET introduced for multilingual moral reasoning
MET is a two-step prompting method built on expert-curated, theory-based grounds drawn from psychology and moral philosophy. It addresses the gaps in existing work by introducing a multilingual moral decision-making benchmark and a theory-grounded reasoning method.
VoxENES 2026 benchmark for speech spoofing detectors
The benchmark evaluates the performance of speech spoofing detectors against contemporary speech synthesis methods and post-processing conditions. The results highlight the reliance on brittle artifacts in current detectors and the need for more robust methods.
Managing AI investments in the agentic era
Enterprises can manage AI investments by measuring useful work per dollar, improving efficiency, and scaling high-value workflows. This approach can help organizations maximize the benefits of AI while minimizing costs.
Claude Science AI workbench released
Claude Science is a customizable app that integrates tools and packages researchers use, produces auditable artifacts, and provides flexible access to computing resources. It can help scientists streamline their workflows and improve productivity.
Fable 5 redeployed globally
Fable 5 is being redeployed globally, and an industry-wide framework for scoring jailbreak severity is being proposed. This framework can help standardize the evaluation of jailbreaks and improve overall security.
ATL Saathi AI tool launched
ATL Saathi is a Gemini-powered AI tool that empowers Indian educators in robotics labs. It can help teachers develop innovative projects and improve student learning outcomes.
ChatGPT Work for data science teams
ChatGPT Work can help data science teams build root-cause briefs, impact readouts, and other documents from real work inputs. It can improve productivity and streamline workflows.
ChatGPT Work for sales teams
ChatGPT Work can help sales teams create pipeline briefs, meeting prep packets, and other documents from real work inputs. It can improve sales productivity and effectiveness.
Anthropic invites public questions on AI
Anthropic is asking the public for their hardest questions about AI and committing to show their work as they address them. This approach can help build trust and improve transparency in AI development.
Solar Dev Board for ESP32
The Solar Dev Board is a development board for the ESP32 chip that can be used in a variety of situations. It is a versatile and useful tool for developers and makers.
Call for topics for 2026 Maintainers Summit
The Maintainers Summit is an annual gathering of kernel developers and maintainers to discuss development-process issues. The call for topics is now open, and submissions are due by July 24.
Security updates have been issued by Debian (chromium, libxfont, mesa, opam, and wireless-regdb), Fedora (acl, attr, chromium, cjson, composer, docker-compose, jfrog-cli, librabbitmq, libssh2, libXfont2, log4cxx, OpenIma…
Security updates have been issued by Debian (chromium, libxfont, mesa, opam, and wireless-regdb), Fedora (acl, attr, chromium, cjson, composer, docker-compose, jfrog-cli, librabbitmq, libssh2, libXfont2, log4cxx, OpenImageIO, openssh, p11-kit, perl-Crypt-DSA, perl-HTML-Gumbo, prometheus, python-dulwich, python-idna, python-pillow, python-tornado, sssd, tmux, upower, webkitgtk, xorg-x11-server, and xorg-x11-server-Xwayland), Mageia (libarchive and vim), Oracle (389-ds:1.4, buildah, cups, edk2, freerdp, golang, grafana, gstreamer1-plugins-bad-free, gstreamer1-plugins-good, gstreamer1-plugins-ugl…
Security updates have been issued by AlmaLinux (389-ds:1.4, buildah, freeipmi, freerdp, gegl, gimp, golang, kernel, libreoffice, maven:3.9, openexr, perl-DBI, plexus-utils, podman, tomcat, tomcat9, xorg-x11-server, and x…
Security updates have been issued by AlmaLinux (389-ds:1.4, buildah, freeipmi, freerdp, gegl, gimp, golang, kernel, libreoffice, maven:3.9, openexr, perl-DBI, plexus-utils, podman, tomcat, tomcat9, xorg-x11-server, and xorg-x11-server-Xwayland), Debian (imagemagick, p7zip, and redis), Fedora (breezy, calibre, and golang-github-openprinting-ipp-usb), Mageia (ffmpeg, gzip, haproxy, libheif, libtiff, libxml2, packages, perl-List-SomeUtils-XS, and perl-Socket), SUSE (alsa, chromedriver, curl, dhcpcd, docker-compose, glibc, haproxy, ImageMagick, jq, kernel, kubernetes, libpng15, libredwg-devel, lib…
Tetragon , the BPF-based security monitoring tool, uses BPF to monitor different aspects of a running kernel and enforce user-specified policies. It sends its data to a user-space process, which forwards the data to a ce…
Tetragon , the BPF-based security monitoring tool, uses BPF to monitor different aspects of a running kernel and enforce user-specified policies. It sends its data to a user-space process, which forwards the data to a central monitoring service elsewhere in the network, however. This presents a point of vulnerability: if an attacker can kill Tetragon's user-space agent, it won't be able to properly report on the situation. Song Liu, Mahé Tardy, and Liam Wiseheart spoke about their work removing the need for the user-space agent at the 2026 Linux Storage, Filesystem, Memory-Management, and BPF …
Cisco has some unusual challenges when it comes to deploying security patches across the company's many devices running custom kernels. John Fastabend spoke about his work preventing exploits with BPF at the 2026 Linux S…
Cisco has some unusual challenges when it comes to deploying security patches across the company's many devices running custom kernels. John Fastabend spoke about his work preventing exploits with BPF at the 2026 Linux Storage, Filesystem, Memory-Management, and BPF Summit . The technique could substantially reduce the time necessary to respond to kernel vulnerabilities, but it will not be fully effective unless more hooks are added to the kernel.
CF contest, 2.0h, starts Sat 18 Jul 14:35 UTC
CF contest, 2.0h, starts Sat 18 Jul 14:35 UTC
I'm fascinated by the generative AI wave rolling over us, and wondered if AI could create a language that it might prefer using over the ones created by and for humans.<p>To create the design, I had AI analyze the A…
I'm fascinated by the generative AI wave rolling over us, and wondered if AI could create a language that it might prefer using over the ones created by and for humans.<p>To create the design, I had AI analyze the ASTs of several mainstream languages plus a few of the conceptually groundbreaking but esoteric ones (listed in the README) and then create a new structure and new syntax. It was named after the Jacquard machine (<a href="https://en.wikipedia.org/wiki/Jacquard_machine" rel="nofollow">https://en.wikipedia.org/wiki/Jacquard_machine</a>), a p…
Randomised testing is a widely-used approach to software validation, yet its theoretical foundations remain thin. In particular, the fundamental question of what it means for a set of inputs to be \emph{generable} has go…
Randomised testing is a widely-used approach to software validation, yet its theoretical foundations remain thin. In particular, the fundamental question of what it means for a set of inputs to be \emph{generable} has gone unanswered in both the literature and folklore. We present the first complexity-theoretic foundations for random generators in software testing. We model generators as Turing transducers that consume random bits and produce string-encoded outputs, and show that the theoretically generable languages coincide exactly with the recursively enumerable languages. This has direct i…
We introduce a notion of convergence for the nodes and edges of a control-flow graph that captures whether a barrier placed at that location is guaranteed to synchronize all threads of a thread block in every execution. …
We introduce a notion of convergence for the nodes and edges of a control-flow graph that captures whether a barrier placed at that location is guaranteed to synchronize all threads of a thread block in every execution. Convergence analysis lets a compiler determine when a barrier lies in a uniformly executed region and therefore avoid the code transformations otherwise required to implement thread-block barriers correctly on warp-synchronous hardware. We formalize convergent nodes, convergent edges, and well-synchronized programs; give two inference rules (a branch rule and a merge rule); and…
We present Parcas, a concurrent separation logic for verifying the parallel time complexity of fork-join programs. In order to abstract from the specifics of the machine, time complexity for parallel programs is given in…
We present Parcas, a concurrent separation logic for verifying the parallel time complexity of fork-join programs. In order to abstract from the specifics of the machine, time complexity for parallel programs is given in terms of two metrics: the work, measuring the total number of operations, and the span, measuring the longest chain of sequential dependencies. Together, these two metrics determine the running time on any number of processors. For proving bounds on the work and span, Parcas is equipped with work credits and span credits, logical devices that represent permissions to incur cos…
Modern cloud data warehouses decouple compute from storage, making it easy for organizations to access the same underlying data with multiple compute clusters. This flexibility is often used for performance isolation amo…
Modern cloud data warehouses decouple compute from storage, making it easy for organizations to access the same underlying data with multiple compute clusters. This flexibility is often used for performance isolation among diverse workloads, so that each workload meets its latency service-level objective (SLO) more reliably. For example, interactive dashboards, ad hoc analysis, and batch jobs can each run on separate clusters. However, this dedicated-cluster approach requires each compute cluster to be continuously scaled to adapt to workload evolution, with over-provisioning wasting resources…
Large language models are increasingly used to find bugs in real-world programs, but they also produce a flood of false alarms that waste developers' time. We propose a method to prevent these false alarms by requiring a…
Large language models are increasingly used to find bugs in real-world programs, but they also produce a flood of false alarms that waste developers' time. We propose a method to prevent these false alarms by requiring an LLM to accompany each bug report with a machine-checked proof, in a program logic, that the reported bug is real. We follow the approach of incorrectness logics, whose under-approximate reasoning establishes that a claimed behavior is genuinely reachable, and hence a true positive. In our case, however, the logic must model a realistic programming language, have a mechanizati…
Self-hosted game stream host for Moonlight.
Self-hosted game stream host for Moonlight.
WeChat local data CLI released
The CLI uses a daemon architecture, allowing for efficient data management. This tool can be useful for developers working with WeChat data.
Graphify-Labs/graphify AI coding assistant
Graphify can handle various file types, including code, SQL schemas, and documents. It creates a queryable knowledge graph, making it easier to navigate and understand complex projects.
Prefect workflow orchestration framework
Prefect is designed to build resilient data pipelines, providing a robust framework for managing complex workflows. It can be used in a variety of applications, from data science to DevOps.
PrimeIntellect-ai/verifiers library released
The library provides a set of tools for evaluating and improving reinforcement learning environments. It can be used to develop more efficient and effective RL models.
ORB-SLAM3 library released
ORB-SLAM3 is an open-source library for visual, visual-inertial, and multi-map SLAM. It provides an accurate and efficient solution for various SLAM applications.