Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Eager
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
AxiomGPT: Programming with LLMs by defining Oracles in natural language
2 points
by
Eager
1y ago
|
0 comments
2.
▲
by
Eager
2y ago
Open weights is one thing, but we don't even have that with OpenAI at least. Even then, open weights is like me checking in a .exe and acting surprised if people look at me funny. I'm definitely in the camp where all the artefacts
3.
▲
by
Eager
2y ago
I can't tell if you are joking. It seems like you are implying the reason we do stuff is to make money, or at least the main motivating factor for you, or you believe it is for most people. I started working in a factory when I was abo
4.
▲
by
Eager
2y ago
A few months ago I made a neat little linux utility. It was a drop in replacement shim for an arbitrary executable that would pretend to be the original when invoked, fork off the original and hook up to its stdout and stderr. The error out
5.
▲
by
Eager
2y ago
This is rather excellent! It would be great to have a VST or CLAP (preferably) plugin that hosts strudel and can be hosted in-DAW It might also be nice to have a VSCode extension that let's you experiment in live mode like the guys at
6.
▲
by
Eager
2y ago
I don't know the pharmacology, but it is well known that Saffron makes you happy and a bit giggly.
7.
▲
by
Eager
2y ago
The grocery store relies on the mystique of the thing. The people making those expensive jars probably also seed articles online about it being extremely expensive. Then when the average person goes to the store they look at it and aren
8.
▲
by
Eager
2y ago
Grinding with sugar is definitely the way to go. I generally buy a big wheel of Iranian Saffron on eBay or a Persian shop, then grind it all up in a mortar and pestle with some sugar and store it in a spice jar in a dark cupboard. Then when
9.
▲
by
Eager
3y ago
Oh that's a nice one. I think you are on to something that if you want to go beyond push button output you really need to think holistically about what you want to achieve. My experiments taught me that it is an instrument that is eas
10.
▲
by
Eager
3y ago
I agree in especially the first one. It was quite a challenge from the original content as the bitrate is quite low still, and in that particular case it was quite severely compressed. I had to dig quite deep to get the headroom back. The
11.
▲
by
Eager
3y ago
I have been playing with it for the last couple of weeks. I do a lot of traditional music production for fun and was wondering how I could use Suno together with Leonardo for video and then bring it all together in my existing tools. Here a
12.
▲
by
Eager
3y ago
You try your best, and if you provide enough examples, it will undoubtedly get figured out.
13.
▲
by
Eager
3y ago
I have tried feeding some of the foundation models obfuscated code from some of the competitions. People might think that the answers would be in the training data already, but I didn't find that to be the case. At least in my small ex
14.
▲
by
Eager
3y ago
This is why round-tripping the code is important. If you decompile the binary to source, then compile the source back to binary you should get the original binary. You just need to do this enough times until the loss drops to some acceptabl
15.
▲
by
Eager
3y ago
extremely underrated comment. nice one!
16.
▲
by
Eager
3y ago
I don't know what they did specifically with GPT-2 as far as tokenization. It is probably hand massaged BPE. GPT-2 was a pretty small model and it only had to do enough to be impressive at the time in showing some magic. It doesn'
17.
▲
by
Eager
3y ago
What a great project! One of my favorite things to see is when people implement as much as possible themselves. It really makes a big difference to have control over what is going on. And it is great for educational purposes of course. I&
18.
▲
by
Eager
3y ago
I used to be so optimistic and less cynical. Now I look at this and all that comes to mind is that actions like this would provide a basis for tapping people closer to source. All the p2p and e2e encryption in the world won't help if s
19.
▲
by
Eager
3y ago
I'm not pushing what to talk about so much as pushing the point not to talk about stuff that is obsolete and starting to smell. It's that hype-churn marketing that is a motivating factor for the groups to innovate, much like For
20.
▲
by
Eager
3y ago
Give Claude 3 Opus a shot maybe. One of the reasons I have stayed well clear of the IDE tools is they force me to use their own model. While they might be convenient it means I can't switch to whatever the SOTA model of the day is at t
21.
▲
by
Eager
3y ago
You might be on to something here. It definitely seems to be the case because I'm using multiple different models as part of my everyday process and getting excellent results as a very experienced low level C++ systems engineer. What
22.
▲
by
Eager
3y ago
It's incredible how far behind HN of all places is w.r.t. what the current best tech is. So many people talking about GPT-4 here, or even 3.5 when the SOTA has moved way along. Gemini Advanced is also a great model, but for other reaso
23.
▲
by
Eager
3y ago
We already have Claude 3 Opus and it is clear for anyone who has used it that it is way better than GPT-4, especially for coding. The model names, version numbers or who makes them are irrelevant.
24.
▲
by
Eager
3y ago
What an amazing magazine. I used to order copies from the library of congress every month via my local town library here in the UK. They would always show up eventually although a month or two out of date. I would have been about ten at the
25.
▲
by
Eager
3y ago
Someone should have an LLM start generating random valid CUDA programs. Compile each one to get a binary. Train a language model with the source and output binary. Hey presto, clean room compiler. Edit: Oh wait.. duh.. just train it on the
26.
▲
by
Eager
10y ago
Oh give me a break 7.7 billion people in this planet are not part of ISIS. Nice business model though. Even if WhatsApp or Telegram or Signal are not compromised, you realky should assume the kernel or baseband are. When I was a kid, I did