xfer

46 ms·

181.
by xfer 6y ago
Can you actually have a faster system with hardware checks compared to what we can do with x86 with all security checks in software? If not, I don't see the point. Noone is going to buy slower hardware that runs the same safe language(
182.
by xfer 6y ago
Is there an easy way to import rust data types into passerine(maybe via some derive macro)? I understand the author is exploring the PL design space, but for an embeddable language a good interop story is what sets them apart.
183.
by xfer 6y ago
> For one thing, nobody is forcing you to put any information on your CV. And put what for the career gap? It's easier to just put the truth than to make something up for the gap years.
184.
by xfer 6y ago
If you are talking about end user software, you can just depend on platform dotnet and just ship your library/executables. For server software 60mb is not much when you see most people ship gigabytes of docker containers for os runtime
185.
by xfer 6y ago
Consider adding your code directory to exclusions list for windows defender, if you haven't done so already. File metadata related operations are slower on windows, so it definitely feels worse with git.
186.
by xfer 6y ago
All haskell threads are cancellable. This does mean you have to take extra care when using certain constructs.
187.
by xfer 6y ago
Nobody cares if any of those are exploitable, but browsers are literally the os for a lot of people and needs to be secure.
188.
by xfer 6y ago
> And therefore the monarch's own wealth and power is at stake. They have a tolerance of how much resource can be wasted. President's kickback isn't worth anything when the resource wasted can actually cause problem for th
189.
by xfer 6y ago
I doubt many people who are in Ocaml camp see F# as more natural choice. Multicore is a nice to have thing, but it isn't a dealbreaker, see python, nodejs. Depending on your domain, ocaml ecosystem can be way more mature.
190.
by xfer 6y ago
Yeah considering it doesn't work on windows, the more general tool nix, which has good integration with direnv works very well.
191.
by xfer 6y ago
You vastly underestimate efficient implementation of simulating and rendering so many entities at the same time. A lot of big name games crawl if there are 50 units doing their thing.
192.
by xfer 6y ago
Unless you are talking about very stable countries(where this is not even an issue to begin with), we have already seen a few(russia, india etc) doing this without a second thought, not just china. The damage can be attributed to someone el
193.
by xfer 6y ago
Governments can easily block AWS as well and they have. Even simpler, they just go for the kill-switch and kill internet.
194.
by xfer 6y ago
Facebook, whatsapp, google have all messaging service that are centralized. > Microservices trade gaming cloud providers for precious pay-by-the-second service for an endless byzantine dumpster fire of almost impossible to diagnose failu
195.
by xfer 6y ago
You can find the mpd stream and the subtitle in network tab. For me: youtube-dl.exe -f bestvideo+bestaudio " https://vod-dash-ww-live.akamaized.net/usp/auth/vod/piff_abr... " And the subtitle(EBU-TT-D
196.
by xfer 6y ago
Ocaml is a moving target, new features are added. Bucklescript was 4.02 for a long time before moving to 4.06. It is unclear what the current status of Rescript is.
197.
by xfer 6y ago
You have to write binding glue code. Last i saw reason also required binding code to work. Here is a react binding for jsoo: https://github.com/jchavarri/jsoo-react .
198.
by xfer 6y ago
Sorry to say, it's not. F# is nowhere near the wonderful type-sytem of Ocaml(although it's intentional). I would stick with js_of_ocaml for my js needs.
199.
by xfer 6y ago
Moreover it's hard to figure out which Ocaml version is Rescript on? Last i checked it was on 4.06, Do they backport any features, bugfixes? Now it seems like it's a complete fork with a new syntax. Maybe it serves the interest of
200.
by xfer 6y ago
He talks about having swift compiler engineers in team. Was swift not opensource back then, so they could optimize the compiler for size instead of reordering optimization passes using simulated annealing?
201.
by xfer 6y ago
It is used in production os like linux kernel, mostly in intrusive data structures.
202.
by xfer 6y ago
For concurrency related specs i was alluding to spin/TLA+.
203.
by xfer 6y ago
As always the problem is the specification. Once you sit down and write the formal specification, suddenly the implementation becomes much clearer.
204.
by xfer 6y ago
Expecting open source developers to write a well-tested proprietary SDK for a vendor is going to be hard ask. If you need that and unwilling to do/fund the work yourself, just stick with vendor supported languages.
205.
by xfer 6y ago
nix + direnv -> https://github.com/target/lorri .
206.
by xfer 6y ago
Nice idea. Another related game i have been waiting for is Logic world[0]. [0] https://logicworld.net/
207.
by xfer 6y ago
You are pretending that apps don't do any of that? The only difference is you have control over your browser(you can filter tracking sites etc) but for an app you have none.
208.
by xfer 6y ago
Same thing happened in Ocaml land w.r.t. async vs lwt. Not sure what the current situation is but people had to abstract their libraries and do 2 implementations to support them.
209.
by xfer 6y ago
Well, the trick is to ship your own libpng/libvorbis linked dynamically. So you only update a tiny library than half a gigabyte executable when you need a security fix. You also don't depend on the distro to provide the library. I
210.
by xfer 6y ago
> I wouldn’t be surprised if the strongest indicator of whether someone sticks with Emacs is whether they have access to an Emacs expert A lot of benefits of Emacs you get are when you realize you are operating a lisp VM. Enabling all th

More ›