TheMatten

7 ms·

1.
by TheMatten 8d ago
That feels a little bit reductive, at least given that non-English news is precisely what big part of population is going to consume. There isn't even an unified market for news content given the language boundaries. Not to say there a
2.
by TheMatten 1y ago
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 corresponding is
3.
by TheMatten 1y ago
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 exciting to me than the OP.
4.
by TheMatten 1y ago
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 never contains such inner value? Would it be useful? And
5.
by TheMatten 2y ago
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 matters (which it does in practice), then we don't get
6.
by TheMatten 2y ago
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 representation is a matter of performance and statically-typed l
7.
by TheMatten 2y ago
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 outside world into data of known types requires some
8.
by TheMatten 2y ago
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://news.ycombinator.com/item?id=40994552 Spec
9.
by TheMatten 2y ago
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 at a black object sitting in a room, in multiple a
10.
by TheMatten 2y ago
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(ium) is currently broken; are there plans for resolving issu
11.
by TheMatten 2y ago
Thanks a lot!
12.
by TheMatten 2y ago
What sort of API can be used for this? Is it a special proxy setting, extension or WebDriver client?
13.
by TheMatten 2y ago
This one in Haskell is coincidental, but used as a joke: ``` import Data.Function main = do let it = fix error print it ```
14.
by TheMatten 2y ago
> 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-...
15.
by TheMatten 2y ago
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 can be achieved with diacritics in Latin - take a
16.
by TheMatten 2y ago
> 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 accompanied by a language, for example visualizing graph-
17.
by TheMatten 3y ago
> 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 "ahahaha" or "a-ha
18.
by TheMatten 3y ago
> 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 wrappers may pick concrete ordering of effects in
19.
by TheMatten 3y ago
Clash isn't really a separate language, it's more of a library+scaffolding+tooling for Haskell.
20.
by TheMatten 3y ago
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 tokens/s, which is plenty fast for chatting.
21.
by TheMatten 3y ago
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?
22.
by TheMatten 3y ago
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 your secret (e.g. master password) into separa
23.
by TheMatten 3y ago
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 profiling.
24.
by TheMatten 3y ago
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.
25.
by TheMatten 3y ago
slovak 7 - Priveľa sa lúčila 8 (with "before"/"already") - Priveľa sa už lúčila
26.
by TheMatten 3y ago
> 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 - "devatenáct set osmdesát čtyři" is literally "nin
27.
by TheMatten 3y ago
OpenCamera Sensors does both and seems to work great: https://www.f-droid.org/packages/com.opencamera_sensors.app/
28.
by TheMatten 3y ago
Kvaesitso is nicely polished, minimalistic, search-oriented and available on F-Droid: https://www.f-droid.org/packages/de.mm20.launcher2.release/
29.
by TheMatten 3y ago
Neo recently covered string of similar incidents and how this seems to be a recurring problem: https://www.youtube.com/watch?v=mIiPt1YVkP8
30.
by TheMatten 4y ago
That was Bartosz Milewski, see bartoszmilewski.com .

More ›