But I'm sure there are plenty of people who would like to see, say, Rust with more powerful type system. Sooner or later there will be a new wave of interest and maybe someone then figures out the right combo of ergonomic and powerful to make it practical.
November 17, 2025 at 6:01 PM
But I'm sure there are plenty of people who would like to see, say, Rust with more powerful type system. Sooner or later there will be a new wave of interest and maybe someone then figures out the right combo of ergonomic and powerful to make it practical.
Tough to say. There was lots of interest and research in advanced type systems in the 2010s and I feel like the theorem proving direction panned out - for example, Lean is getting traction among top-level mathematicians and the math proof generating AI models target it. SW dev direction petered out.
November 17, 2025 at 5:58 PM
Tough to say. There was lots of interest and research in advanced type systems in the 2010s and I feel like the theorem proving direction panned out - for example, Lean is getting traction among top-level mathematicians and the math proof generating AI models target it. SW dev direction petered out.
Programming languages with dependent types might be a good term to look for. Lean and Agda are two more prominent languages in this space. They all lean more towards theorem proving than software development though.
November 17, 2025 at 6:59 AM
Programming languages with dependent types might be a good term to look for. Lean and Agda are two more prominent languages in this space. They all lean more towards theorem proving than software development though.
Yeah, I figure out being a bit behind is perfectly acceptable for a lot of usecases. For user interaction, it would be annoying - probably no-one would pick Epsio for such use initially, but I bet the temptation is there if you already use it and the results are right there in the database...
February 13, 2025 at 7:15 AM
Yeah, I figure out being a bit behind is perfectly acceptable for a lot of usecases. For user interaction, it would be annoying - probably no-one would pick Epsio for such use initially, but I bet the temptation is there if you already use it and the results are right there in the database...
Nice interview! I was left wondering if the latency in Epsio and similar systems causes problems. If you update the source data and then you want to query the results table, how do you know if it's up-to-date? Can you at least know how up to date the data is?
February 12, 2025 at 7:33 AM
Nice interview! I was left wondering if the latency in Epsio and similar systems causes problems. If you update the source data and then you want to query the results table, how do you know if it's up-to-date? Can you at least know how up to date the data is?