vjerancrnjak

7 ms·

1.
by vjerancrnjak 28d ago
Great find and write up. This year if I remember correctly 40+ people got the check, ~1000 have an account at the bank. I got mine this year, an exercise I revisit every few years since 2012 to learn a new programming lang or approach had a
2.
by vjerancrnjak 4mo ago
Nope. Codex formalizes much better than any tool with exception of Aristotle from Harmonic. https://github.com/vjeranc/fixed-rtrt M3 module was formalized fully purely from experimental data and from a nudge by earlier
3.
by vjerancrnjak 4mo ago
David Attenborough saw more clearly than most what was being lost. But even he stopped short of fully applying that logic to animals themselves. Rewilding at scale, deep emissions cuts, and a serious move away from animal agriculture are th
4.
by vjerancrnjak 5mo ago
Regret analysis in bandit and similar algorithms shows how inference is connected to loss function. If your loss function is good, greedy inference is as good as joint inference. Training on cost-to-go loss is good enough. Perfect cost-to-
5.
by vjerancrnjak 5mo ago
Github was already struggling with bazillions of throw-as-much-crap-on-the-wall software running in actions, and now the world is running throw-as-much-LLM-crap-on-the-wall computation, as unstoppable as the pre-LLM era. Turning compute int
6.
by vjerancrnjak 5mo ago
Ask it to formalize it in Lean.
7.
by vjerancrnjak 5mo ago
I think this description is often associated with ADHD memes. Falling asleep after a can of energy drink.
8.
by vjerancrnjak 5mo ago
Following the bottle-cap madness, I don't think any current data shows the actual issue was resolved. Even worse, the effect on marine life is still not measured, and afaik reduction of harm was the primary goal. Instead of brutally hi
9.
by vjerancrnjak 5mo ago
just keep-alive it with pipelining, depending on the server, 100k+ RPS.
10.
by vjerancrnjak 6mo ago
haha, all of a sudden I see a tab "waifu pillow" on Amazon, and think I have a split personality that runs searches in between consciousness shifts, and then I come back to a funny message.
11.
by vjerancrnjak 6mo ago
Just asked for boxes, curved shapes, cylinders, cuts, mirroring, gave exact dimensions and it built up to ~400 lines of FreeCAD python. 3d printed handle was exactly how i wanted it to be
12.
by vjerancrnjak 6mo ago
I vibecoded a suitcase handle months ago with its Python interface. A pleasant experience.
13.
by vjerancrnjak 6mo ago
Your “what about plants” argument is such a worn-out trope that you must have seen it before and read a valid explanation of why it makes no sense. Peter Singer has been writing on the topic for decades, including others. What-about-plants
14.
by vjerancrnjak 6mo ago
I had a similar feeling trying to calculate some combinatorial structures. At some point the LLM made a connection to extremal combinatorics and calculated tighter bounds and got me to the solution faster. Felt flashbacks of playing chess a
15.
by vjerancrnjak 7mo ago
Libraries create boundaries, which are in most cases arbitrary, that then limit the way you can interact with code, creating more boilerplate to get what you want from a library. Abstractions are the source of bloat. Without abstractions yo
16.
by vjerancrnjak 7mo ago
White colar work is just a lucky place to be, 99% of it is completely made up, there's people doing nothing, and people doing work of 10 people, does not matter, the work itself has no impact on anything. A nice way to realize why this
17.
by vjerancrnjak 7mo ago
No. There is good signal in IMO gold medal performance. These models actually learn distributed representations of nontrivial search algorithms. A whole field of theorem provingaftwr decades of refinements couldn’t even win a medal yet 8B p
18.
by vjerancrnjak 7mo ago
On reddit it's even worse, I feel like Reddit is internally having their own bots for engagement bait. As someone who loves LaTeX, I can't imagine ever spending so much time on typography on online forums, italics, bold, emdashes,
19.
by vjerancrnjak 7mo ago
Funny how pydantic is used to parse and not validate but then there are post conditions after parsing which you should parse actually or which can be enforced with json schema and properly implemented constrained sampling on the LLM side.
20.
by vjerancrnjak 7mo ago
Pipelines are often dynamic, how is this achieved? Pipelines are just a description of computation, sometimes it makes sense to increase throughput, instead of low latency, by batching, is execution separate from the pipeline definition?
21.
by vjerancrnjak 7mo ago
It's quite tricky as they optimize the agent loop, similar to codex. It's probably not enough to have answer-prompt -> tool call -> result critic -> apply or refine, there might be a specific thing they're doing when
22.
by vjerancrnjak 7mo ago
I would say IMO results demonstrated that. Silver was tiny 3B model. All of our theorem provers had no way to approach silver medal performance despite decades of algorithmic leaps. Learning stage for transformers has a while ago demonstrat
23.
by vjerancrnjak 7mo ago
Most software is just middlemen collecting money. Thats the reason why there is no economic drastic growth even with 2-3 years of AI. What you’re worrying about is just bigger middlemen. If you were not a value extracting middleman there wo
24.
by vjerancrnjak 7mo ago
Bandits? Spaced repetition algos
25.
by vjerancrnjak 7mo ago
Flink is not really a performance choice, it's bloat to throw software as fast as possible at problems. I don't think there's any benchmark demonstrating insane capabilities per machine. I definitely couldn't get it to a
26.
by vjerancrnjak 7mo ago
Flink is too slow for this. If by features you mean tracking state per user, that stuff can be tracked without Flink insanely fast with Redis as well. If you re saying they dont have to load data to update the state, I dont see how massive
27.
by vjerancrnjak 8mo ago
I tried just repeating guó for as many times as symbols and repetition was not recognized. Although I like the active aspect of the approach. Language apps where sound is the main form of learning should have a great advantage, as any writt
28.
by vjerancrnjak 8mo ago
I think this is standard. It applies to domains as well. I experienced government services blocks as well -- they send me an email, yet block my reply. I complain every time and rarely does anyone care, the support person does not escalate,
29.
by vjerancrnjak 8mo ago
I did not do anything wrong. I had no choice with Redshift and had instructions from above. I made it work really well for what it can do and was surprised how much it sucks even when it has its own data inside of it and has to do compute.
30.
by vjerancrnjak 8mo ago
Clickhouse is column based storage, I can also apply delta compression, where gapless timestamp columns basically have 0 storage cost. I can apply Gorilla as well and get nice compression from irregular columns. I am aware of Redshift'

More ›