Viewing profile — TheMatten

Glasgow Haskell Compiler project does this: https://gitlab.haskell.org/ghc/ghc/-/tree/master/testsuite/t... Every test starting with T and a number is an example created from a cor…

I've just tried it in one of the supported languages, and it seems to respond far better than any model under 24B that I've tried before. With its licensing, it sounds much more ex…

Another fun one in case someone's interested: the post shows an example of a type that may sometimes lack the inner value of a given type (`Maybe a`), but what about type that neve…

My point was about the sentence from the original post - its not the consequence of sound type system, its the consequence of choice of runtime representation. If runtime checking …

The representation would be _the_ runtime representation of those types - in the same way as TypeScript objects are just JavaScript objects with static analysis. The choice of repr…

Very nice release, Gleam looks like a good contender for "high-level Rust". Small nitpick: > One drawback of this sound type system is that converting untyped input from the outsid…

You seem to have a very specific use case in mind and I am not really sure whether Prolog is going to be a good fit, but there was recently a discussion about the language: https:/…

In a sense, doesn't speaking naturally in front of a camera require you to be more fake? It's not the easiest thing to do, trying to address audience without any feedback, looking …

Hi Andy! Deno basically restored my hope in being able to understand (T|J)S tooling, thanks for working on this amazing project. 2 questions: Support for TS in notebooks in VSCode(…

Thanks a lot!

What sort of API can be used for this? Is it a special proxy setting, extension or WebDriver client?

This one in Haskell is coincidental, but used as a joke: ``` import Data.Function main = do let it = fix error print it ```

> Wow, lord of the flies was a big lie then. This article from Guardian touched on this: https://www.theguardian.com/books/2020/may/09/the-real-lord-...

I don't think it's really about Latin vs Cyrillic. Cyrillic is indeed very natural even for Slavic languages that only use Latin (modulo language-specific tweaks), but same results…

> I can also visualize images in my head but they too are typically accompanied by some language like "I am now visualizing a Hot Dog". I can certainly have thoughts not accompanie…

> Speakers of different languages express laugh differently in English too. > > Native English speakers write "hahaha" or "ha-ha-ha", but speakers of many Slavic languages write "a…

> Monads need to wrap each other, effects are more composable It's really trickier than algebraic effects make it seem though. Haskell-ish "monad transfomers" as a stack of wrapper…

Clash isn't really a separate language, it's more of a library+scaffolding+tooling for Haskell.

Seems to be around 3 tokens/s on my laptop, which is faster than average human, but not too fast of course. On a desktop with mid-range GPU used for offloading, I can get around 12…

I can reasonably run (quantized) Mistral-7B on a 16GB machine without GPU, using ollama. Are you sure it isn't a configuration error or bug?

Page linked in the text seems to have a friendly explanation of how it works: https://anastasis.lu/ If I understand this right: you generate two keys using your identity, split you…

Another interesting implementation is Shake: https://shakebuild.com/ It is technically a Haskell DSL, but supports Ninja files, time estimates and has tools for linting and profili…

I've played it on (Arch) Linux today. It seems to work fine, and I don't see any traces of Wine/Proton/Steam Play in task manager, so I assume it's native.

slovak 7 - Priveľa sa lúčila 8 (with "before"/"already") - Priveľa sa už lúčila

> On the other other hand English does weird stuff with thousands - saying 2300 as 23 hundred. Czech often does the same thing though, both when counting and naming years - "devate…