nyrikki

21 ms·

241.
by nyrikki 1y ago
Big difference between a perfect information, completely specified zero sum game and the real world. As a simple analogy, read out the following sentence multiple times, stressing a different word each time. "I never said she stole my
242.
by nyrikki 1y ago
Namespaces are not a security feature, they are... namespaces. In k8s as an example, if you share your PID namespace in a pod, which is a simple config option, you can arbitrarily enter other pod member FS tree with /proc/PID&#x2F
243.
by nyrikki 1y ago
There is a bit of nuances here that is difficult to explain fully but note from the paper. > Our simulation reduces the problem of simulating time-bounded multitape Turing machines to a series of implicitly-defined Tree Evaluation instan
244.
by nyrikki 1y ago
The problem goes way back to the IPng days. With the project being designed by a committee who would choose random hills to die on, wasn't adaptive to new needs and used sticks more than carrots. Some of those have been changed but typ
245.
by nyrikki 1y ago
I will admit that I added that cite mostly because of the very real barriers to even learning RUSS. By the typos etc.. you. can probably also tell I was doing this on mobile, unfortunately as a passenger in a car. To quote Chaitin’s explana
246.
by nyrikki 1y ago
To try and help people digging into this, the following helped me. Two lenses for trying to understand this are potentially Chastain's limits on output of a lisp program being more complex than the program itself [1] or Markov's p
247.
by nyrikki 1y ago
Note I intentionally didn't invoke uncomputable , because computable is a highly constrained definition, and in this case is a circular refrence. > All computable reals can similarly have their digits extracted by some algorithm
248.
by nyrikki 1y ago
"almost all" or "almost everywhere" is in italics because I mean it in the measure theory sense. Meaning it holds for all elements of a set except for a subset that has measure zero. Yes some normal numbers are in the c
249.
by nyrikki 1y ago
I am not a 10x systems programmer but I have used both for MCU projects. An expert Rust programer probably wouldn't have the same friction points I experienced. Two of the main advantages of the Rust borrow checker is preventing use af
250.
by nyrikki 1y ago
Almost all real numbers are normal numbers, which don't even have a finite representation. Sure you can assign them to an arbitrary set, but you don't have access to the value. It is a hay in the haystack problem, where you real
251.
by nyrikki 1y ago
The problem is that your challenge is begging the question. Computability or algorithms are the problem. It is all the 'no effective algorithm exists for X' that is the problem. Spike train retiming and issues with riddled basins
252.
by nyrikki 1y ago
Even if you are cloud native, it makes sense to have scaffolding to allow for vendor mitigation, unless you want to tie your entire companies future to the whims of a single company. Monitoring and persistence layers are cross cutting and a
253.
by nyrikki 1y ago
> I use NixOS. And NixOS isn’t a problem — it’s a solution. > The past ten years saw a big shift in how we are writing software: baseline level of “interactive static analysis" While I am making no judgement on what is 'bett
254.
by nyrikki 1y ago
Still not an open source specific example. 1) Due to the stability of the Linux kernel ABI, switching distros is far easier than between Interactive, SCO, SunOS, IIRC, Ultrix etc... There have only really been two major bootloaders in x86 L
255.
by nyrikki 1y ago
'Reducibility' is a property if present that makes problems tractable or possibly practical. What you are mentioning is called western reductionism by some. In the western world it does map to Plato etc, but it is also a problem
256.
by nyrikki 1y ago
You still have to transfer the heat to something. Note that it is quite common for the refrigerant or chilled water to be a closed loop, but still have an evaporative cooling tower etc. People are trying to use geothermal etc... Evaporative
257.
by nyrikki 1y ago
As other have stated, evaporative cooling is most of the usage, AC dries the air and requires adding moisture to the air to prevent problems with static electricity, this drives a much smaller portion of the usage. Note that evaporative coo
258.
by nyrikki 1y ago
Jails were explicitly designed for security, cgroups were more generalized as more about resource control, and leverages namespaces, capabilities, apparmor/SELinux to accomplish what they do. > Jails create a safe environment indepe
259.
by nyrikki 1y ago
You are in rarified air as Walter Pitts believed this until the 1959 paper "What the Frog's Eye Tells the Frog's Brain" contributed to his decline. Even in fly eyes, neuron dendritic compartmentalization and variable spi
260.
by nyrikki 1y ago
While VMs do have an attack surface, it is vastly different than containers, which as you pointed out are not really a security system, but simply namespaces. Seacomp, capabilities, selinux, apparmor, etc.. can help harden containers, but m
261.
Mind the Gap: Deep Learning Doesn't Learn Deeply(arxiv.org)
2 points by nyrikki 1y ago|0 comments
262.
by nyrikki 1y ago
> I use LLMs for annoying shit that used to take an inordinate amount of time. For example an analyst gives me a CSV, it has some data clean up issues, eventually it needs to become a series of SQL inserts. The CSV to SQL for analysts pr
263.
by nyrikki 1y ago
You can tell I have been in the 5v world too much, thanks for the correction.
264.
by nyrikki 1y ago
Unless you are very price sensitive, using USB Power Delivery ICs is the norm now for most devices, but PD is different than POE. PD is just loose tolerance resistors on USB.
265.
by nyrikki 1y ago
Honest question, what type of CSV to SQL code are you doing whre correctness doesn't count? Perhaps my few decades in the industry have been in areas whree it is always the details, correctness, and fitness for purpose that tends to ma
266.
by nyrikki 1y ago
Note the 'hypothetical profit' part , I know of several groups looking for opportunities to skim off LLM traders, leveraging its limited sensitivity, expressiveness, and the loss of tail data. Predictive AI is problematic no matte
267.
Beyond Semantics: Unreasonable Effectiveness of Reasonless Intermediate Tokens(arxiv.org)
138 points by nyrikki 1y ago|66 comments
268.
by nyrikki 1y ago
While I agree, sometimes working to repair problems is required to get there. Sometimes one has to demonstrate value to counteract the cultural erosion caused by action and outcome bias to enable that empowerment. These big wasteful meeting
269.
by nyrikki 1y ago
> Everybody in a meeting should give input or they shouldn’t be in the meeting At several companies I was at this rule would have removed the last slack time I had to fix, refactor and maintain systems. I actually asked a manager to add
270.
Do Think Tags Help LLMs Plan?(openreview.net)
2 points by nyrikki 1y ago|1 comments

More ›