HNHacker News
TopNewBestAskShowJobs

pedrosorio

1,663 karma · joined July 18, 2013

submissionscomments
pedrosorio··on Notes on OpenAI's new o1 chain-of-thought models
> It knows english at or above a level equal to most fluent speakers, and it also can produce output that is not just a likely output, but is a logical output

This is not an apt description of the system that insists the doctor is the mother of the boy involved in a car accident when elementary understanding of English and very little logic show that answer to be obviously wrong.

https://x.com/colin_fraser/status/1834336440819614036

pedrosorio··on Why Don't Tech Companies Pay Their Engineers to Stay?
> Covid and other things reduced life expectancy in the US.

It reduced life expectancy for people who were alive in 2019. Those statistics say nothing about the life expectancy of people who are currently alive.

pedrosorio··on A 30-hour workweek in America? It nearly became law
Construction
pedrosorio··on Finding a therapist who takes your insurance can be nearly impossible
> I mailed a bunch of bills to my insurer, and requested reimbursement (…) Anyway, they mailed me a check

This is not what I’d describe as “fighting your insurance”.

pedrosorio··on Baron who revived Olympics believed they were a religion of perfection and peace
A very small subset of high school boys. I bet you’ve never run close to that time.
pedrosorio··on AI solves International Math Olympiad problems at silver medal level
Replace "this thing is better than Terrence Tao at maths" with "this thing is better than Garry Kasparov at chess" and your statement would sound equally reasonable in the early 90s.
pedrosorio··on Ask HN: Is there any software you only made for your own use but nobody else?
Millennium bank is Polish TIL

What's up with Portuguese and Poland? (Millennium, Biedronka, what else?)

pedrosorio··on Safe Superintelligence Inc.
> I've seen footballers using it a lot over the years (Neymar, Messi etc) fwiw.

The word "craque" in Portuguese was borrowed from English with the "exceptional" definition and is commonly used. Given how many Brazilian players there are in the top leagues, I wouldn't be surprised if it was commonly used by football players in general.

pedrosorio··on ARC Prize – a $1M+ competition towards open AGI progress
> Memorization is literally how you learned arithmetic, multiplication tables and fractions

I understood how to do arithmetic for numbers with multiple digits before I was taught a "procedure". Also, I am not even sure what you mean by "memorization is how you learned fractions". What is there to memorize?

pedrosorio··on Is the largest root of a random real polynomial more likely real than complex?
Given the description about "sampling from an infinite" something, it's likely this was intended as a variation on reservoir sampling.

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

pedrosorio··on Unbearable hours, threats of being fired: The abuse of migrant interns in Japan
> giving a foreigner a position of power (commercial or government) is basically unthinkable

I mean, not totally unthinkable, thankfully. That's the only reason we have the Carlos Ghosn Hollywood-esque escape story.

pedrosorio··on From a lorry driver to Ruby on rails developer at 38
"had their brains addled"... no need to be mean

https://tomazweiss.github.io/blog/so_2023_compensation/

pedrosorio··on From a lorry driver to Ruby on rails developer at 38
> It does, I did the math when I was offered a 100k+ position in the US.

100k+ has been close to the floor for entry level for a while now. Did you do the math on how much you'd earn over 10 years?

pedrosorio··on Chronon, Airbnb's ML feature platform, is now open source
https://learn.microsoft.com/en-us/azure/architecture/databas...
pedrosorio··on What John von Neumann did at Los Alamos (2020)
> The dude invented merge sort and it's an effin' side-note to his work. Like, WAT.

Inventing merge sort is not a particularly impressive intellectual achievement.

pedrosorio··on Tokens, n-grams, and bag-of-words models (2023)
Before Python, I believe Fortran (one of the first programming languages) was for many years a key language in scientific computing.

MATLAB is a proprietary computing platform with its own language that was very widely used (and probably still the standard in some fields of engineering). The fact that it is proprietary and the language is not great as a general programming language were significant drawbacks to wide adoption.

As far as ML is concerned, the deep learning revolution happened when Python was the dominant language for scientific computing (mostly due to NumPy and SciPy), so naturally a lot of the ecosystem was built to have Python as the main (scripting) language. The rest is history.

As far as "attempts to recreate similar ecosystem":

PyTorch (currently the most popular deep learning framework), was originally Torch (initial release: 2002 - long before "Deep Learning" was a thing) with Lua as the scripting language. Python's momentum in 2010's meant that eventually it was rewritten in Python thus becoming PyTorch.

Julia language is a famous somewhat recent example (first release 2012, stable 1.0 in 2018) of a language that was built partially to address some of Python's shortcomings and to "replace" it as the default for scientific computing. It didn't succeed - it's hard to move people away from an ecosystem with so much head start and momentum as Python had in the 2010s.

pedrosorio··on The Defenestrations of Prague (1419–1997)
During Portuguese revolts to regain independence from Spain in 1640, the secretary of state was defenestrated too:

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

pedrosorio··on The Google employees who created transformers
ConvNets Match Vision Transformers at Scale (Oct 2023)

https://arxiv.org/abs/2310.16764

pedrosorio··on GPT in 500 Lines of SQL
This sorcery didn't start a year ago. The model being described in the article is GPT-2 which was released in early 2019.
pedrosorio··on Planner programming blows my mind
> their API and documentation as it's written for mathematicians and not business SMEs

I've never worked with any of these, but that's what I would expect as well. API documentation that describes how to solve each kind of mathematical optimization problem.

Do you have an example of an optimization solver with API documentation for business SMEs?

pedrosorio··on Veritasium: The SAT Question Everyone Got Wrong [video]
> Still mad about it.

Why?

pedrosorio··on Deep Learning Course
Oh, that’s right. Multivariable was Calc II for me so technically two semesters.
pedrosorio··on Sam Altman is still trying to return as OpenAI CEO
> People are notoriously ruthless to people who admit their mistakes

Some people, yes. Not all. I would say this attitude does not correlate with intelligence/wisdom.

pedrosorio··on Emmett Shear becomes interim OpenAI CEO as Altman talks break down
The GPT-4 pre-training research lead quit on Friday.
pedrosorio··on Deep Learning Course
The basics. 1 semester course for each.
pedrosorio··on Coding Is Hard
> I wanted to prove to myself that I was smart, that all the adults in my life who told me I was "dumb and stupid" because I couldn't excell at school were wrong. I was not dumb, I was not an idiot, I could do it.

> And that was when reality slapped me really hard for the first time on my face.

These two consecutive paragraphs seem contradictory.

pedrosorio··on Running Speeds
Why run if you don’t care about the speed? If I don’t care about the speed and just want to cover a certain distance to enjoy myself outdoors, I’ll walk.
pedrosorio··on Interviews in the Age of AI: Ditch Leetcode – Try Code Reviews Instead
> Most Leetcode Mediums (...) there's a "trick" embedded in the problem and if you don't already know the trick, you're never going to figure it out in 30 minutes

I am sorry to say, this is just not true.

> but having a few dozen solutions already memorized should let you do some pattern recognition

Chess opening memorization is pure "remember the moves, play the moves" that's it. No thinking or pattern recognition involved.

If this is about being able to solve problems by generalizing from having seen a few dozen solutions, then I don't think "memorizing" is the appropriate term here, at all.

pedrosorio··on Interviews in the Age of AI: Ditch Leetcode – Try Code Reviews Instead
> There are probably about 30 or so leetcode problems and then endless variations made for those 30 problems. The best people on leetcode practice and memorize.

The comment I replied to claimed that "LLMs would do pretty well at leetcode interviews". OpenAIs own report [0] shows how GPT-4 fails miserably at medium/hard leetcode problems that are not in the training data.

[0] https://cdn.openai.com/papers/gpt-4.pdf

pedrosorio··on Interviews in the Age of AI: Ditch Leetcode – Try Code Reviews Instead
These interviews are not designed to require "spending your younger, healthier years grinding". They require grokking a fairly small set of concepts and being comfortable using them to problem solve under time pressure. That's it.

Hearing some people, you'd think they ask you to memorize chess openings or something.

← PreviousPage 2 of 28Next →