uryga

17 ms·

121.
by uryga 6y ago
> Note that C bindings (cimgui) are auto-generated, you can use its json/lua output to generate bindings for other languages. note about this. the C++ imgui library uses stuff like out-arguments (pass a pointer that gets filled out
122.
by uryga 6y ago
> It's not as bad as being introduced to PHP by WordPress i had to learn PHP to do WordPress stuff (after programming in other langs for many years). what's so bad about their usage of PHP? (off the top of my head: in WP's
123.
by uryga 6y ago
wild guess: iirc GaduGadu ran in a small popup window. small windows encourage short messages? edit: i guess FB shows chats in a small popup too, forgot about it bc i always use the big interface @ messenger.com (hejka, zawsze smiesznie spo
124.
by uryga 6y ago
hadn't heard that term before, thanks!
125.
by uryga 6y ago
metalinter?
126.
by uryga 6y ago
K made me realize that if you use the numbers 0 and 1 for booleans, `min()` is `&&` and `max()` is `||`. love that!
127.
by uryga 6y ago
do you have any criticisms with actual substance? why do you consider those techniques "navel gazing"?
128.
by uryga 6y ago
looks fine on 79.0 (Windows, w/ ublock)
129.
by uryga 6y ago
i guess it depends on how familiar you are with the lambda calculus and the various "tricks" for representing data as lambdas. from a quick look at the relevant section, it seems to be using [Scott-encoded natural numbers]( https:
130.
by uryga 6y ago
> And I certainly don't want to be stuck in the position that Android users are in, where they have to worry about what store they're using, where the software comes from, and whether the app they're about to install is le
131.
by uryga 6y ago
IME (drumming on an Ableton Push) latency around 20ms feels "instant" enough, and even ~80ms is manageable. and afaik that's mostly limited by the soundcard/drivers/cpu speed - you set a low audio buffer size and ho
132.
by uryga 6y ago
if we want to squint and talk about sets and functions from sets to other sets... function voidy() : void { return; } echo json_encode(voidy()); // -> "null" so i'd say that for most purposes
133.
by uryga 6y ago
maybe Pokemon Go?
134.
by uryga 6y ago
> "Either types aren't true sum types because Either<A, B> isn't the same type as Either<B, A>." that's such a weird argument! did he also complain that tuples aren't true product types because (
135.
by uryga 6y ago
im a bit surprised by this thread tbh! the original comment's pragmatics (in the linguistic sense) are pretty clearly "i believe this is an abuse of the copyright mechanism" . discussing the system's original purpose or
136.
by uryga 6y ago
it's a heuristic that's biased against people who don't drink for unrelated reasons. i'd say that's not-great both pragmatically and morally
137.
by uryga 6y ago
> poor resolution afaik the point with chaotic systems is that even if the system is deterministic and your measurement of the initial conditions is near-perfect, your predictions will diverge from the real thing pretty quickly, because
138.
by uryga 6y ago
thanks!
139.
by uryga 6y ago
i think a better analogy would be [programming techniques as "musical ideas", programming languages as instruments]. you can pick an instrument that fits what want to do, or build a new one if you know how :)
140.
by uryga 6y ago
could you explain the usecase a bit? i skimmed the docs and don't quite get what writing definitions and theorems in this format gets me, apart from an automated "go to definition". what can the tooling do, or what functional
141.
by uryga 6y ago
yup! also afaik torrenting movies is fine as long as you're only downloading (no seeding)
142.
by uryga 6y ago
> In contrast to 6g (the original Go compiler) gccgo tries to mimic the native calling convention. https://dr-knz.net/go-calling-convention-x86-64.html#differe...
143.
by uryga 6y ago
true, thanks for pointing that out!
144.
by uryga 6y ago
it's not lazy, it's simple ! ;) i don't think its intended as a stable target and will probably change at some point. the top google hit was a 3rd party site, and this issue is still open [#16922 doc: document assembly calli
145.
by uryga 6y ago
not gp, but it looks like go's calling convention requires pushing all function args and return values to the stack [1]. thats always going to be less efficient than most C calling conventions, where (iirc) you put what you can in regi
146.
by uryga 6y ago
> especially in contrast with c and other languages that shoehorn you into defining a main function i don't think that's a problem in languages with namespaces/modules -- a module might define a main(), it just wouldn&#x27
147.
by uryga 6y ago
> Rule of thumb: ~70 characters per line. i wish HN followed that! i usually end up putting it in a narrow window (or emulate a narrow screen; Ctrl+Shift+M in Firefox) to make it easier to read.
148.
by uryga 6y ago
i mean... it's at least a bit surprising. the programming course at my uni (java) got to generics within the first year... i'm sure the hiring requirements at google are a bit higher than that?
149.
by uryga 6y ago
not sure about F#, but in haskell it's the former, and you can switch to the latter with the -XScopedTypeVariables language extension. though IME you rarely (if ever) need it thanks to type inference.
150.
by uryga 6y ago
> you often need additional constraints, e.g. <X : Hashable> or something in haskell: noConstraint :: List a -> (a -> b) -> List b withConstraints :: (Hashable a, Frobable b) => List a -> (a -> b) -> L

More ›