xfer

29 ms·

271.
by xfer 7y ago
In this case DI seems to be compensating the lack of a proper module system as in SML.
272.
Swish: SWI Prolog Notebook(swish.swi-prolog.org)
147 points by xfer 7y ago|53 comments
273.
by xfer 7y ago
> I can’t even begin to think of a development app that would be written in sdl2, a bloody games API A lot of games do, some even have their built-in editor and it's not about sdl2, it's anything custom widget toolkit. So your
274.
by xfer 7y ago
Well, the point is all of this problem is there in osx too, since GTK, Qt, sdl2 and custom made windowing toolkit can all run in osx. I know atleast a few programs that people use on osx which break these conventions, hence it's not a
275.
by xfer 7y ago
How does that work? If i implement my own editor using sdl2, how will it know? Are you sure it's not just cocoa specific? If that's the case it's possible for gtk too.
276.
Unison Language(unisonweb.org)
1 points by xfer 7y ago|0 comments
277.
by xfer 7y ago
Really? Might i ask which places are you visiting, where you see this behaviour? I have rarely seen elitist behaviour in r/haskell or freenode #haskell. Mostly i see people complaining about eliticism on HN.
278.
by xfer 7y ago
Not slow but it is cuurently using 23MB with default caching serving a single computer, i can see why the parent would consider it bloated.
279.
by xfer 7y ago
Based on my experience, most key requiring programs use public key crypto and pin their public key in the binary to verify the signature, which is the key.
280.
A tutorial implementation of a dependently typed lambda calculus [pdf](andres-loeh.de)
2 points by xfer 7y ago|0 comments
281.
by xfer 7y ago
I have been using yad based on gtk ( https://sourceforge.net/projects/yad-dialog/ ) for some shell scripts and wrappers to external tools.
282.
Teensy 4.0(pjrc.com)
2 points by xfer 7y ago|0 comments
283.
by xfer 7y ago
You don't need macros to write DSLs(e.g. free monads can be used for this), there are plenty of DSLs in Haskell.
284.
by xfer 7y ago
How does "use Elm" fixes the problems mentioned in the article? Elm is compiled to JS after all and has to be downloaded/parsed, which is what the article is talking about regarding cost.
285.
by xfer 7y ago
Emualting? Literally shipping a kernel and distro with their OS..
286.
by xfer 7y ago
That heap allocation is most likely either optimized away and allocated in stack/ allocated in minor heap which is same as bumping a pointer just like in stack!
287.
by xfer 7y ago
Data races shouldn't be happening with a GC'd language with a proper memory model, getting this right is important. Haskell has no dataraces if you don't use IORefs in safe code. Afaik java has a happens-before memory model t
288.
by xfer 7y ago
Merlin is very good. Wish something like this was available for haskell.
289.
by xfer 7y ago
Spreadsheets are an example of incremental computing(see adapton for formal research).
290.
by xfer 7y ago
I use Gsuite and no google doesn't monetize my data according to their privacy policy. Of course you are probably going to move the goal post how they could do it anyway and so can fastmail. In my eyes if i want privacy for sensitive e
291.
by xfer 7y ago
Hetzner provides nextcloud storage for €3. I have used their storage boxes before and they were good.
292.
by xfer 7y ago
Yeah nice comparison to a single user software to a social networking application.
293.
Semantics by GitHub on “Why Haskell”(github.com)
3 points by xfer 7y ago|0 comments
294.
by xfer 7y ago
Not every file respond to ioctl() and that's not what people mean when they say "unix philosophy". Yes, in a sense ioctl() does model the object nature, but they aren't discoverable and rather adhoc, as the article point
295.
by xfer 7y ago
Calling it object would mean you have different methods of accessing it. But files have a fixed set of methods/properties.
296.
by xfer 7y ago
It is not the "Linux Philosophy", socket api originated from BSD and it is considered Unix. Based on my experience noone in the plan9 community would call it unix.
297.
by xfer 7y ago
What's the point of using tls on localhost?
298.
by xfer 7y ago
No umatrix provides finer control and is definitely useful along with your adblocker.
299.
by xfer 7y ago
Can't remember if everything was turned off at the beginning but i only have youtube activity enabled since i want to revisit it sometimes.
300.
by xfer 7y ago
You only have to audit the binary produced, not gcc.

More ›