Select Topic Area Product Feedback Feature Area Issues Body I find the following two news items on the front page: https://github.blog/changelog/2025-05-19-creating-issues-with-copilot-on-github-co...

Dependent types provide a way for programmers to write code that computes types. Type-level computations in turn may depend on values, allowing various powerful programming patterns. Moreover, even though types exhibit a rich dynamic semantics, type-checking…

On May 16th, 2025, I gained access to OpenAI's Codex research preview. Here is what I think

Olle Lögdahl's web ventures

From Imagen 4 and Veo 3 to Flow, try these new generative media tools today.

Why it’s so hard (or impossible) to buy e-books and audiobooks in smartphone apps.

Scientific discovery is driven by the iterative process of background research, hypothesis generation, experimentation, and data analysis. Despite recent advancements in applying artificial...

The cause of, and solution to, all your multicore performance problems.

Introducing Gemma 3n – the latest Google open model for accessible AI, featuring unique flexibility, privacy, and expanded multimodal capabilities on mobile devices.

Learn about Google AI Ultra, Google’s new AI subscription with the highest access to our most capable models and premium features.

Because Nvidia became one of the most valuable companies in the world, there are now two books explaining its rise and extolling the geniu...

UV kernel for Jupyter. Contribute to OKUA1/juvio development by creating an account on GitHub.

Train a computer to recognize your own images, sounds, & poses.
A fast, easy way to create machine learning models for your sites, apps, and more – no expertise or coding required.

the NSA selector eurorack module. Contribute to wenzellabs/the_NSA_selector development by creating an account on GitHub.

Microsoft blocked the email account of Chief Prosecutor of the International Court of Justice after Trump's sanctions. Critics: “We urgently need alternatives.”

Introducing Gemma 3n – the latest Google open model for accessible AI, featuring unique flexibility, privacy, and expanded multimodal capabilities on mobile devices.

Bringing in what we learned from LiteFS

The emissions from individual AI text, image, and video queries seem small—until you add up what the industry isn’t tracking and consider where it’s heading next.