4ad

23 ms·

211.
Abstracting Denotational Interpreters(arxiv.org)
2 points by 4ad 3y ago|1 comments
212.
by 4ad 3y ago
Abstracting Denotational Interpreters | Sebastian Graf, Simon Peyton Jones, Sven Keidel Abstract > We explore denotational interpreters: denotational semantics that produce coinductive traces of a corresponding small-step operational s
213.
Yuzu emulator shutting down, paying Nintendo $2.4M in lawsuit settlement(gbatemp.net)
1 points by 4ad 3y ago|0 comments
214.
by 4ad 3y ago
Ok, trees are not graphs but they are very related, and algebraic data types are trees, so they are ubiquitous in functional programming. Why don't we have graphs in FP (or in Rust)? Because graphs require mutation (respectively brea
215.
by 4ad 3y ago
> Surely light without pauses has way more ability to send two photons one after another than light with pauses. No it's the opposite, SHG[1] requires huge spatial energy density which also means huge temporal density (power). A con
216.
by 4ad 3y ago
Every ACM paper can be found for free either on Arxiv, the author's webpage, or in very rare cases SciHub. People pay for ACM membership because they want to, not because they are forced to. It's a great organization to be a part
217.
by 4ad 3y ago
Physical SIMs behave the same, but most people use SIM cards from specific countries rather than global SIMs, which are a niche business product not oriented towards consumers. When you use a local SIM card you (almost?) never get LBO. Note
218.
by 4ad 3y ago
It means routing data to the Internet directly through the network the user is using rather than going to the operator's network. When normal roaming, even though you use some local network, all the trafic gets tunnelled out from the l
219.
by 4ad 3y ago
Most eSIM providers are just resellers, what I care about a travel eSIM is: 1. is it a reseller, if yes, from whom? 2. does it have local breakout in the target country? 3. what network does it use in the target country? 4. is it data-only?
220.
Cue: Shifting Go left with CUE [video](youtube.com)
2 points by 4ad 3y ago|0 comments
221.
by 4ad 3y ago
> his comes off as the author just not doing basic reading. Perhaps a technology will not have success if its users need to do basic reading.
222.
by 4ad 3y ago
If you have to ask, you will never know.
223.
by 4ad 3y ago
So what? Surely they are paying for it.
224.
by 4ad 3y ago
Meters, seconds, joules, etc, are torsors.
225.
by 4ad 3y ago
Too little, too late. VirtualBox is completely obsolete. And the fact that it is owned by Oracle doesn't help.
226.
by 4ad 3y ago
Thank you for your comment. We're working hard to add support for other languages. I agree that exposing a Go library as a C shared object is non-trivial and rough around the edges. We are committed to polishing these edges.
227.
by 4ad 3y ago
A moral equivalence class is an axiomatic equivalence class that when quotienting some mathematical structure the model in question might lose some of its soundness or adequacy properties, but one that nevertheless might be useful for other
228.
by 4ad 3y ago
> [CUE] doesn't even have functions. Note that CUE has comprehensions, which are morally (but not syntactically) functions (actually closures). They are a way to transform values (which can be types) into other values. We are also a
229.
by 4ad 3y ago
Making CUE available as a library for other languages is one of our top priorities. Sadly, I can't provide an ETA at this time, all I can say is that I am personally working on this. Getting feedback from the community about what other
230.
by 4ad 3y ago
Tooling friendly can mean different things to different people. Similarly, different groups of people have different priorities. It has always been clear that LSP was high priority, but we have many other high priority work that also needs
231.
by 4ad 3y ago
It's actually not reasonable to require this if you do it right. On Solaris and illumos DTrace works just fine for a normal user. You simply have access to fewer probes if you are less privileged. Not the case on FreeBSD/Windows&#
232.
by 4ad 3y ago
DTrace in macOS was always a third class citizen, it never worked very well, and in fact, on arm64 machines it doesn't work at all (panics the kernel).
233.
by 4ad 3y ago
FWIW, we (CUE) are currently working on a LSP for CUE which should improve the IDE experience.
234.
by 4ad 3y ago
I would like to hear more.
235.
by 4ad 3y ago
??? This is a dude playing with his home wifi. 192-bit WPA3 Enterprise is not for every use case, nor does the author or anyone else make this claim. Your comment seems misplaced.
236.
by 4ad 3y ago
This might be a good article, I wouldn't know because I can't read this monospace atrocity. Reader view in Safari preserves the monospace font... /facepalm
237.
by 4ad 3y ago
Sounds like you are not valuing your time.
238.
by 4ad 3y ago
> It's not a matter of allocation > Once your applications starts feeling some memory pressure I rest my case.
239.
by 4ad 3y ago
The whole point of an appliance is that it runs a single application. Go does not have any sort of networking stack. This comment is 100% nonsense.
240.
by 4ad 3y ago
From a user experience perspective it is exactly the same. The user doesn't have to send their hardware away.

More ›