jallmann

25 ms·

211.
by jallmann 11y ago
> that's OCaml, a language with no value types (other than 31-bit ints) or RAII Hence the "managed language". Such features would certainly be more difficult to do in Rust, and agreed that exceptions probably aren't
212.
by jallmann 11y ago
> Furthermore, exceptions have this nasty codegen tradeoff In OCaml (a language with blazingly fast exceptions), the worst that can happen for each try-block is a register spill or memory store [1]. For a managed language, that's ex
213.
by jallmann 11y ago
Jeez, this post is brimming with strawmen. (Why am I even bothering...) > Why pay 5-10X as much to host on AWS? Nobody said anything about AWS... > Hosts make a lot of sense for small companies Sure, nobody is disputing their choice o
214.
by jallmann 11y ago
> There are definitely risks, but I do want to gently re-iterate that we're not blind to them. Yep, I was just responding to the assertion that it wasn't a risk. For what it's worth, it does sound like you've though
215.
by jallmann 11y ago
> Given recent history, that's not going to be for a number of years. That is something that no one outside of Apple can say for certain. It doesn't even have to be a major change, but something like rearranging ports, adjustin
216.
by jallmann 11y ago
> look at it as an entry barrier that protects them against competitors too What barrier to entry? Their customers don't care that OSX is running under the hood. You can offer an image processing service using any platform today. Su
217.
by jallmann 11y ago
This seems risky from a business perspective: it's voluntary vendor lock-in. What if Apple decides to change the Mac Pro form factor for the next iteration? Then you have to retool and are left with a bunch of incompatible chassis. Wha
218.
by jallmann 11y ago
> yes, because dialing 3.0.3.3.8.4.0.3.5.5.1.2.5.e164.arpa is super easy to do. Nonsense, the user would never dial that. The number gets mechanically translated as necessary, which is extremely straightforward... > We have been doing
219.
by jallmann 11y ago
Very interesting, thanks for the information!
220.
by jallmann 11y ago
The same problems would happen if someone mapped "google.com" to a phisher controlled endpoint. TLS solves that, and by extension, so does SIPS. Then add in SRTP, etc.
221.
by jallmann 11y ago
> You say that as if things like GR-303 and ISDN BRIs/PRIs don't exist. Granted, "digital voice" was imprecise terminology, but you get the gist... modern consumer phone services are VoIP. > fall behind their circu
222.
by jallmann 11y ago
> vast majority of voip routes tend not to measure up to their circuit switched counterparts Most VoIP calls are also carried as plain data traffic. Digital voice services, which are basically VoIP (VoLTE, AT&T U-verse, etc), properl
223.
by jallmann 11y ago
> map them down like we do it with IPs and domain names We have been able to map phone numbers to SIP URIs for a long time with E.164 ENUM. Numbers are a hassle, but there's nothing preventing numbers from living alongside proper UR
224.
by jallmann 11y ago
That article isn't really balanced, and is really one person's (rather uninformed) opinion. The cochlear implant debate is a bit more nuanced than that, and it is centered around children. One argument is that, often, the child ma
225.
by jallmann 11y ago
Sure, the only reason for mentioning Erlang is because "high reliability and fault tolerant systems" are its raison d'etre, but AFAIK that's not an expressly stated design goal for any of the ML languages. Any such benef
226.
by jallmann 11y ago
> ML languages are particularly suited for the classes of problems for which they were developed, e.g. fault tolerant high reliability systems Are you thinking of Erlang? Erlang is definitely not a ML, although they share some similariti
227.
by jallmann 11y ago
Curmudgeon time: reflow and zoom were probably my favorite features of the original Motorola Droid browser. There were zoom ( +, - ) buttons in the lower-right to zoom in and out -- accessible one handed, with your thumb, none of that pinch
228.
by jallmann 11y ago
> Where is the VCS? There isn't one, at least publicly. The author exports everything from SVN for each release, even though I pointed him towards git-svn for github two years ago. What's painful is that the liblfds API is comp
229.
by jallmann 11y ago
Are you referring to Standard ML, rather than the ML family of languages? 1ML is a new language in the ML family, rather than an extension of SML or OCaml. Consolidating the module and expression languages in 1ML will lead to even cleaner s
230.
by jallmann 11y ago
I can't watch because no subtitles, but man that intro is condescending. Not saying that academics are completely innocent either, but maybe if the description focused more on the substance of the data, it wouldn't seem like the s
231.
by jallmann 11y ago
The only thing better than having tests is not needing tests. That's what a robust type system gives you. Type systems don't eliminate all testing, but they do eliminate a large swath of possible errors that need to be tested for,
232.
by jallmann 12y ago
> how mobile operators shape their data traffic What I've been wondering is if Apple gets any QoS concessions from the carriers for Facetime, because it usually works pretty well on 4G. Not sure if Facetime's quality is due to
233.
by jallmann 12y ago
I've been working on exactly this. It's not horribly difficult if you've got experience building media servers, but it is tedious, because WebRTC has so many more moving parts than eg, RTMP, and the tooling is not very mature
234.
by jallmann 12y ago
In OCaml 4.01, the compiler is smart enough to distinguish between constructors with the same name but a different type -- so those variants wouldn't even need to be polymorphic anymore. This also partially mitigates the need for &#x27
235.
by jallmann 12y ago
There are a few use cases where we don't have a suitable replacement for Flash yet: media capture and low latency video streaming. Until WebRTC is widespread in IE (and Safari to a lesser extent), ditching Flash entirely is impractical
236.
by jallmann 12y ago
Fantastic explanation of linear types. Another (experimental) language that uses linear types to facilitate concurrency/parallelism is LinearML: https://github.com/pikatchu/LinearML
237.
by jallmann 12y ago
Consider the goals of a propaganda machine with respect to naming a holiday. If you wanted to evoke national pride and unity, "Victory Day of the Chinese People’s War of Resistance" describes it perfectly well, and properly taught
238.
by jallmann 12y ago
They can certainly memorialize the event, but explicitly putting the spotlight on the opposition seems quite overt. From a propaganda perspective, it's almost a reminder that the bad guys are still out there. In the US, we don't c
239.
by jallmann 12y ago
Did this jump out at anyone? > he praised the creation of a holiday dedicated to the Second World War: “Victory Day of the Chinese People’s War of Resistance Against Japanese Aggression.” Is explicitly calling out Japan (or other countri
240.
by jallmann 12y ago
> I wouldn't recommend going head to head versus FB for your next startup. Yep. The threat to FB or any similarly dominant company isn't head-on, but rather sideways, where peripheral businesses could eat into their core. So fa

More ›