ghoward

31 ms·

241.
by ghoward 4y ago
I don't think this will be solved until there is a radical rethinking of package managers, build systems, and programming languages. Like the founder of socket.dev, I think that static analysis will play a role. However, I don't a
242.
by ghoward 4y ago
This is a cool utility, but I feel that its existence is entirely predicated on not having a proper build system. A proper build system should be able to be integrated with your editor or IDE, and whenever a save happens, a plugin for your
243.
by ghoward 4y ago
What's your favorite open source 2FA utility?
244.
by ghoward 4y ago
Thank you, I will pass this along.
245.
by ghoward 5y ago
I have passed your +1 along. Thank you for putting your money where your mouth is. However, I worry that the reason they haven't done it is because of lack of time. They spend a lot of time on finding and stopping fraud. If they didn&#
246.
by ghoward 5y ago
Cool, thank you! Your +1 and kudos have been passed along.
247.
by ghoward 5y ago
I have a relative that works for FreeTaxUSA. I'll let her know about your request. Edit: my relative says that it's already on the TODO list, but it takes a while with all of the other things they have to do. Edit: sanitized per
248.
by ghoward 5y ago
Cryptographers: is this as bad as it looks?
249.
Lend Me Your Ear: Passive Remote Physical Side Channels on PCs(usenix.org)
13 points by ghoward 5y ago|7 comments
250.
by ghoward 5y ago
Good news for you: I'm well on the way to solving the problem of better code merging. Specifically, the algorithms I am developing appear to be able to do a correct merge on both [1] and [2]. They also appear capable of merging binary
251.
by ghoward 5y ago
I actually thought of another way to do it. In the "real code" I linked to in the post, I have a concept I call "context stacks". The idea comes from Jai, and I use to do implement things such as error handling and alloc
252.
by ghoward 5y ago
Then you and I disagree about the definition of function colors. But Zig's language reference is clear: when needed, blue functions are turned into red functions transparently at compile time. What that does is make it seem as though
253.
by ghoward 5y ago
Author here. I have no proof of it yet (I want to create the proof), but I believe the structured concurrency equivalent of the Structured Programming Theorem could be something like this: > For all possible programs in CSP style or in a
254.
by ghoward 5y ago
> The article would be much better if you dropped mentioning function colors at all then, since your definition really has little to do with the original concept. I heavily disagree, but near the end of the post, I also show that Zig do
255.
by ghoward 5y ago
I do agree with a lot of what you said. > While structured concurrency gives you this guarantee, this is orthogonal to whether a function the thread runs is "red" or "blue". I disagree with this. Making sure that thre
256.
by ghoward 5y ago
Author here. Maybe, but later in the post, I show that Zig does, in fact, fit Bob Nystrom's definition: > Third, async is, in fact, viral. The language reference says, >> Zig infers that a function is async when it observes th
257.
by ghoward 5y ago
Author here. The definition that I use is the bolded one near the beginning: > some functions cannot be used without special work.
258.
by ghoward 5y ago
Author here. Besides where a sibling comment says I mentioned it, I also mentioned it near the end: > Third, async is, in fact, viral. The language reference says, >> Zig infers that a function is async when it observes that the fu
259.
by ghoward 5y ago
Author here. Despite not liking the idea of function colors, I do think I like your idea of having functions express what capabilities you have to have permission for to call them. A long time ago, I saw someone talk about fine-grained perm
260.
by ghoward 5y ago
Thank you for describing the workflow. This makes it so much easier to understand them!
261.
by ghoward 5y ago
Oh, wow, thank you for the detail!
262.
by ghoward 5y ago
Hey, I'm hoping you can answer some questions for me. I'm building a build system and a VCS (separately). I want to do it right. Could you explain to me what Brazil is? Is it the build system? [1] Or is it the VCS that Amazon uses
263.
by ghoward 5y ago
Mine is https://gavinhoward.com/ . Built with an SSG. Browsable with no JavaScript. (JS is used for things like hiding Tables of Content, or matching podcast sound with a transcript, etc.) I use compression to make every pa
264.
Some thoughts on Go's unusual approach to identifier visibility(utcc.utoronto.ca)
1 points by ghoward 5y ago|0 comments
265.
by ghoward 5y ago
Not exactly what you want, but I run the Programmers Against Humanity account on Twitter (@software_crimes), and I collect stories like this. I'm going to be tweeting this story out as soon as I get to my computer.
266.
by ghoward 5y ago
While my current projects are a little less ambitious than what you are asking for, and focused only on improving software, I'll say them anyway. * An implementation of Nix's ideas for mere mortals. * Version Control for non-tech
267.
by ghoward 5y ago
Thank you for the link! Dumb shill, but I have a Twitter account to collect instances of tech companies doing shady stuff. It's called "Programmers Against Humanity" (@software_crimes), and I would love if people could send m
268.
by ghoward 5y ago
From what I understand, this would go further than Erlang, in that this can be a DAG of threads, not just a tree. I could be wrong, though; I'm not terribly familiar with Erlang anymore.
269.
by ghoward 5y ago
The Q&A is more for people that don't know about the concept of structured concurrency. Basically, people who have questions on TFA.
270.
by ghoward 5y ago
I do not know of any case studies or examples. However, my own code could be considered non-trivial because it's a full build system, or will be. After writing only enough to get it bootstrapped, I'm now going through and redoing

More ›