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…

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 subnoscription 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.

Red is a next-gen programming language, strongly inspired by  REBOL . Main features are: Human-friendly syntax Homoiconic  (Red is its ...

Condemned to death by firing squad, French resistance fighters put pen to paper. Their dying words can teach us how to live

🚀 Fast, reliable and easy-to-use js-to-exe compiler. - astracompiler/cli