lairv

10 ms·

61.
Claude can sometimes prove it(galois.com)
219 points by lairv 1y ago|69 comments
62.
by lairv 1y ago
on the contrary this makes me bullish about their team, it shows that people here care about the craft
63.
by lairv 1y ago
> I don't remember the last time I was surprised by a car approaching from behind. With a headwind I often don’t hear cars behind me at all, so I can see the use case
64.
by lairv 1y ago
I tried to statically link DuckDB to one of my C++ project earlier this year and it took me 3 days to have something working on Windows/Linux/MacOS (just to be able to use the dependency) While I'm not a C++ expert, doing the
65.
by lairv 1y ago
It's the backend for torch.compile, pytorch eager mode will still use cuBLAS/cuDNN/custom CUDA kernels, not sure what's the usage of torch.compile
66.
DINOv3(ai.meta.com)
4 points by lairv 1y ago|0 comments
67.
by lairv 1y ago
TBH most people I know who regularly drive there still take the Millau valley route, since the viaduct toll is quite expensive at 13€ in the summer (just to cross the bridge)
68.
by lairv 1y ago
> if you can’t answer those questions, if you don’t even find them interesting I think you missed the second part of the sentence, it's one thing to not know the answers, but you should have a personal interest in finding them
69.
by lairv 1y ago
Fair enough I guess, even though the concept of agent/agentic task popped before reasoning models were really a thing
70.
by lairv 1y ago
In general most of the previous AI "breakthrough" in the last decade were backed by proper scientific research and ideas: - AlphaGo/AlphaZero (MCTS) - OpenAI Five (PPO) - GPT 1/2/3 (Transformers) - Dall-e 1/2,
71.
by lairv 1y ago
In ocaml you would rather do something like this: let x_power_8 = (let a = x*x in let b = a*a in b*b); a, b variables are just used for computing x_power_8, you don't need them outside of this scope. I think the point of the exercise i
72.
OxCaml - a set of extensions to the OCaml programming language.(oxcaml.org)
313 points by lairv 1y ago|118 comments
73.
Deprecate TF + JAX(github.com)
1 points by lairv 1y ago|1 comments
74.
by lairv 1y ago
More details from the lead maintainer: https://www.linkedin.com/posts/lysandredebut_i-have-bittersw...
75.
by lairv 1y ago
Converged to something similar after spending 2 days bissecting a repo to reproduce a training run, having to wait 3hr on each commit before conclusive results. I couldn't get myself to use hydra though, it felt like a lot of bloat vs
76.
by lairv 1y ago
Alex Nichol worked on "Gotta Learn Fast" in 2018 which Carmack mentions in his talk, he also worked on foundational deep learning methods like CLIP, DDPM, GLIDE, etc. Reducing him to a "seething openai insider" seems a b
77.
by lairv 1y ago
Curious what kind of classification problems requires full 4096x2048 images, couldn't you feed multiple 512x512 overlapping crops instead?
78.
by lairv 1y ago
My issue with regexes is that the formal definition of regex I learned at university is clear and simple [0] but then using them in programming languages is always a mess [0] https://en.wikipedia.org/wiki/Regular_expres
79.
Llama 4: Did Meta just push the panic button?(interconnects.ai)
6 points by lairv 2y ago|0 comments
80.
by lairv 2y ago
Overall LLMs (that I've tested) don't know how to use a search engine, their queries are bad and naive, probably because the way to use a search engine isn't part of training data, it's just something that people learn t
81.
by lairv 2y ago
> A revealing anecdote shared at one panel highlighted the cultural divide: when AI systems reproduced known mathematical results, mathematicians were excited, while AI researchers were disappointed This seems very caricatural, one thing
82.
by lairv 2y ago
Don't fix something that's not broken
83.
by lairv 2y ago
And AlphaStar or OpenAI Five were playing games knowing internal game states and variables Playing games from pixels only is still is a pretty hard problem
84.
by lairv 2y ago
TBH only one author out of four has a Google affiliation, and their personal webpage [1] says "part-time (20%) staff research scientist at Google DeepMind", so it's a stretch to call this a "Google technique". I not
85.
by lairv 2y ago
This post didn't really convince me that robotics is inherently harder than generating text or images On the one hand we have problems where ~7B humans have been generating data for 30 years every day (more if you count old books), on
86.
by lairv 2y ago
Using auto in function parameters to have implicit templates is very cursed
87.
by lairv 2y ago
That was a typo, the file was duckdb_static.a
88.
by lairv 2y ago
I used the C api but I did miss the 'bundle-library' option, will look into that
89.
by lairv 2y ago
In the case of duckdb they provide proper packages for pip, cargo, npm, go get, and the only one that seems like a PITA to use is the C/C++ dependencies, even though the package is written is C++, so I think this tells something about
90.
by lairv 2y ago
The library was duckdb ( https://duckdb.org/docs/installation/ ), and here are some of the issues I ran into: - trying to compile against the prebuilt duckdb_static.so file got me a ton of undefined reference error,

More ›