Hacker Newsnew | past | comments | ask | show | jobs | submit | more rbjorklin's commentslogin

This is pretty much a step-by-step guide for getting started with code: https://ampcode.com/how-to-build-an-agent


Great resource, definitely a good place to take the next step. As I looked into detail, the natural question came (based on software developing experience), how do I evaluate the correctness of output produced by LLM given the inputs. Clearly, unit test with fixed in/out pairs won't help so learning methods to evaluate as we develop iteratively will be very useful.

Thanks for sharing the article!


While I agree with you in principle give Claude 4 a try on something like: https://open.kattis.com/problems/low . I would expect this to have been included in the training material as well as solutions found on Github. I've tried providing the problem description and asking Claude Sonnet 4 to solve it and so far it hasn't been successful.


Just remembered some more details. The speaker covers the difference in applying something akin to the scientific method vs jumping to conclusions based on previous encounters of the same/similar issues.


Does anyone have some hard numbers on the expected performance uplift when using GADTs? Couldn't see any mentioned in the article.


The example here is basically an 8-fold memory saving going from `long[]` from `byte[]` - while still retaining polymorphism (whereas in Java the two are unrelated types).

Hard to say exactly how much performance one would get, as that depends on access patterns.


The reason that a byte array is in reality layed out as a (mostly empty) long array in Java, is actually for performance. Computers tend to have their memory aligned at 8 byte intervals and accessing such an address is faster than accessing an address that's at an offset of an 8 byte interval.

Of course it depends on your use case, in some cases a compact byte array performs better anyway, for instance because now you're able to fit it in your CPU cache.


> a byte array is in reality layed out as a (mostly empty) long array in Java

Are you saying each byte takes up a word? That is the case in the `char array` in OCaml, but not Java's `byte[]`. AFAIK The size of a byte array is rounded up to words. Byte arrays of length 1-8 all have the same size in a 64-bit machine, then length 7-16 take up one more word.

https://shipilev.net/jvm/objects-inside-out/


But you can load any byte by loading 8 bytes and shift (v cheap)


This has been my experience with a 6950XT as well using Fedora.


Would you mind sharing some more specific information/references to Lamport’s work?


The three big papers: clocks [0], Paxos [1], Byzantine generals [2].

[0] https://lamport.azurewebsites.net/pubs/time-clocks.pdf

[1] https://lamport.azurewebsites.net/pubs/lamport-paxos.pdf

[2] https://lamport.azurewebsites.net/pubs/byz.pdf

Or, if you prefer wiki articles:

https://en.wikipedia.org/wiki/Lamport_timestamp

https://en.wikipedia.org/wiki/Paxos_(computer_science)

https://en.wikipedia.org/wiki/Byzantine_fault

I don't know that I would call it "solved", but he certainly contributed a huge amount to the field.


Lamport's website has his collected works. The paper to start with is "Time, clocks, and the ordering of events in a distributed system." Read it closely all the way to the end. Everyone seems to miss the last couple sections for some reason.


Maybe try pushing your community towards adopting https://www.waituntil8th.org/


8th grade was when all this stuff became mainstream for me. That was the iPhone 3GS release year. Social life went to crap very quickly for everyone. Should be "wait until 18th."


I was of similar age then, before that it was nokias and Bluetooth, Facebook was where you could upload stupid shit and not go viral and people's walls were just rage and 9gag memes. With tiktok I think teenage social media and addiction and the self esteem stuff is a different beast.

Many people talk about screen time and age limitations, if a parent doesn't want to go that far there should to be algorithmic limits like block celebrities/gaming/onlyfans type of content


It's definitely different (and worse) today, but even back then I felt like it was robbing everyone of their childhoods. Kids spent an enormous amount of time there, they were on phones in school or in social settings, and the "bathroom wall" gossip thing was big.


This will undoubtedly make some brexiteers very unhappy.


Is that because:

A.) There is significant overlap between Brexiteers and those with enough extra wealth to afford vacation / second homes in Spain. Is there any way to quantify this? I would have thought that those with a nationalistic bent wouldn't be keen to own homes in foreign lands. Plus I had the impression that the Remainers were more towards the urban, wealthy, citizen-of-the-world types who would at first blush seem more likely to buy houses elsewhere.

B.) The Brexiteers were hoping that the Remainers would all move away, so they don't have to deal with them anymore?

C.) The Brexiteers want to colonize Spain?

D.) Brexiteers wish they would have thought of the idea punitive taxes on foreigners first?

E.) Other?


There is a notable amount of "expats" who permanently moved to Spain under freedom of movement, then voted for Brexit and then were angry that Spain/EU started to treat them as foreigners.

How many hundred that are I don't know, but they made "fun" news stories during those times.


Those expats are residents though, and thus wouldn't be impacted by the proposal being discussed in the linked article.


>How many hundred that are I don't know, but they made "fun" news stories during those times.

Seems like every human story then. The few-and-far-between exceptions get magnified by 100-1000 times their actual significance by people on the other side.


Good. I love this for them. Source: totally not still bitter Remainer.


Seconded. Bastards.


Do you have figures?


It's quite funny because Great Britain is the reason why the Spanish won their war of independence.


Release announcement can be found here: https://discuss.ocaml.org/t/ocaml-5-3-0-released/15916


Rule #17 from where? I'd like to take a peek at what the other rules have to say!


That is quite a long list, and already tends to elicit a lot of negative karma.

Rule #6: "Perspective is earned, and cannot be given freely."

Besides, we all know truisms tend to be terrible wit... Best of luck =3


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: