anaphor

35 ms·

301.
by anaphor 7y ago
Pledge is different from Capsicum though. Pledge is just your typical Unix style "capabilities", whereas Capsicum is object capabilities (i.e. https://en.wikipedia.org/wiki/Object-capability_model ) If you re
302.
by anaphor 7y ago
Thanks, that's a great summary!
303.
by anaphor 7y ago
What makes this different from something like https://github.com/Agoric/SES ?
304.
by anaphor 7y ago
I would say "very significant" is understating it. Anything that touches Xlib/XCB/etc would need to be at least modified, if not rewritten completely.
305.
by anaphor 7y ago
I've started learning Pony recently and I definitely recommend checking it out. Pros: - Checked exceptions are pretty awesome - Built in object capability system means you are forced to be explicit about granting access to files, socke
306.
by anaphor 7y ago
Your router is going to have to support it somehow. It's much easier to just run a local resolver like stubby + dnsmasq. Apparently Cloudflare also has some kind of daemon you can run on Windows, but I don't know if I would recomm
307.
by anaphor 7y ago
Here are some great instructions on how to get set up with Stubby, which is a DNS over HTTPS resolver you can run on Linux. I was able to get it working fairly quickly. The instructions apply to pretty much any distro (I got it working on b
308.
by anaphor 7y ago
The problem is that if you're using something like stubby[1] then there's no easy way to temporarily tell it to use another DNS server to resolve the name you need to get to the captive portal. At least as far as I can tell, it do
309.
by anaphor 7y ago
My workaround for using captive portals with DoH is to authenticate on my phone first, then disable WiFI on the phone, then basically run this script to switch my laptop to my phone's MAC addr. ``` sudo systemctl stop NetworkManager wp
310.
Apple Products “Just Working”(jx4slc83qru3hgkkkt1v.oasis.sandstorm.io)
5 points by anaphor 7y ago|1 comments
311.
Jonathan Blow – How to program independent games(youtube.com)
4 points by anaphor 7y ago|2 comments
312.
by anaphor 7y ago
That's interesting. I didn't realize the SHM extension was used that widely. Do most GUI toolkits use it under the hood somehow, in order to render more efficiently?
313.
by anaphor 7y ago
You can learn enough C to leverage existing code, and then use the FFI facilities that many languages provide to interface with it. That way you don't have to engineer your entire application with C. I think this is pretty common pract
314.
by anaphor 7y ago
How exactly do you learn C if you aren't supposed to be writing software in it?
315.
Lazy Incremental Computation for Efficient Scene Graph Renderings [pdf](cg.tuwien.ac.at)
1 points by anaphor 7y ago|0 comments
316.
by anaphor 7y ago
It's my understanding that UW offers some undergrad courses in Racket, but apparently they're optional so if you hadn't taken that course you might not know much about functional programming.
317.
by anaphor 7y ago
Yeah, I think the problem comes when you try to learn too many new things at once. If you're still learning about compilers, then trying to learn about functional programming on top of that is just asking for trouble.
318.
by anaphor 7y ago
I've found PEGs (Parsing Expression Grammars) to make things extremely easy and terse. E.g. OMeta, Parsley, etc. My experience with using both PEGs and parser combinators is that there isn't a huge difference in the total number o
319.
by anaphor 7y ago
The article says that the instructor for the course cautioned against using Haskell because some people overestimated their competency with it. I think it is actually very likely that people would chose a programming language or system for
320.
by anaphor 7y ago
I think the right metric to measure here is not quantitative, but more qualitative. In other words, how easy it is to adapt the language to the problem you are trying to solve. So, in order to do that you need to have a good understanding o
321.
by anaphor 7y ago
Am I the only one who will do an initial "proof of concept" implementation of something that I intend to rewrite in another language? E.g. I will write the "first draft" in Python or Racket because I know the language wo
322.
Is Convergent Encryption Secure?(crypto.stackexchange.com)
2 points by anaphor 7y ago|0 comments
323.
by anaphor 7y ago
Maybe hardware will have to become more programmable in the future so you can fix some of these flaws without needing to replace anything.
324.
by anaphor 7y ago
Publish (on your) Own Site, Syndicate Elsewhere (POSSE) is a much more flexible idea IMO. You ultimately own your content, and it's the source of truth, but it gets automatically syndicated out and linked back to whatever proprietary o
325.
by anaphor 7y ago
I think if you're doing your spec as a combination of high level set theory or algebra and some prose, then it should be easier than writing the program itself (assuming you know a bit about math and how to write a spec). The question
326.
by anaphor 7y ago
Leslie Lamport (of Paxos, LaTeX, and TLA+ fame) has been making this point for years. Basically that in order to design a piece of software, you need to be able to create a spec, and the best way of doing that is through mathematics. E.g. -
327.
by anaphor 7y ago
I believe the point of QuickCheck is actually to try and minimize the size of the test cases as much as possible by finding the minimal failing test case. So it explicitly tries to avoid testing larger and larger inputs or outputs, even if
328.
by anaphor 7y ago
I highly recommend reading this tweet thread from Shriram Krishnamurthi on this subject: https://twitter.com/ShriramKMurthi/status/113641175359047270...
329.
by anaphor 7y ago
The Lenovo Thinkpad P52 looks like a pretty decent machine (but like you said, you'd need to carry around a charger everywhere) https://www.lenovo.com/us/en/laptops/thinkpad/thinkpad-p/Thi...
330.
by anaphor 7y ago
I've heard about lots of people having issues with the new Killer WiFi chipsets (on both Windows and Linux). I have a Dell XPS 13 (9350) which had the Broadcom chipset in it. Eventually, I also started having issues with it under Linux

More ›