GregarianChild

11 ms·

61.
by GregarianChild 4y ago
(Unlike Haskell,) Scala does not force monadic composition on you at all. You can use Scala as a pure OO language, or for old-skool ML-like FP where you don't use monadic context abstraction. I've done both successfully in produ
62.
by GregarianChild 4y ago
Agreed! Regardless of programming language, every substantial software development needs to make serious architectural choices, otherwise things will become messy. I learned this the hard in my first programming job out of university. We we
63.
by GregarianChild 4y ago
Thank you Sébastien for your great work. Scala.js is one of the reasons I have been using Scala (for stuff that can be done in garbage collected languages). What's your roadmap for Scala.js, any major innovations or changes in the pipe
64.
by GregarianChild 4y ago
I'm a bit surprised by what you write. Until recently I was heading a compiler team. We found it impossible to hire experienced compiler engineers despite paying very well, so we essentially switched to hiring promising university gra
65.
by GregarianChild 4y ago
Did he? From the abstract: "my analysis could not clearly determine whether the bias was caused by misclassifying ambiguous phenotypes or deliberate falsification of the results."
66.
by GregarianChild 5y ago
Chisel's being hooked into the Java / Scala tool chain give makes setting up automated verification pipelines much easier: - You can use SBT or MVM to pull in dependencies - You can wrap up designs as .jar files - Powerful testing
67.
by GregarianChild 5y ago
https://en.wikipedia.org/wiki/Celle_Hole https://magazin.spiegel.de/EpubDelivery/spiegel/pdf/13518912
68.
Interview with Jim Keller: 'The Laziest Person at Tesla'(anandtech.com)
4 points by GregarianChild 5y ago|0 comments
69.
by GregarianChild 5y ago
LinkedIn is always interesting, I agree. For example, what is cloud guy like Larry Wikelius doing at a wireless processor company like Qualcomm?
70.
by GregarianChild 5y ago
Who says that Qualcomm are not also trying to do something in the RISCV space?
71.
by GregarianChild 5y ago
See also https://www.phoronix.com/scan.php?page=news_item&px=Intel-In...
72.
Intel Reportedly Offers over $2B to Acquire the Fabless Semiconductor SiFive(wccftech.com)
2 points by GregarianChild 5y ago|1 comments
73.
by GregarianChild 5y ago
I imagine that the real reason is not the attractiveness of the ISA, but the commercial danger of NVidia gaining control over Arm IP.
74.
by GregarianChild 5y ago
It is true that we currently cannot hide the microarchitectural effects of unsuccessful speculation, as exposed by transient execution attacks like Spectre and cousins. So what? Most workloads / customers are much more about perfor
75.
by GregarianChild 5y ago
I agree with jcranmer and astrange! It is not possible, in June 2021, to build a compiler that can schedule general workloads as well as an out-of-order scheduler can at run-time in a modern CPU. Note that the scheduling we are talking ab
76.
by GregarianChild 5y ago
What else would you have used as branding?
77.
by GregarianChild 5y ago
I think seL4 is orthogonal to the team's core achievements which are in verification of low-level code. Those technologies transfer to other settings.
78.
by GregarianChild 5y ago
The SeL4 FAQ has this gem I'm struggling to say what's wrong with that claim from a scientific POV. As others also point out, security is conditional on various things, including, in this case, what you consider a valid
79.
by GregarianChild 6y ago
In practise, how do you know if SDG has converged to a global optimum, and do you let it run long enough in practise until covergence?
80.
by GregarianChild 6y ago
Have you got a reference for the 1989 discovery of double descent? I brief Googling didn't unearth it. I'm not "citation needed" -ing you. I think a lot of decision-tree and boosting work is being rediscovered by the DL
81.
by GregarianChild 6y ago
There is a lot of resistance to dropping Verilog among working processor designers in my experience. Interestingly, LLHD is being folded into CIRCT [1] which is part of LLVM. [1] https://github.com/circt
82.
by GregarianChild 6y ago
The RISC-V ecosystem is quite fond of Chisel [1]. A new kid on the block is LLHD [2]. There are numerous others. [1] https://github.com/lowRISC/chisel [2] https://llhd.io/
83.
by GregarianChild 6y ago
Yes, so you want to say something like: the CPU doesn't allow additional timing attacks that already exist in software. Making such a relational property formal in a way that is usable in practise is a hard problem.
84.
by GregarianChild 6y ago
How are you planning to ensure that all victim code has data-independent timing?
85.
by GregarianChild 6y ago
That's interesting! What kind of consistency checks (other than register state being preserved by commands that do not write to the register in question)? Is there some standard best practise?
86.
by GregarianChild 6y ago
That would be great. But isn't there a danger, that such a CPU, at least if implemented naievely, would basically mostly idle, since modern OoO processors schedule memory access dynamically? For hard real-time tasks, some CPUs don&#x27
87.
by GregarianChild 6y ago
This is a good middle ground, but ... ... leakage by timing side-channels depends in parts on how accurate your time-measurements are (e.g. Javascript's timer resolution was degraded, in order to make transient failure attacks like S
88.
by GregarianChild 6y ago
I'm a bit reluctant to reply without having looked at the article in detail, but I feel confident that the answer must be negative! Why? Because the very concept of side-channel depends on attacker capability! For example, does your a
89.
by GregarianChild 6y ago
It's hard to predict the future. Alan Turing invented neural nets in a little-known paper entitled Intelligent Machinery (see [1]), in 1948. Since, the use of NNs has moved away decisively from inspiration by nature. I reckon, nature
90.
by GregarianChild 6y ago
In ZFC, you define reals as you sketch, and then specify rationals, integers etc as specific subsets, then you get inclusions, which mainstream mathematics uses without worries. And yes, mainstream mathematics is non-constructive (as is Is

More ›