turminal

11 ms·

91.
by turminal 4y ago
Postgres is some awesome engineering imo
92.
by turminal 4y ago
seL4 is great in theory, and formal verification is awesome, but I read some of their code recently the implementation leaves something to be desired.
93.
by turminal 4y ago
> Things like the linux kernel, all the GNU utils, emacs, vim, apache, nginx, postgres. The list goes on. We know how to write software that lasts for decades, continuously improves, and doesn't need constant re-writes. At least hal
94.
by turminal 4y ago
I'm not the author of this implementation, so I don't have sufficient understanding of the algorithm to explain why your reasoning is wrong, but the threading approach is widely known (used in e.g. Go) and is not exponential. A go
95.
Implementing Regular Expressions in Hare(harelang.org)
5 points by turminal 4y ago|5 comments
96.
by turminal 4y ago
It should have release songs, like openbsd
97.
by turminal 4y ago
> People say this about a lot of security things Unfortunately those people are often correct.
98.
by turminal 4y ago
I think the idea is "ensuring software is always up to date", so no pinning by default.
99.
by turminal 4y ago
This bug has nothing to do with language choice. I agree that better professional standards and accountability should be introduced for software like zoom though.
100.
by turminal 4y ago
> Also, if I'm reading https://go.dev/tour/moretypes/15 correctly, append is a variadic function and not a polymorphic function. That's something very different. It is both variadic and polymorphic. &
101.
by turminal 4y ago
No, it isn't detectable like that. At least not yet.
102.
by turminal 4y ago
Another pro is that it's often possible to beat the performance of said compilers in places where that matters if you're willing to put enough time into it.
103.
by turminal 4y ago
> Software ecosystem support is THE killer feature for this class of device. This is really a sad state of things and a signal something is fundamentally broken in this class of devices.
104.
by turminal 4y ago
But doing so is your personal preference, you (i hope) are not required to do so. Some people find it easier to organize their work differently or not at all. Some people are astonishingly productive despite not writing anything down, ever.
105.
by turminal 4y ago
This is a wrapper around a c++ codebase compiled with emscripten, so "pure" in the title doesn't really make sense.
106.
by turminal 4y ago
I really hate to use this metric, but the language used is often a good indicator of what qualities and values the project authors find important.
107.
by turminal 4y ago
Why would it? If you care enough to check you probably also care enough not to discard the data you attempted to write.
108.
by turminal 4y ago
and there was no LLVM :)
109.
by turminal 4y ago
The movie was released before the Dresden bombings happened.
110.
by turminal 4y ago
What, in your opinion, does functional programming bring to the table for writing things Hare is designed for?
111.
by turminal 4y ago
Sorry, but I can't agree with the take that Hare doesn't include the progress over the last 4 decades. Sure, it doesn't include every new development, but that's impossible anyway unless you're fine with being a k
112.
by turminal 4y ago
How much time did you waste?
113.
by turminal 4y ago
How does datalog the pure prolog subset store its data?
114.
by turminal 4y ago
The issue with representing them more compactly is that we'd have to make the rules much more complex and we'd also have to depart from the C abi, so while this is something we might look into in the future it's not very like
115.
by turminal 4y ago
Code dealing with tagged union matching is going to be completely rewritten and support added for match exhaustiveness checks and matching on pointers to tagged unions without copying the tagged union and its values. The ability to do the
116.
by turminal 4y ago
Yeah, I didn't mean to imply it's not relevant.
117.
by turminal 4y ago
Yes There is one more significant (but not user-visible) change planned for the language before we continue working on that.
118.
by turminal 4y ago
> Since the language is officially announced now, here's an interesting analysis on the language: https://tilde.team/~kiedtl/blog/hare/ Just a reminder (since I can't see a date in the blog post)
119.
by turminal 4y ago
Is appreciating Rust some kind of high ideal in the world of programming?
120.
by turminal 4y ago
> Is there any plan for metaprogramming/macro (not preprocessor) in Hare? We don't plan to add anything like that. Hare strives to be simple and straightforward. Metaprogramming would not fit it well. Closest thing in this dire

More ›