sanxiyn

62 ms·

931.
by sanxiyn 5y ago
You've never seen tutorials written that way because roughly nobody but you learns programming languages from the bottom up. There is just no demand. By the way, where can I read a D tutorial from the bottom up?
932.
by sanxiyn 5y ago
So what is the definition? That's the entire issue. If the definition is -fno-strict-overflow -fno-strict-aliasing, we are in violent agreement. We should consider making it standard. If the definition is for C to be free of UB, we are
933.
by sanxiyn 5y ago
Oh, so you are on "that's what I want!" camp. But I am pretty sure you are in minority, or at the very least economic minority. Slowdown implied by this semantics is large, and easily costs millions of dollars. > while I&#
934.
by sanxiyn 5y ago
No, I don't assume people are against register allocation, but any concrete proposal I have seen kind of implies such conclusion. I am trying to understand what people actually want, since they seem clearly different from what people
935.
by sanxiyn 5y ago
Yes, this is a consistent position, but bounds checking all indexing and making pointers larger by including length will cause slowdown much larger than 1-2%. My estimate is at least 10% slowdown. So citing 1-2% slowdown is misleading.
936.
by sanxiyn 5y ago
See https://news.ycombinator.com/item?id=30024534 (by jcranmer) and https://news.ycombinator.com/item?id=30026095 (by me). Does it help?
937.
by sanxiyn 5y ago
"Run faster" involves things like register allocation. How can you justify register allocation doesn't change semantics of code? It absolutely does! If you smash the stack, variables on stack will be smashed, and variables on
938.
by sanxiyn 5y ago
That data is bullshit. It measures -fno-strict-overflow -fno-strict-aliasing. I in fact agree flipping defaults on these UBs is reasonable, but that is very far from "portable assembler" or UB-free C. THE primary UB of C is out-of
939.
by sanxiyn 5y ago
Note that .NET 6 can use W^X now (and use it by default on ARM macOS). I agree W^X is an important security feature every JIT should support (V8, I am looking at you. Google, what's so difficult about this?).
940.
by sanxiyn 5y ago
Honestly yes? Higher pay, less overtime. Enjoy https://github.com/line/armeria from a unionized tech company of South Korea!
941.
by sanxiyn 5y ago
Compensation increased rapidly and more importantly compensation became more transparent. Unions collect compensation data and share analysis and anonymized statistics. All unions succeeded at the initial goal of striking down no overtime p
942.
by sanxiyn 5y ago
5% does seem excessive. I worked at a unionized tech company, and I paid 0.5% as union due.
943.
by sanxiyn 5y ago
That unions work in tech companies. Naver/Kakao/Nexon almost simultaneously unionized in 2018, and now some time has passed it is possible to evaluate. It worked great so far.
944.
by sanxiyn 5y ago
For me, Haskell is already there (maybe you find its ecosystem not vibrant enough?) and OCaml will be there with multicore OCaml.
945.
by sanxiyn 5y ago
Samsung union situation is in a bit of chaos, but it is in progress: https://samsunglabor.co.kr/ Edit: if you want to learn more, here is a news article titled "Samsung Electronics concludes its first collective bargai
946.
by sanxiyn 5y ago
Learn from South Korea: all top tech companies are unionized. #1 search engine (Naver), #1 messenger (Kakao), #1 game company (Nexon), etc.
947.
by sanxiyn 5y ago
Unions don't suck, Google sucks.
948.
by sanxiyn 5y ago
Rust was created to replace C++ in Firefox. Today, lots of Rust code in Firefox, replacing C++, and no Go code in Firefox. Therefore, for this goal, Go failed and Rust already succeeded.
949.
by sanxiyn 5y ago
Rust actually tried this. Search for "stdx". For some reasons, it didn't take off. Maybe we should try again.
950.
by sanxiyn 5y ago
It reduces TCB. TPM is smaller than entire server.
951.
by sanxiyn 5y ago
We assume it is, just like we assume CPU works as advertised. In other words, TPM is part of TCB.
952.
by sanxiyn 5y ago
This is incorrect. Conflict was over multiprocess architecture, where Google added it as a WebKit port and Apple did a proper redesign and produced WebKit2. WebKit is still extremely portable and non-Apple platforms are first class.
953.
by sanxiyn 5y ago
There is ScikitLearn.jl if you want a literal port, and MLJ.jl if you want a spiritual one.
954.
by sanxiyn 5y ago
MongoDB embeds SpiderMonkey. Embeddability of SpiderMonkey is fine. It is Gecko that is the problem.
955.
by sanxiyn 5y ago
This is basically Haskell's Stackage. It works! Re getting volunteers for packaging: Debian exists, so it must be possible. In fact, not only Debian exists, but Debian has >1000 members. It's a matter of organization.
956.
by sanxiyn 5y ago
If it is a DMCA problem, shouldn't we mirror this to Gitee, a Chinese GitHub clone? China seems to be more free than USA in this respect.
957.
by sanxiyn 5y ago
> which can compile C into awk or sed, among various other things What did I just read? Thanks a lot for letting us know about ELVM. Much appreciated.
958.
by sanxiyn 5y ago
This happened only after the discovery that for languages like Python, guaranteeing insertion order iteration is virtually free. As I understand how to do that wasn't widely known in, say, 2010, and how to do that for C++/Rust&#x2
959.
by sanxiyn 5y ago
Yes, there is (and continues to be) significant disagreement among scientists on evaluating climate models. This is normal and has always been the case from the very beginning of climate models. No, you read it wrong. 35% thinks it appropri
960.
by sanxiyn 5y ago
I am saying while 40-year-old model is likely accurate by skill, it was luck 50-year-old model produced similar results to 40-year-old model. The reason is aerosol. Agreement of multiple models doesn't invalidate this because all 70s m

More ›