Bettors are using death threats to try to get The Times of Israel's military correspondent to change his report on a missile impact in central Israel. This is his alarming account

Khaled Bani Odeh's parents and two brothers were shot dead as they drove home from a shopping trip in the occupied West Bank.

First open-source code agent for Lean 4.

Experts say that claims UK data remains under government ownership miss the point that the company has the capability to build its own detailed picture of the British population, and even infer state secrets. Report by Charlie Young and Carole Cadwalladr

The small web is growing, and getting more active. Good news.

Investigative data journalism: quantifying fixable waste in US healthcare, one issue at a time. Open-source analysis of CMS, OECD, and federal datasets. $98.6B in savings identified so far. - rexro...

Meta recognizes the long-term benefits of jemalloc, a high-performance memory allocator, in its software infrastructure. We are renewing focus on jemalloc, aiming to reduce maintenance needs and mo…

I have been watching HomeAssistant’s progress with assist for some time. We previously used Google Home via Nest Minis, and have switched to using fully local assist backed by local first + llama.cpp (previously Ollama). In this post I will share the steps I took to get to where I am today, the decisions I made and why they were the best for my use case specifically. Links to Additional Improvements Here are links to additional improvements posted about in this thread. New Features Security C...

Claude Code skills that build complete Godot 4 projects from a game description - htdt/godogen

The ultimate over-ear listening experience — in five vibrant colors and with up to 1.5x more Active Noise Cancellation than the previous generation.

I recently picked up a Starlink Mini to use as a backup connection for my home network. The underlying technology is fascinating - thousands of satellites in low Earth orbit delivering broadband almost anywhere. With the new £4.50 standby plan, it

China, India and EU countries were among the signatories of a report that criticized the prevailing measures of economic success.

The massive crowdsourcing effort could use real-world to help robots deliver pizza.

Ethan Brown has said, “It’s just not the moment for plant-based meat," following Beyond Meat's rebrand to Beyond The Plant Protein Company

A simple terminal UI for video trimming. Contribute to emin-ozata/lazycut development by creating an account on GitHub.

NVIDIA today launched the NVIDIA Vera CPU, the world’s first processor purpose-built for the age of agentic AI and reinforcement learning — delivering results with twice the efficiency and 50% faster than traditional rack-scale CPUs.

LA JOLLA–Salk Institute scientists have found preliminary evidence that tetrahydrocannabinol (THC) and other compounds found in marijuana can promote the cellular removal of amyloid beta, a toxic protein associated with Alzheimer’s disease.

TL;DR: MCP tool definitions can burn 55,000+ tokens before an agent processes a single user message. We built the Apideck CLI as an AI-agent interface instead:an ~80-token agent prompt replaces tens of thousands of tokens of schema, with progressive disclosure via `--help` and structural safety baked into the binary. Any agent that can run shell commands can use it. No protocol support required.

What is agentic engineering? - Agentic Engineering Patterns

Large language models (LLMs) have demonstrated the promise to revolutionize the field of software engineering. Among other things, LLM agents are rapidly gaining momentum in software development, with practitioners reporting a multifold increase in productivity after adoption. Yet, empirical evidence is lacking around these claims. In this paper, we estimate the causal effect of adopting a widely popular LLM agent assistant, namely Cursor, on development velocity and software quality. The estimation is enabled by a state-of-the-art difference-in-differences design comparing Cursor-adopting GitHub projects with a matched control group of similar GitHub projects that do not use Cursor. We find that the adoption of Cursor leads to a statistically significant, large, but transient increase in project-level development velocity, along with a substantial and persistent increase in static analysis warnings and code complexity. Further panel generalized-method-of-moments estimation reveals that increases in static analysis warnings and code complexity are major factors driving long-term velocity slowdown. Our study identifies quality assurance as a major bottleneck for early Cursor adopters and calls for it to be a first-class citizen in the design of agentic AI coding tools and AI-driven workflows.