he/him (john), 30-ish 👨‍💻 hacker friend, looking for work!! 🦀 hw/fw/sw, μarch security, rust, etc 🐘 @eigenform@treehouse.systems 🌥️ @reflexive.space

chicago-ish
Joined January 2018
fun little side-quest to satisfy a curiosity: using RAMINDEX to look at the L1I cache on the Cortex-A76 reflexive.space/cortex-a76-l…
1
5
12
1,881
level 5 pecan brittle cookie alert
1
5
280
why would you interpret this as a statement about "whether or not a computer has the ability to act?" who even does this?
I hate this slide every time it comes up, and now from CSAIL This has been false since before the slide was made. Automated systems make management decisions all the time (trading, logistics, customer service, insurance) & pretending they don't actually launders responsibility.
1
5
341
昼過ぎの緊急地震速報にはちょっと驚かされた。カムチャツカ半島の地震M6.9、深さは130kmほど。ISC-EHBのデータによる断面を背景にしたこの地震のUSGSによるCMT解、横顔震源球。P軸が沈み込み方向の降斜圧縮のメカニズム。
18
1
48
2,564
今は亡きSunのOS Solaris 9のフルセットが出てきました! 分厚いドキュメントやら環境ソフトウェアやら色々入ってます 昔仕事で使ってた方などの記念品にどうぞ。500円です
7
59
21
271
157,105
cynically, the reason more people aren't thinking this way is because the charge is being led by people whose job it is to sell the public on new use-cases for the product. and because the volume of capital sunk into the project has been so astronomical, the corresponding market must be proportionally large. and so now, instead of having discussions about how best to make use of a new technology in a way that most effectively meets the needs of society, and starting from a position of what we *want* and how technology can fit in that vision of a better world, we are instead trapped in a discussion on how to remake all of society around the product, as that is the only way for the market to be suitably large to justify the investment. and so, while we certainly get plenty of lip service about how humans must remain at the centre of things, what we get in practice is an attempt to reorganize the whole of society in service of a couple of companies' bottom lines.
This is another reason why I've recently become human-pilled for law. Law is where we operationalize our values as a basis for resolving disputes. It's tempting to turn that over, even in part, to AI—it would be more efficient and cheaper. But we don't need to do that. Recently there's been a lot of talk, led by people working in @AnthropicAI but joined by a lot of legal scholars and others, of how AI-assisted legal research and filings are already showing signs of potentially overwhelming our already stretched legal system. And, in turn, how this motivates the use of AI in supporting and, in the case of arbitration, even replacing human decision-making. But I don't understand why we need to go there? We're already headed there with broader education, but especially if AI delivers on its promise, we are shortly going to be in a situation where there's a surplus rather than shortage of knowledge workers. In that case, we have an opportunity to greatly expand the population of people who can be counsellors, advocates, jurists, and neutral arbiters and mediators, and other participants in dispute resolution. I've been wondering why more people aren't thinking this way. We can be look to, for example, the response to the growth of AI in creative industries where more and more people who previously lacked the resources to do expensive CGI and viz effects can now have access to that more cheaply and to create things they couldn't do otherwise.
3
12
2
103
3,981
what to do when the trisector comes with 500kloc Lean
1
129
Maxwell's demon revealed as the eponymous "devil in the details", details at 8
1
92
Crazy stuff: moving loader dyn relic handling to the kernel via ebpf leads to less dirty memory and faster Clang compilation (reduces page faults) lpc.events/event/20/contribu…
4
29
1
154
7,856
約35年前のテロップ作画機。
6
315
21
2,793
240,371
A lot of tech debt is maturing all at once, but in parallel the interest rate on tech debt is falling to make greater quantities of it sustainable.
7
5
3
62
4,623
(there's gotta be like, at least two of you who listen to death metal)
37
when your ISA presents you "precise" exceptions, the prerequisite to "knowing the precise state at the faulting instruction" is "knowing that state is correct in the first place"!
I gave a talk on data parallelism this week, and I discussed 'runtime dispatching'. It is a trick whereas you check what the CPU supports (at runtime) and selects the right code path. The engineer asked 'what happens if the processor speculates wrong?' Indeed, whenever there is a branch, a compiler might try to evaluate the wrong branch. If you try to execute an instruction that your processor does not support, you typically get a crash. So it might be possible that you would check what the CPU supports, and somehow end up on a code path with unsupported instructions due to speculation. So would it crash if it speculated wrong? I said that I expected that there should be no crash, and no side-effect. I am happy to report that my answer was correct. Civilization saved, once again.
2
8
739
オタチちゃん( ՞. ̫.՞)
1
338
2
1,809
31,834
meta retweeted
now that jane street released the solutions to their reverse asic challenge, wanted to share my approach. my solution was one of their favs :) I rebuilt the chip's wiring straight from the layout, then let a sat solver find the answer
7
13
260
13,164
migraine o'clock
1
2
303
arghhh had this headache on and off for two days
33
hey cool, they released the venice (?) PPR docs.amd.com/v/u/en-US/58655…
1
8
487
(or maybe this is just a more concrete way of talking about the way predictor)
1
70
(or maybe if you are hellbent on buffering *a lot* of stores, it makes sense to refer to that structure as an L0 cache)
13