Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
gnufx
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
61.
▲
Human HARMS: Threat modelling social harms against technical systems
(lightbluetouchpaper.org)
2 points
by
gnufx
1y ago
|
0 comments
62.
▲
Discovery of collagen in fossil bone could unlock new insights into dinosaurs
(news.liverpool.ac.uk)
70 points
by
gnufx
2y ago
|
17 comments
63.
▲
by
gnufx
2y ago
Then, after successful debugging your job isn't finished. The outline of "Three Questions About Each Bug You Find" < http://www.multicians.org/thvv/threeq.html > is: 1. Is this mistake somewhere els
64.
▲
by
gnufx
2y ago
Not relevant to the article, but for the history of UK academic networking mentioned in various comments, Wikipedia's account looks about right, though I'm not sure it's up-to-date concerning the regions: https://e
65.
▲
by
gnufx
2y ago
Yes, SRCNET/SERCNET/JANET were great as a physics researcher, despite what people have said about X.25. A potentially interesting point is that TCP/IP on JANET originally ran over X.25 until X.25 was finally phased out.
66.
▲
by
gnufx
2y ago
The "fat pipe" didn't look so fat at that stage! (I don't remember when you could first easily interact with the Internet.)
67.
▲
by
gnufx
2y ago
Red book was particularly interesting (modulo lack of security) long before "the Grid"; it worked between various computer centres.
68.
▲
by
gnufx
2y ago
The trouble was that it was quite unclear to a researcher, even in one of the research council networking hubs, how to get access to the gateway, and it may have cost. I gave up trying before going to work in Oak Ridge for the summer (wher
69.
▲
The rock houses of England's last cave people
(bbc.co.uk)
12 points
by
gnufx
2y ago
|
2 comments
70.
▲
The whole story of human evolution – from ancient apes via Lucy to us
(news.liverpool.ac.uk)
1 points
by
gnufx
2y ago
|
0 comments
71.
▲
by
gnufx
2y ago
Jim Austin has one: https://www.computermuseum.org.uk/machines/sun_e10000.html
72.
▲
by
gnufx
2y ago
> a guy screaming into a rack of spinning rust and watching read latencies spike https://www.youtube.com/watch?v=tDacjrSCeq4
73.
▲
by
gnufx
2y ago
> Sparc is not for performance, particularly for benchmarks It certainly was from 2011 to 2019: https://en.wikipedia.org/wiki/K_computer > obviously you need to write your own software Kerberos ran fine for me on
74.
▲
by
gnufx
2y ago
The last Sun systems I operated -- x2200s not up to Sun standards -- ran GNU/Linux on Opteron in an HPC cluster.
75.
▲
Join Our 3-Course Series on Cybersecurity Economics
(lightbluetouchpaper.org)
3 points
by
gnufx
2y ago
|
0 comments
76.
▲
by
gnufx
2y ago
> an emulation of a VGA PC setup IPMI does rather more than than giving you console access, though it's serial, not VGA. Typical server BMCs which embed IPMI do more again. Not to defend the quality of various BMC firmware and supp
77.
▲
by
gnufx
2y ago
Well, it should always be on a physically isolated network, and avoid BMCs which share their NIC with the system.
78.
▲
by
gnufx
2y ago
See the references I just posted, crossing with that, for CHERI-RISC-V if others are interested.
79.
▲
by
gnufx
2y ago
I wonder why emulators aren't interesting for a hobbyist. However, there are FPGA implementations [1], and micro-controller-type systems on FPGA available commercially [2]. [3] has a list of publications for the rigorous engineering a
80.
▲
by
gnufx
2y ago
One such paper is https://jianyuhuang.com/papers/sc16.pdf ; I don't know if there's anything more recent/relevant.
81.
▲
by
gnufx
2y ago
https://github.com/flame/blis#citations is the current set of references for various aspects of the approach. The article, or something similar, was posted recently with discussion.
82.
▲
by
gnufx
2y ago
There have been a number of OS-type systems in Ada/SPARK, though at least mainly in the embedded space. E.g. the Muen verified separation kernel: https://muen.sk/
83.
▲
by
gnufx
2y ago
For what it's worth, /e/ OS is now using its own location service, but I don't know what, if anything, restricts access to it.
84.
▲
by
gnufx
2y ago
CHERI is very different from that in multiple ways, and then SPARC/Solaris is doubly moribund.
85.
▲
by
gnufx
2y ago
Peter Sewell has talked about "underpinning the foundations" e.g. [1], but that's not a performance like [2], [3]. [1] https://www.youtube.com/watch?v=ptSUKbKe4c4 [2] https://media.ccc.de/v&#x
86.
▲
by
gnufx
2y ago
It's always worth reading the originals in a field, who typically had a clear, far-sighted view.
87.
▲
by
gnufx
2y ago
It runs in emulation, at least, doesn't it?
88.
▲
by
gnufx
2y ago
I don't remember a basement in the Oliver Lodge building, but I don't think there was much highly active after the tandem went, other than small short-lived sources made in the Universities research reactor.
89.
▲
by
gnufx
2y ago
The Chadwick building is on a different site, if that's not clear, like. Shame on losing interest in Physics!
90.
▲
by
gnufx
2y ago
I can't say the history was well-known even generally in the Liverpool department when I was a student, knowing Mike Houlden, and Arthur James, and John Holt less well. I was at least somewhat aware of it, though. I gather the unit o
More ›