HN user

clord

1,031 karma

Started pliosoft.com. Used to be a c++/fortran compiler engineer for IBM.

[ my public key: https://keybase.io/clord; my proof: https://keybase.io/clord/sigs/krTEbnhXaURpsY0ID80LEGUxq4yo4VuWODHIYiqaFsA ]

Posts0
Comments245
View on HN
No posts found.

There is something deep in this observation. When I reflect on how I write code, sometimes it’s backwards. Sometimes I start with the data and work back through to the outer functions, unnesting as I go. Sometimes I start with the final return and work back to the inputs. I notice sometimes LLMs should work this way, but can’t. So they end up rewriting from the start.

Makes me wonder if future llms will be composing nonlinear things and be able to work in non-token-order spaces temporarily, or will have a way to map their output back to linear token order. I know nonlinear thinking is common while writing code though. current llms might be hiding a deficit by having a large and perfect context window.

I think that whole section of the post was "For example, in Kotlin," presumably these are true in that language.

The automation should be setting flags on videos. Users should have preferences for opting in or out of flags with reasonable defaults. If there is a jurisdictional requirement in a users location YouTube sets the preference to disabled according to the law and shows a link to the regional law so users understand.

Hence abuse is a local thing too. One can be getting flagged in one region but not in another. ‘Abuse’ amounts to getting certain flags auto-applied in some locations or whatever. Should not affect the account itself though.

I used to do something like this all the time with C/C++ compiler tests. I tried lots of fancy tools and stuff, but I kept going back to: expand all macros and retokenize to one token per line (I made a custom build of the preprocessor that had this built in). Then, have a shell script randomly remove lines, and use another script to check that the resulting test case behaves consistently with the failure. It would run for a few hours (or days, for boost problems), then usually you'd get a really minimal testcase that shows the problem. Often I would use this to find regressions. Just have the shell script check one is good, the other has the problem. The resulting output would then usually point exactly at the regressed feature, and make an amazing unit test.

Before leaving compiler team, I wanted to find a way to do this one the AST level (so parens always go in pairs, etc), but that could also complect with the bug.

I wonder if LLMs could accelerate this by more intelligently removing stuff first, iteratively?

Env vars over-share and files depend on local permissions. We should have a capabilities -like way to send secrets between processes. e.g., decrypt and expose on a Unix socket with a sha filename that can only be read from once, and then gets torn down. Share the file name, target can read it and immediately the secret is now at-rest encrypted. Encryption based on config containing a whitelist of ssh public keys and what they can access, sort of like age.

I like the idea of autolayout like flex for routing wires. There needs to be things like busses etc., feels like there is something there that could be flexed. Problem is the multiple dimensions of connections, so maybe something inspired by grid layout and grid template area?

This reminds me of an old idea I’ve toyed with. In a logic class in university we talked about how some logic is time dependent, like A is true 2 hours after B becomes true. I was inspired to try to think through a language like prolog that could model and solve these relations through time. Didn’t get far with it since it’s a hard problem and I had too many classes that term. I was thinking it would be useful for clockless chips.

I’ve seen what happens many times when the abstraction fails, and people don’t understand the guts. The people who know the abstraction replace it with something based in the concrete, but without the middle layer, and which resembles the abstraction.

The abstraction becomes real.

I suspect in cases like this the dog is hearing something you don't in the environment and has associated it with treat time, creating the expectation. If you reconfigure NTP to use her intuition, you risk biasing whatever the source is, creating a feedback loop that will create drift.

The land with cattle on are the most productive, as they get quite a compliment of natural fertilizer from the cattle. I would say cattle do not spoil the land, but improve it. This can't help but be the case, given the way grass responds to being eaten.

Additionally, once the grazers improve grass life, the water-table improves. The worst lakes in our area are surrounded by fertilized annual crops. Their water is polluted with nitrogen fertilizers and are very poor quality, with blue-green algae blooms, and as a result are not swimmable. My friend lost a dog to such a lake.

The land with active grazers in contrast, is very good at preventing this problem. The best lake for 200km around me is surrounded by grass-fed cattle operations, and there is absolutely no problem with algae blooms.

I think a central problem of our time is that educated elites are detached from reality, not seeing things like what I mention above, and so are acting upon their false perceptions, causing great harms as a result. The Apple announcement today about leather acts to confirm my suspicions about this.

Two things:

- Grazers improve the capacity of grass to carbon capture

- Some land is ONLY able to grow grass. The alternative is desertification, and so livestock is the only option to produce food. edit: unless you bring in fossil fertilizers.

I suspect that because of conservation of energy, methane is a highly reactive over the short term, but ultimately an insignificant element in the big picture IF you ignore the massive oil inputs humans are adding to the system. That is to say, methane on its own is not a reason to discourage digging up oil to make grain, which is used to feed cattle.

The water cycle is a great example because it is filtering the water as it goes, rapidly producing fresh water that rains on the land. Methane, likewise, is a short-lived byproduct of excess animal activity, and in a steady state sustainable mode, we have equality. The problem is the finger of oil on the scale, not the grass-raised beef, just like how excess bovines produce excess methane.

you're right, this is greenwashing. I sell into the market sometimes and the hides are basically wasted unless you try hard to line up buyers. plus, if your beef is grass fed for its whole life like ours, it's carbon neutral, as all the carbon that goes into the animal came from the atmosphere. It's true that factory-raised beef is bad for the environment though, as they eat grains that are fertilized from oil via Haber–Bosch. It's also true that tanning uses lots of nasty stuff, but there is vegetable tanning which works well and sourced from nuts and stuff.

I feel like it might be possible with dataflow analysis. Stepping through the regex maintaining a liveness set or something like that. Sort of like computing exemplar inputs, but with repetition as permitted exemplars. Honestly probably end up re-encoding the regex in some other format, perhaps with 'optimizations applied.'

imo, it amounts to revisiting concepts once more general principles are found — and needed. For instance, you learn the alphabet, and it's hard. the order is tricky. the sounds are tricky, etc. but eventually, it get distilled to a pattern. But you still have to start from A to remember what letter 6 is, until you encounter that problem many times, and then the brain creates a 6=F mapping. I think of it in economic terms: when the brain realizes it's cheaper to create a generalization, it does so on the fly, and that generalization takes over the task.

Somtimes it's almost like creating a specialist shard to take over the task. Driving is hard at first, with very high task overload, lots to pay attention to. With practice, it becomes a little automated part of yourself takes care of those tasks while your main general intelligence can do whatever it likes, even as the "driver" deals with seriously difficult tasks.

Exactly right. Biometrics are more like usernames than passwords. They are on display for all, and immutable. I should be able to change my password. Ideally username too, but not an expectation most sites hold to.

I'd rather not have my username indelibly linked to my identity. for example, I should be able to delegate to my accountant, or let my kids do stuff on my steam account, etc. Not to mention using an indelible ID that is cross-site, meaning i have to use the same username on all suchlike sites and services. The temptation of having that singular id is so great, it is inevitable it will be known to all — including those corrupt governments who will use it for enhancing their power.

I honestly don't see an upside. Combine this with web attestation and I shudder a bit.

I always have an awkward delay with interac transfers when doing in-person. like "so, what do you think of those jays" bla bla for several minutes. Works great when the transaction is not 100% live though.

Trees and grazing animals collaboratively replenish aquifers. Meadows, being porous, guide moisture downwards, preventing floods and evaporation. Animal droppings enhance soil bioactivity, boosting water capture. Moreover, this process, free of fossil fertilizers, sequesters carbon. Areas abandoning cattle operations or imposing 're-wilding' often face desertification and flooding. Similarly, grain plantations that exclude animals share this issue. I've personally seen a parched, over-fertilized grain field transform into a vibrant savannah with natural springs within five years due to herd migration. The soil is now a joy to walk on, spongey and soft. Next farm over they still plant grains, and it's hard-pan and salted.

&T, &mut T, and T are all different types in a sense. Hence ref is transmuting types during restructuring.

Really, they are adding a new view, so perhaps this is like Haskell lenses, where you can make views with a different type that acts on underlying data

“Parquet has both a date type and the datetime type (both sensibly recorded as integers in UTC).”

What does it mean for a date to be utc? my date, but in the utc timezone? Usually when I write a date to a file, I want a naive date; since that’s the domain of the data. 2020-12-12 sales: $500. But splitting that by some other timezone seems to be introducing a mistake.

Often I want to think in local naive time too, especially for things like appointments that might change depending on dst or whatever. Converting to utc involves some scary things. Timestamps are also useful but I don’t want to transcode my data sometimes as the natural format is the most correct.

Loading and performance behind loading states are UI concerns, especially on a big distributed system like the modern web. Perhaps you allow native browser elements to provide that UI, perhaps customize it somehow, but a UI designer must consider how the page fills as data arrives. Do you do the ‘spinner hell’ thing? Keep it blank? FOUC? Show cache and update? These are primary UI concerns.