aappleby

22 ms·

331.
by aappleby 4y ago
Author here. I'll have to go look at Elm again - it's in my list of references, but I have so many at this point that I don't recall what exactly Elm does differently.
332.
by aappleby 4y ago
Author here. There is a _huge_ overlap between a _wide_ variety of programming terminology, which is why one of the motivations of temporal programming is to bring all these various ideas under one relatively simple umbrella.
333.
by aappleby 4y ago
Author here. You'd be hard-pressed to find an example in the literature that I _haven't_ already heard of, I've been researching this for a few years now. STM certainly makes temporal programming easier, though it's not
334.
by aappleby 4y ago
Author here. From the Algol viewpoint, you can think of a temporal program as one enormous statement followed by a semicolon, embedded in a while(1) loop. Semicolon is semicolon, but in Pascal/Java you have lots of tiny semicolons and
335.
by aappleby 4y ago
You can allow mingling as long as you don't produce an evaluation loop. The existence of evaluation loops can be detected by the compiler (Metron does this already).
336.
by aappleby 4y ago
Author here. Yep, it's all related. My hope is that temporal programming can provide both a simple practical framework (in the form of MetroC and whatever else spins off of it) and a simple theoretical framework for future research int
337.
by aappleby 4y ago
Author here. Operational semantics are a way of "talking about" a programming language, whereas temporal programming is a way of expressing operational semantics more directly from within a programming language.
338.
by aappleby 4y ago
Author here, you are both correct and not correct - in your example the two equations represent an impossible constraint (there's an evaluation loop), thus a program (or TLA proof) containing those two statements would be invalid.
339.
by aappleby 4y ago
Author here, I'm aware of Lustre/Esterel/Signal/StateCharts/etc - there are a _lot_ of examples of prior art, each with their own interpretations of how time should work in a programming language. I'm hoping th
340.
by aappleby 4y ago
Author here, I missed this post because my own post of this link got lost in the HN ether. Replying to comments now.
341.
Temporal Programming, a new name for an old paradigm(github.com)
1 points by aappleby 4y ago|0 comments
342.
by aappleby 4y ago
You can still do a heck of a lot with WebGL, and it is almost universally supported now.
343.
Wideboard: Render millions of lines of text at 60 FPS using WebGL (2013)(github.com)
4 points by aappleby 4y ago|3 comments
344.
by aappleby 4y ago
Hi, this is an old proof-of-concept project of mine that I've been meaning to post for ages. I haven't touched the repo in years, but it contains shaders and Javascript support code that allow for Google Maps-style browsing of eno
345.
by aappleby 4y ago
Glyph textures. Doesn't look good zoomed out, but it works.
346.
by aappleby 4y ago
Hi, this is an old proof-of-concept project of mine that I've been meaning to post for ages. I haven't touched the repo in years, but it contains shaders and Javascript support code that allow for Google Maps-style browsing of eno
347.
Wideboard: Display millions of lines of text at 60 FPS using WebGL (2013)(github.com)
5 points by aappleby 4y ago|3 comments
348.
by aappleby 4y ago
My money is on the other end of the spectrum - Any sufficiently large chunk of linear algebra and activation functions is indistinguishable from consciousness. ;)
349.
by aappleby 4y ago
How rare is selenium?
350.
by aappleby 4y ago
This rings true for me as well. One thing I've really had to get over is "illusory inferiority" - I am objectively an extremely good programmer, as demonstrated by my accomplishments and career path, but I constantly underest
351.
by aappleby 4y ago
My preferred "build system": Start with bash script. Translate that to a tiny ninja script when it gets to be more than a page or two. (Ninja is technically a build system, but it is tiny and simple). Translate that to a tiny pyth
352.
by aappleby 4y ago
"If I had more time, I would have written you a shorter letter."
353.
by aappleby 4y ago
I've found this to be absolutely true throughout my career. The only adjustment I'd make is that size should be measured after some normalization pass (eliminate comments, whitespace, make variable names the same length, etc)
354.
by aappleby 4y ago
SSA works great for keeping track of the old/newness of local variables inside a single function, but it doesn't really help with tracking old/newness of state variables (globals, heap values, stuff on the stack that persists
355.
by aappleby 4y ago
I've already spent quite a while profiling and optimizing GateBoy's code, but at scale it becomes annoyingly difficult to maintain both performance and correctness in a language like C++.
356.
Ask HN: Is “x' = f(x)” a programming paradigm?
4 points by aappleby 4y ago|5 comments
357.
by aappleby 4y ago
Or in the SFU, "special function unit"
358.
by aappleby 4y ago
Nah, you've got full fp32 multipliers in a GPU core, so rational polynomial approximations to sin/cos/tan implemented in microcode are the way to go.
359.
by aappleby 4y ago
Naah. ;)
360.
by aappleby 4y ago
GateBoy will eventually do that for the whole reverse-engineered die.

More ›