Latest Tech News

Stay updated with the latest in technology, AI, cybersecurity, and more

Filtered by: typ Clear Filter

Basic dependency injection in OCaml with objects

In his article Why I chose OCaml as my primary language, my friend Xavier Van de Woestyne presents, in the section Dependency injection and inversion, two approaches to implementing dependency injection: one using user-defined effects and one using modules as first-class values. Even though I’m quite convinced that both approaches are legit, I find them sometimes a bit overkill and showing fairly obvious pitfalls when applied to real software. The goal of this article is therefore to briefly hig

Gboard on Pixel 10 brings better voice typing and proofreading

TL;DR Google is upgrading the typing experience on Pixel 10 with new AI features. The improvements include rewriting, better proofreading, and voice typing, all enhanced by Google’s Gemini. These features are arriving first on the Pixel 10 series devices, but we hope to learn more about wider availability soon. Moving forward, AI is expected to dominate announcements for new smartphones while hardware takes the back seat. That’s what we with the launch of the Pixel 10 series, where Google sho

An Update on Pytype

An update on pytype TL;DR: The last supported Python version for Pytype will be 3.12. We are still very actively interested in the space of Python type checking, but shifting our investments towards new ideas and different frameworks. Pytype's development began in 2012 to meet Google developers' demand for compile-time checking. Pytype started with using type inference and interface files, and then switched to inline annotations (while retaining the inference engine) after the acceptance of PE

The best portable monitors in 2025

Whether you're working on the go, gaming away from your desk or just want a second screen to boost your productivity, a portable monitor can be a handy solution. These lightweight displays are perfect for adding more screen space to your setup without taking up much room — especially useful if you're using a compact laptop or traveling often. Many of the best portable monitors now support USB Type-C connections for easy plug-and-play setups, and some even run entirely on USB power, so you don

Type-machine

Using Template Haskell to derive the structure of records and simulate structural subtyping Type-machine Code available on GitHub, package available on Hackage. Introduction In Haskell, we usually model data using algebraic data types, like this: 1 data Maybe a = Nothing | Just a Here we defined a Maybe type, which has two constructors, Nothing and Just . The Just constructor has one argument, while Nothing as none. It is common to consider these constructors’ arguments as fields, which c

Topics: data id int string type

Left to Right Programming

2025-08-17 Left to Right Programming Programs Should Be Valid as They Are Typed I don’t like Python’s list comprehensions: text = "apple banana cherry dog emu fox" words_on_lines = [ line . split ( ) for line in text . splitlines ( ) ] Don’t get me wrong, declarative programming is good. However, this syntax has poor ergonomics. Your editor can’t help you out as you write it. To see what I mean, lets walk through typing this code. words_on_lines = [ l Ideally, your editor would be to aut

Left to Right Programming: Programs Should Be Valid as They Are Typed

2025-08-17 Left to Right Programming Programs Should Be Valid as They Are Typed I don’t like Python’s list comprehensions: text = "apple banana cherry dog emu fox" words_on_lines = [ line . split ( ) for line in text . splitlines ( ) ] Don’t get me wrong, declarative programming is good. However, this syntax has poor ergonomics. Your editor can’t help you out as you write it. To see what I mean, lets walk through typing this code. words_on_lines = [ l Ideally, your editor would be to aut

Typechecker Zoo

This is a pet project of mine I’ve been working on for a while. We’re going to create minimal implementations of the most successful static type systems of the last 50 years. This will involve making toy implementations of programming languages and the core typechecking algorithms. These obviously have evolved a lot over the years, so we’ll start with the simple ones and proceed all the way up to modern dependent types. Basically a fun romp through half a century of programming language design.

MCP tools with dependent types

August 17, 2025 MCP tools with dependent types This summer, I’ve been playing a bit with writing an MCP server for Defold editor. The idea was to give Claude access to evaluating Lua code in the editor scripting context, so it can use the APIs available for querying and modifying game content. The best word to describe the experience is entertaining — it has a very vague idea of the available APIs, and prefers to experiment by evaluating code instead of browsing documentation, which results in

MCP Tools and Dependent Types

August 17, 2025 MCP tools with dependent types This summer, I’ve been playing a bit with writing an MCP server for Defold editor. The idea was to give Claude access to evaluating Lua code in the editor scripting context, so it can use the APIs available for querying and modifying game content. The best word to describe the experience is entertaining — it has a very vague idea of the available APIs, and prefers to experiment by evaluating code instead of browsing documentation, which results in

Comparison of different C libraries providing generic containers capabilities

Introduction The goal of this project is to compare several C libraries that provide some STL like capabilities of the C++ (container template) but are targeting classic C language. A STL like library for C is a C library providing several classic generic containers for the C language, like vector, list, sorted set, unordered_map, and so on. A small benchmark to compare their performance is includes in the bench directory. To do this, the same simple programs will be implemented by the librar

Alleged Kindle Petit Color prototype surfaces amid leaker’s claims of Amazon fallout

TL;DR A Reddit user posted images of an alleged Kindle Petit Color prototype with a Kaleido 3 color E-Ink display. Claimed features include “progressive color” text, adjustable saturation, detachable bezels, and a November 2025 launch. The leaker says a larger ”Kindle Carta Color” is also in development, but none of these details are confirmed. Every so often, a corporate dispute spills out in public. In the tech world, that can mean unreleased hardware suddenly hitting the internet. That’s w

What I look for in typeface licenses

Typeface licenses Process Journal I can’t remember the last time I undertook a design project where we didn’t use a commercial typeface. I often recommend these to clients because: The world of commercial typefaces is broad and it opens up a range of high-quality options for a project Using a commercial typeface is an easy way to level-up a design (though it won’t fix a bad design) Supporting independent foundries is important There’s no judgement on open source typefaces – I’m often pairi

Is Amazon testing a cheaper color Kindle?

is a senior reporter who’s been covering and reviewing the latest gadgets and tech since 2006, but has loved all things electronic since he was a kid. Posts from this author will be added to your daily email digest and your homepage feed. A Reddit user, writing in Portuguese, has shared a handful of images of what appears to be a prototype of a small Kindle with a color screen. The device shows the name Kindle Petit Color in the corner of one image, although the post author says that name hasn

OCaml as my primary language

I started using the OCaml language regularly around 2012, and since then, my interest and enthusiasm for this language have only grown. It has become my preferred choice for almost all my personal projects, and it has also influenced my professional choices. Since 2014, I have been actively participating in public conferences dedicated to programming and software development, where I often express my enthusiasm for OCaml in ways that may be a bit over the top (but always passionate). This has ea

I chose OCaml as my primary language

I started using the OCaml language regularly around 2012, and since then, my interest and enthusiasm for this language have only grown. It has become my preferred choice for almost all my personal projects, and it has also influenced my professional choices. Since 2014, I have been actively participating in public conferences dedicated to programming and software development, where I often express my enthusiasm for OCaml in ways that may be a bit over the top (but always passionate). This has ea

What's Your Curl Type? (2025)

Like, for instance, how to brush them. My mother has straight hair and didn't quite understand how to deal with my curls when I was a child, so she would deal with unruly hair the only way she knew how: by brushing it. As a result, I look like a poodle in nearly every one of my elementary school photos. According to Syed, brushing and combing curly hair is OK—but only when the hair is wet. Unsurprisingly, pin-straight Type 1 hair is the easiest to comb or brush. However, Type 4 hair is not four

Topics: curly hair says syed type

PHP compile time generics: yay or nay?

One of the most sought-after features for PHP is Generics: The ability to have a type that takes another type as a parameter. It's a feature found in most compiled languages by now, but implementing generics in an interpreted language like PHP, where all the type checking would have to be done at runtime, has always proven Really Really Hard(tm), Really Really Slow(tm), or both. But, experimentation by the PHP Foundation's dev team suggests we may be able to get 80% of the benefit for 20% of th

Why is it worth spending time on type theory? (2013)

$\begingroup$ Type theory is to set theory what computable functions are to usual functions. It's a constructive setting for doing mathematics, so it allows to deal carefully with what can or can't be computed/decided (see intensionality vs. extensionality, or the different notions of reduction and conversion in $\lambda$-calculus). Furthermore, just like category theory, it gives a great insight on how certain mathematical objects are nothing but particular cases of a general construction, in

Why is it worth spending time on type theory?

$\begingroup$ Type theory is to set theory what computable functions are to usual functions. It's a constructive setting for doing mathematics, so it allows to deal carefully with what can or can't be computed/decided (see intensionality vs. extensionality, or the different notions of reduction and conversion in $\lambda$-calculus). Furthermore, just like category theory, it gives a great insight on how certain mathematical objects are nothing but particular cases of a general construction, in

The mystery of Winston Churchill's dead platypus was finally solved

The mystery of Winston Churchill's dead platypus was unsolved - until now 3 days ago Share Save Tiffanie Turnbull BBC News, Sydney Share Save Australian Museum Before koalas became Australia's animal ambassadors, the country tried platypus diplomacy In 1943, a camouflaged ship set off from Australia to England carrying top secret cargo - a single young platypus. Named after his would-be owner, UK prime minister Winston Churchill, the rare monotreme was an unprecedented gift from a country des

Create space-saving clones on macOS with Python

Create space-saving clones on macOS with Python The standard Mac filesystem, APFS , has a feature called space-saving clones. This allows you to create multiple copies of a file without using additional disk space – the filesystem only stores a single copy of the data. Although cloned files share data, they’re independent – you can edit one copy without affecting the other (unlike symlinks or hard links). APFS uses a technique called copy-on-write to store the data efficiently on disk – the cl

Substack rival Ghost connects to the open social web with its latest public release

After months of beta testing, newsletter platform Ghost has shipped a new version of its software, Ghost 6, that allows its publishers to share their long-form content natively with the broader open social web. That means in addition to publishing their newsletters to the web, RSS, and sending them out via email, Ghost’s users can also natively connect with services like the decentralized X rival Mastodon; Meta’s Threads; Flipboard; WordPress sites that have integrated with ActivityPub, Surf, an

Show HN: Mathpad – Physical keypad for typing math symbols

Back this project to help bring it into existence. Funding ends on Sep 11, 2025 at 04:59 PM PDT. Mathpad is a specialized keypad that makes typing mathematical equations as simple as typing regular text. With over 100 mathematical symbols at your fingertips, this compact and powerful device eliminates the frustration and inefficiency of typing math on a computer. What if Mathematical Symbols Were as Easy to Type as Regular Letters? After 3 years of development, Mathpad finally makes this drea

Show HN: Mathpad – Physical keypad for typing 100+ math symbols anywhere

Back this project to help bring it into existence. Funding ends on Sep 11, 2025 at 04:59 PM PDT. Mathpad is a specialized keypad that makes typing mathematical equations as simple as typing regular text. With over 100 mathematical symbols at your fingertips, this compact and powerful device eliminates the frustration and inefficiency of typing math on a computer. What if Mathematical Symbols Were as Easy to Type as Regular Letters? After 3 years of development, Mathpad finally makes this drea

A parser for TypeScript types, written in TypeScript types

tsints a parser for typescript types, written in typescript types (no js here!) testimonials please no please I beg you — @jakebailey.dev EM WHAT THE FUCK ur deranged hell yeah i cant wait to do ludicrous shit with ts7 speeds why are you like this usage code like this import type { Parse } from "./parser/index.ts" ; type _ = Parse < "{some:[ts, 'type']}" > ; evaluates to a @babel/parser -style AST type _ = { type : "TSTypeLiteral" ; members : [ { type : "TSPropertySignature" ; key :

Topics: code parse parser ts type

The Big Oops in type systems: This problem extends to FP as well

The Big Oops in Type Systems: This Problem Extends to FP as Well Building on Casey Muratori's critique (youtube) of "compile time hierarchies that match the domain model," this problem extends beyond OOP to encompass a broader pattern in static type systems, particularly functional programming approaches that attempt to "make illegal states unrepresentable." Type systems are often ranked in a "correctness hierarchy", with Idris/Haskell at the top, Java/C# in the middle, Python/JavaScript at th

Replacing cron jobs with a centralized task scheduler

At Heartbeat, we have a lot of different tasks that need to run at a particular time. Users can create draft posts or events that get published at a certain time. Event reminders need to be sent at a certain number of hours before an event. Automated workflows can be set up that send emails or direct messages after a delay. For the longest time, all of these tasks were managed by a variety of cron scripts. We had createScheduledPosts.ts that would run every 15 minutes, scan our table of schedul

Microsoft to disable Excel workbook links to blocked file types

Microsoft has announced that it will start disabling external workbook links to blocked file types by default between October 2025 and July 2026. After the rollout, Excel workbooks referencing blocked file types will display a #BLOCKED error or fail to refresh, eliminating security risks associated with accessing unsupported or high-risk file types, including, but not limited to, phishing attacks that utilize workbooks to redirect targets to malicious payloads. This change is being introduced

Show HN: Astro dev blog template with 60 interactive colorschemes

Welcome to the example site. This site is meant to show off my custom Astro theme/template MultiTerm which creates a coder-ready blog complete with an interactive theme changer, RSS, sitemap, tagging, and markdown extensions. Tags Latest Posts # Showing Off Blog Features 2025-07-20 3 min read Since the post does not have a description in the frontmatter, the first paragraph is used. #astro Read # TypeScript's keyof and Mapped Types 2025-07-14 1 min read Explore the keyof operator and mapped