HNHacker News
TopNewBestAskShowJobs

bvaldivielso

1,229 karma · joined June 23, 2012

submissionscomments
bvaldivielso··on After bankruptcy, he was banned from betting sites. Then he discovered Kalshi
They don't care whether the bets are stupid or informed. They don't make more money out of losers than they do out of winners, unlike traditional gambling platforms. (Though this in no way means that you have to like kalshi)
bvaldivielso··on Pledging $300k to the Zig Software Foundation
> but isn't this undermined by the lack of memory safety?

Yes, in my opinion, but from Zig's success you can see some people are willing to trade safety for a simpler language. Different people have different values

Though to be fair you can also use zig in old C projects, moving things incrementally. I don't know how many projects do that Vs greenfield projects though

bvaldivielso··on What Is PID 0?
All models are wrong, some are useful. I found his explanation useful while knowing it was not correct
bvaldivielso··on A Gates-Backed Startup Is Making Fuel from Water and Carbon Dioxide
> Despite e-fuel makers promising a major scale-up this decade, it will make an “unnoticeable dent” in transportation emissions, says Oates at BNEF. “This is down to a combination of nascent technology and high cost of e-fuel production,” she adds.
bvaldivielso··on Intel Brags of $152B in Stock Buybacks. Why Does It Need an $8B Subsidy?
This is a misunderstanding of what stock buybacks are. Companies do not buy their stock from themselves. They buy the stock from participants in the market.

Following your example, it'd be like the author of a book buying the book they wrote from someone else. If the author chooses to pay someone else 1000$ for their book, they can, but they will be wasting money.

A company doing a stock buyback is trading off their own capital (they have to spend it, it's not an infinite money glitch where they buy it from themselves) to get back shares of the company itself at the then-market-price. The market chooses whether that's a good trade. It may not

bvaldivielso··on Scriptisto: "Shebang interpreter" that enables writing scripts in compiled langs
> I prefer to take advantage of the fact that without a proper shebang the file will be first executed by the shell

I know that bash does this, and possibly other shells, but it doesn't work in general when you `execv` the file (or when using the subprocess API on python f.i). But cool trick anyway

bvaldivielso··on LuaX: A Lua Dialect with JSX
> When using jsx in the server you're extremely limited. You cannot just use any html tag unless the framework has a specific solution for it.

Doesn't look like that's the case in OP's solution, where HTML tags are transformed into Lua tables. I guess then there's some code that turns the lua tables into the html text to be sent to the client

bvaldivielso··on Wikipedia daily most viewed pages
One very curious thing I ran into today: this morning I woke up and when I checked my phone, the (Spanish) Wikipedia page for Cleopatra was open on my browser. I didn't myself open that intentionally, but I thought I must have accidentally tapped on some links while I was asleep, and ended up there.

But now I see this website and it turns out that "Cleopatra" is consistently one of the most visited pages in the Spanish Wikipedia. Odd! I googled and it turns out that it's because it's one of the example queries in Google Assistant (source, in Spanish: https://www.elespanol.com/omicrono/software/20230118/cleopat... ). I must have tapped on it without realising. And like me, thousands of others, every day! Fascinating

bvaldivielso··on Emacs-ng: A project to integrate Deno and WebRender into Emacs
> IO-blocks-UI

This is one of the things that _are_ addressed by the project.

Regarding your broader point, I don't know if adding a new language would/will help emacs or not but it's _plausible_ something like that would work. The plugin ecosystem in the vim world became more vibrant once writing them in lua was an option.

bvaldivielso··on My Left Kidney
Do you think the average kindness of a person is positive? Or negative? If positive, and not knowing who your kidney is going to, donating a kidney is positive in expectation
bvaldivielso··on Snake-fury – a challenge for Haskell beginners
I don't know that this definition is very precise. For example, the kind `(->) r` (which you can roughly understand as the class of all functions that go from a fixed type `r` to other types) is a monad in haskell [1]. In what sense is this class of functions a "wrapper"?

Additionally, even if you insist that this reader monad is a "wrapper", your definition would also informally apply to things like `Applicative`, and not all applicatives are monads (some are).

Some monads are more easily understood as wrappers (`Maybe`, `List`, ...) and you can be very productive if you just stick to that level of understanding. But there's a deeper understanding that one can get.

[1] https://hackage.haskell.org/package/mtl-2.3.1/docs/src/Contr...

bvaldivielso··on APPL $3T valuation isn’t far off – but no thanks to Vision Pro, argues Bloomberg
OS X is not built on Linux. Its lineage comes from a different Unix
bvaldivielso··on YouTube removed dislike counts, so this guy made Rotten Tomatoes for YouTube
How do you know?
bvaldivielso··on Apple’s new headset meets reality
The iPhone one seems mostly positive
bvaldivielso··on Ask HN: What is the weirdest or most surreal recent technology you have seen?
Neurons in a Petri dish learning to play pong https://www.nature.com/articles/d41586-022-03229-y
bvaldivielso··on Promotion of alternative social platforms policy
My read on that is that they allow the content to be cross-posted, not linked
bvaldivielso··on Minimizing correlated failures in distributed systems
The article mentions the software running in each availability zone as a source of correlation in the system. That correlation can be bad, because it makes the system less resilient (that's the point of the article).

I wonder if Amazon would ever consider having completely independent implementations of the same software (made and maintained by different teams) running in each availability zone. This would reduce the correlation between AZs. Of course, this would be much more expensive, but perhaps worth it if availability was critical.

In fact, I vaguely recall that this was a common practice in the development of some kind of critical system (avionics?).

bvaldivielso··on A Rust match made in hell
He's been talking about it on twitter https://twitter.com/fasterthanlime/status/152032383560579891...
bvaldivielso··on The New OCaml Website
They mean the copy, not the code snippets
bvaldivielso··on Two startups tried to catch up to makers of advanced computer chips, and failed
Interesting. What about hiring people from the leading companies? Isn't that how a lot of knowledge transfer happens in all industries? Are non-competes enforceable internationally?
bvaldivielso··on Blame Cronyism, Not Capitalism
Could you elaborate how? Is this specific to capitalism? or is cronyism the logical conclusion of any societal system that lasts for a while? For example, and just to choose an example that is obviously not capitalist, would you say cronyism wouldn't happen in a communist society? As far as I understand, it very much happened in the URSS. I'm not bashing on communism, just trying to understand your statement.
bvaldivielso··on Vitalik's Response to Moxie
Oops, my bad, I wanted to link to that. I cannot edit it now (maybe someone reading this can?)
bvaldivielso··on Are cryptocurrencies to blame for high GPU prices?
I agree that it's valuable and interesting, just not a definitive answer to the question
bvaldivielso··on Are cryptocurrencies to blame for high GPU prices?
I'm not trying to poke holes in the analysis, and as I said I'm not blaming the author for what they did. I'm just repeating what the author said:

> We can see a correlation between GPU prices and the value of crypto currencies, but correlation does not mean causation. A causation is plausible in this case.

And then they go on to repeat a very reasonable argument, which I happen to believe to be true, but the kind of argument that everyone was already making before looking at any data.

The fact that the correlations do not hold as much for CPUs is good, but still not enough to stablish causation. As you said, there might be some confounding factors that affect crypto and GPUs but not CPUs.

bvaldivielso··on Are cryptocurrencies to blame for high GPU prices?
The article only attempts to show there's correlation, and ends up by saying "correlation doesn't imply causation, but maybe there's causation". So basically, we don't know.

I'm not blaming the author, because determining causation is hard, and checking there's correlation between two variables can still be interesting, but the article falls short of answering the question.

bvaldivielso··on Wrapping Up 2021. Leaving C++
> C knowledge is still way more generally useful than javascript and/or web knowledge

"Generally useful" is a vague concept. If you judge by number of job openings, you'll probably find JavaScript is more useful. There are probably metrics by which C is more useful.

"Being everywhere" is not necessarily a good measure of the upside one can get by learning it. For example, electronics are also everywhere (more so than C!) but software engineering is generally a better career (measured by income f.i)

bvaldivielso··on Deno Joins TC39
"real programming language types"

There are a few languages where types only exist (for the most part, though with exceptions and hacks here and there) at compile-time, like Rust, C++ or even Haskell IIRC.

bvaldivielso··on Marketing is scary for a solo developer
Your point is not against GP's point. It seems from your comment that you don't want to deliver a high-impact product, and that even the thought of your program as a "product" is offensive. Well, GP is not forcing you to work towards high-impact products. If you want to solve your own problems, then do, and follow whatever workflow you want.
bvaldivielso··on Comparing linear and nonlinear effects of cognitive ability on life outcomes
At the same time, there's plenty of things that people "know" that turns out to be false when examined closely. It's good that someone tries to verify things using as robust a methodology as possible.
bvaldivielso··on Edward Snowden Slams Sam Altman's Worldcoin: 'Don't Catalogue Eyeballs'
How is Altman's code relevant?
Page 1 of 3Next →