TheMatten

8 ms·

31.
by TheMatten 4y ago
Well, you can't easily use Haskell on web, at least not yet. But there's Purescript, which comes with both anonymous records and Haskell2010-ish type system with some extensions and may be an interesting choice.
32.
by TheMatten 4y ago
Android 12 supports background updates: https://developer.android.com/about/versions/12/features#aut...
33.
by TheMatten 4y ago
And of course, Haskell has equivalent too: case eqT @a @String of Just Refl -> ...
34.
Euro Truck Simulator 2: ZX Spectrum Edition(blog.scssoft.com)
48 points by TheMatten 5y ago|10 comments
35.
by TheMatten 5y ago
+1 for Glider. It's FOSS, on F-Droid, has smooth experience and looks great.
36.
by TheMatten 5y ago
I see, thanks!
37.
by TheMatten 5y ago
What are "[email protected]$$ snapshots" mentioned in the article? It seems like their CMS is automatically redacting something that resembles email address.
38.
by TheMatten 5y ago
Mostly working in languages with strong type inference, I too find many type hints in Python a little bit verbose and unnecessary for a reader. Though thing is, without giving up on some features that make inference undecidable in general (
39.
by TheMatten 5y ago
Can you though? Wouldn't it be enough to create interface that would let you view notifications of currently opened tab without giving it permission to show them through OS interface in background?
40.
by TheMatten 5y ago
Is this basically what Discord does with it's web/desktop client?
41.
by TheMatten 5y ago
One could argue that this is better covered by IDE/tooling showing you inferred types / suggestions.
42.
by TheMatten 5y ago
There's https://pub.dev/packages/gtk - has limited set of widgets ATM, but may be a good start.
43.
by TheMatten 5y ago
This really just seems to be ML-style syntax - which is not ambiguous at all, it's just different from C-like languages (functions applied one argument at a time, with function application (empty space) having the biggest precendece)
44.
by TheMatten 5y ago
After reading https://news.ycombinator.com/item?id=29104841 today and wondering why they zero one of registers using XOR on itself, it suddenly makes a lot of sense.
45.
by TheMatten 5y ago
Patat ( https://github.com/jaspervdj/patat ) supports any Pandoc input including Markdown, plus it allows embedding snippets with execution result and even images in supported terminals.
46.
by TheMatten 5y ago
I usually see "monadic" - I mean, I don't think that spelling of words in general tends to be tied to their meaning in specific contexts.
47.
by TheMatten 5y ago
I think "functorial" may be the right word - try https://en.m.wikipedia.org/wiki/Functoriality
48.
by TheMatten 5y ago
Might be relevant too related to elementary OS: https://old.reddit.com/r/elementaryos/comments/pm22kw/whats_...
49.
by TheMatten 5y ago
Adding to thewakalix's answer, many compilers use LLVM as a backend, where LLVM's IR is higher-level-than-bytecode language too. So that would mean that e.g Clang or current GHC wouldn't qualify either.
50.
by TheMatten 5y ago
From the linked documentation: > The code transparency file does not verify resources, assets, the Android Manifest, or any other files that are not DEX files or native libraries contained in the lib/ folder. > Important: The And
51.
by TheMatten 5y ago
> My go-to example of a monoid is (the set of strings, string concatenation, the empty string). There's an interesting reason why strings are a good example - when you think of `string` as `List<char>`, that `List` in it actua
52.
by TheMatten 6y ago
And for longer discussions and regular meetups, there's FP Zulip: funprog.zulipchat.com
53.
by TheMatten 6y ago
It's not about what is possible, it's about what developers eventually pick. While some privacy-focused companies seem to use more open alternatives or even implement the system themselves, most of developers simply stick with Pla
54.
Cerveau: A future-proof web app for notes(srid.ca)
4 points by TheMatten 6y ago|0 comments
55.
by TheMatten 6y ago
Well, nothing stops you from implementing equivalent wrapper using error mechanics (that could actually make it faster in some cases), but turning this idea into first-class value allows you to abstract over it easily. E.g. in Haskell, base
56.
by TheMatten 6y ago
Neuron ( https://neuron.zettel.page/ ) can be useful for this approach - it's purpose is to basically turn folder of Markdown (or Org-mode) notes into static, interlinked page with pretty formatting, tree view and search
57.
Neuron 0.6 released – Future-proof note-taking system(srid.ca)
4 points by TheMatten 6y ago|0 comments
58.
by TheMatten 6y ago
This page ( https://neuron.zettel.page/6f0f0bcc.html ) seems to sum up it's goals.
59.
by TheMatten 6y ago
One more interesting tool for managing Zettlekasten-like notes is Neuron ( https://github.com/srid/neuron ). Static websites it generates show relations between viewed notes (scroll to top of https://neuron.ze