sidereal

5 ms·

1.
by sidereal 5y ago
The folks involved gave a neat talk about the verification techniques and tools they used as part of AWS Pi Week recently: https://www.twitch.tv/videos/951537246?t=1h10m10s
2.
by sidereal 7y ago
They're specifications in the K Framework, developed by the same group of folks: http://www.kframework.org/index.php/Main_Page
3.
by sidereal 8y ago
Before learning about Alloy*, you might want to learn about Alloy itself: http://alloy.lcs.mit.edu/alloy/index.html Hillel Wayne has a great series of blog posts on using Alloy to solve software design problems: https
4.
by sidereal 8y ago
Looks like A72. Here's the cpuinfo: processor : 0 BogoMIPS : 166.66 Features : fp asimd evtstrm aes pmull sha1 sha2 crc32 cpuid CPU implementer : 0x41 CPU architecture: 8 CPU variant : 0x0 CPU part : 0xd08 CPU revisio
5.
by sidereal 8y ago
I cleaned up that text a little bit -- the 7700K doesn't draw the full 91W TDP when only a single core is loaded, as in this experiment.
6.
SMT Solving on an iPhone(homes.cs.washington.edu)
174 points by sidereal 8y ago|35 comments
7.
by sidereal 8y ago
It’s certainly possible, though it comes with a different set of challenges to software verification. Here’s a recent paper in this direction, proving the correctness of a RISC-V CPU: http://plv.csail.mit.edu/kami/paper
8.
Can you train a neural network using an SMT solver?(homes.cs.washington.edu)
5 points by sidereal 8y ago|0 comments
9.
Building a Program Synthesizer(homes.cs.washington.edu)
132 points by sidereal 8y ago|24 comments
10.
How a Diablo expansion led to behind-the-scenes trouble(polygon.com)
118 points by sidereal 8y ago|71 comments
11.
by sidereal 8y ago
Polyhedral optimisation is cool (Facebook has been using it to great effect for ML kernels recently [1]), but it’s not the end of the story. It’s complementary to this paper, which seems to be about learning an effective and transferrable c
12.
by sidereal 8y ago
MSR also has Tony Hoare.
13.
Mars Code [pdf](spinroot.com)
2 points by sidereal 9y ago|0 comments
14.
by sidereal 9y ago
Today's branch predictors use ideas from machine learning: https://news.ycombinator.com/item?id=12340348
15.
by sidereal 9y ago
Running on a Zedboard is quite well documented; only took me a couple of hours to do it from scratch following their instructions: https://github.com/ucb-bar/fpga-zynq
16.
by sidereal 9y ago
Intel last year released a preview of their Control-flow Enforcement Technology instructions, which appear to implement these proposed extensions (shadow stack + indirect branch tracking): https://software.intel.com/sites&#
17.
A DNA-Based Archival Storage System(homes.cs.washington.edu)
9 points by sidereal 11y ago|0 comments
18.
Memory Consistency Models: A Primer(homes.cs.washington.edu)
2 points by sidereal 11y ago|0 comments
19.
Software Defined Batteries [pdf](research.microsoft.com)
1 points by sidereal 11y ago|0 comments
20.
Scholarly markdown (with R) for fun and (non-monetary) profit(homes.cs.washington.edu)
7 points by sidereal 12y ago|0 comments
21.
How Not to Measure Computer System Performance(homes.cs.washington.edu)
97 points by sidereal 12y ago|13 comments