mmalone

19 ms·

121.
by mmalone 9y ago
Yea, turns out programmers are pretty good at writing code that halts in Turing complete languages.
122.
by mmalone 9y ago
> Is PwC any good for real security audits? It depends on what you mean by "real security audits." If you want someone to audit your new crypto protocol, probably not. PwC is more about internal control / governance audits
123.
by mmalone 9y ago
Interesting. Thanks for the details. In theory a compiler can do this optimization for you and can use simple syntactic checks to determine whether recursion terminates and whether the optimization applies (at least given a language designe
124.
by mmalone 9y ago
Eve? http://witheve.com/ The Eve core is based on a distributed logic programming semantics (although SQL-like is a good accessible description). It was inspired by a datalog-based language called Dedalus (amongst other thi
125.
by mmalone 9y ago
Have you ever tried to change the protocol used by a running production system? I agree that in greenfield development an agile / iterative approach with a loose process works reasonably well. Once you have a running production system
126.
by mmalone 9y ago
There's a problem with strings being lists in general because it forces a representation that's not perfect for every use case. Keeping strings abstract and giving them their own interface (even if it's very similar to list&#
127.
by mmalone 9y ago
I've never worked on something "mission critical," but most common uses of recursion are tractable, so I'm not sure why it would be disallowed. The simplest form of tractable recursion is where some argument in the recur
128.
by mmalone 9y ago
Yea... in theory it makes sense. In Haskell, field names are functions. If you have an instance of Human and you want it's name you do 'name human' not 'human.name()'. Polymorphism is done through type classes, not
129.
by mmalone 9y ago
1. A geohash is a z-curve. 2. It won't be better than a k-d tree. Dimensionality reduction is usually done when you have really truly huge numbers of dimensions that are sparsely populated and you don't care much about some inform
130.
by mmalone 9y ago
Yep. Geohash is just a fancy name for a z-curve.
131.
by mmalone 9y ago
True, but it is much better at preserving closeness than the alternative he mentioned (lexicographical sort).
132.
by mmalone 9y ago
If you're tempted to use space filling curves (z-curves, hilbert curves, etc.) you should take a look at simple multi-dimensional data structures as an alternative. As a couple of people have mentioned in this thread, space filling cur
133.
by mmalone 9y ago
See https://srfi.schemers.org/srfi-110/srfi-110.html . No idea why it hasn't shown up in a popular language (or maybe it has and I'm just naive).
134.
by mmalone 9y ago
I get what you're saying, but that's a pretty extreme view. Parenthesis are obviously syntax, even if they look similar to the notation used to represent ASTs in other languages. They are minimal syntax, but they're still syn
135.
by mmalone 9y ago
Why do you say it's for data? Doesn't racket use "reader macros" heavily for language syntax, or am I misunderstanding something?
136.
by mmalone 9y ago
Worse is better, amiright? sigh...
137.
by mmalone 9y ago
I believe Amazon uses commodity NICs + iptables in Dom0 (based on rumors). I have no idea what a custom ASIC would cost, but I think the Jupiter networking gear / Titan NIC that Google built are pretty advanced components that would co
138.
by mmalone 9y ago
According to me... Are you arguing that it's not? It stands to reason that dynamic network architectures (SDNs) would be harder and more expensive to design and build than static architectures... it's the difference between managi
139.
by mmalone 9y ago
I'm not an expert, but it's possible... from what I understand amazon does SDN on CPUs in Dom0, Microsoft uses FPGAs, and Google has burnt their own ASICs... those are all expensive options. Much more expensive than generic networ
140.
by mmalone 9y ago
True, and it's still probably overpriced... but a lot of the SDN expense is in the stateful routing between networks (e.g., traffic going to/from the internet).
141.
by mmalone 9y ago
Keep in mind that with cloud providers you're also paying for the SDN that makes dynamic provisioning of VMs and logical network segmentation possible. Scalable SDN is much harder / more expensive than traditional networking.
142.
by mmalone 9y ago
For webapp <=> API it's pretty much the same as any other header, but with a subtle semantic indication that the value associated with the header is being used for authentication. Generally the value is a password or a bearer tok
143.
by mmalone 9y ago
The docs are sparse... but it looks like the answer is that it depends on what you mean by "correct." It doesn't look like it's a general purpose theorem prover, but it does appear to be model/spec-driven and the li
144.
by mmalone 9y ago
So... a business model around signed mobile code..? Neat, but I have many questions regarding safety: confinement, isolation, termination, resource management, etc. Shunting code around is the easy part... it's preventing code from doi
145.
by mmalone 9y ago
This seems right, except that Microsoft has clearly developed a higher level language than VHDL / Verilog for writing "virtualized network functions" that compiles down to something they can flash onto an FPGA (they call it F
146.
by mmalone 9y ago
Do you think pure paradigms could be mapped, or are you skeptical of any general purpose language being able to efficiently compile to FPGAs _and_ CPUs (and GPUs)?
147.
by mmalone 9y ago
Why aren't more people deploying FPGAs like this? I started looking into using FPGAs for distributed systems work about six years ago when I was building a distributed database. Since then, about once a month I come across some problem
148.
by mmalone 9y ago
I'm sort of bearish on most things blockchain but this seems like one of a very small number of things that zero-trust auto-executing contracts could be useful for. Someone could probably work out a mathematical proof of "if you t
149.
by mmalone 9y ago
In a sandbox environment (e.g., in a lab trying to deconstruct malware) they'll have a private DNS infrastructure setup to resolve all domains to some local IP address. That way they can intercept and reverse engineer the command &
150.
by mmalone 9y ago
> paranoid levels of security > # paste this into your terminal > # and get started in seconds.. > curl -# https://usrfy.io/signup | sudo -sE :O

More ›