skysight-inc/HackerNews huggingface dataset:
> "When we want to innovate. When we want to really, really innovate on interesting products, I have not seen an ability for us to do that when we're not in person," Garman said.

I have the suspicion that this is not caused by remote versus in person, but rather by not giving engineers enough space for innovation. All you hear is that teams are understaffed at AWS.

Also a high turnover rate caused by regularly firing a certain percentage of your employees certainly isn't beneficial either to solve understaffing and foster an environment where people innovate.
The main obstacle in developing such software is not its complexity, but the fact that the FPGA manufacturers do not document the format of their bit streams that must be used to program a FPGA.

It is the same like the difficulty of making a compiler and assembler for a CPU for which the manufacturer does not document its machine language (like the NVIDIA GPUs, but at least NVIDIA documents an intermediate language that you can use as a target for your compiler, while the FPGA vendors do not document anything).
I'm waiting for the day when we have all agreed that what is done here is not time travelling. Rather, it is a simulation of time travelling, or pseudo time travelling, if you will. At the same time, I'm afraid this will never happen since it is already too late, since we have missed the point in time when there was the chance to call it right. For this, we would need real time travelling.
I'm not sure if you're aware of this, but this is literally how the market becomes more efficient: by allowing participants with more information and reducing the arbitrage opportunities.

The bookmakers don't set the odds based on their own expectations, they set the odds compared to how the market bets and then add their own margin on top (the "vig"). Just like a stockbroker would.

In sports betting, compared to financial markets, the general reason why people aren't wildly successful is that if they have too much of an edge the bookmakers find some way to limit their succes (limited bet sizes, banning, etc)
This post has 14 comments and only two are negative. What are you talking about?
Thank f** she's going soon.

No, I don't mind her going after anti-trust targets. I do mind her agency doing this in the final days of this presidency. This is all for brownie points and nothing else. Nadella will have a nice sit-down with Trump and this investigation will fly to the winds.
I have recently used llama3.2-vision to handle some paper bidsheets for a charity auction and it is fairly accurate with some terrible handwriting. I hope to use it for my event next year.

I do find it rather annoying not being able to get it to consistently output a CSV though. ChatGPT and Gemini seem better at doing that but I haven’t tried to automate it.

The scale of my problem is about 100 pages of bidsheets and so some manual cleaning is ok. It is certainly better than burning volunteers time.

https://github.com/philips/paper-bidsheets
The strategy this paper seems to be describing is well known as “chasing steam”. You keep an eye on the odds at a “sharp” book, one that’s good at tracking which clients of theirs often win and adjust their odds accordingly, then find books that are slower to adjust their odds. There’s a long tail of “pay per head” bookies, basically your classic street corner bookie but with a SaaS for taking bets, and they’re often the slowest to adjust.

The problem is that identifying this is very easy for a sports book. Basically “show me all accounts that consistently make bets right before we adjust the odds” and then they ban/limit those accounts. In practice the heavy lifting for winning sports bettors is building a network of “outs” or players that will place bets on their behalf. The idea is that you have a recreational bettor (i.e. bets for fun and usually loses) that puts down a bet on your behalf with your money, and if it wins they get to keep a slice. This masks the sharp bets with their personal bad bets.

Really the strategy to beat the odds is one of the easiest parts of the equation. It’s good old fashion people management that’s the biggest part of what makes it work.
I mean, if you need a human, you need a human. But the companies where you seem to need humans to help make it hard to reach them, by phone or in writing.

I prefer in writing, because I always hope that when it eventually gets to a human, they can read the whole conversation and save a lot of time. Using voice, almost always, I have to repeat the information to each person as we go, and it's tiresome.
Nearly 40 years ago, I typed these lines from a manual:

10 CLS

20 FOR I = 1 TO 10

30 R = 10 * I

40 COLOR I

50 CIRCLE (320, 240), R

60 NEXT I

70 END

I didn’t understand a single symbol, but when I saw the output, I was instantly hooked — it felt like magic. This was during the twilight years of the Soviet Union. Fast forward to today, and I’m now in the U.S., working in a FAANG company.
rot13 must be outlawed for its use by cyber-criminals!
You're being downvoted but as a lefty European tech worker this rings true. I come to HN for interesting technical content (obviously) but I find the politics of the site by turns confusing and hard to stomach.

It is certainly the case that many well-meaning, Dem-voting Americans don't seem to know what leftist politics is (having never been exposed to it), and don't seem to realize that they are right-wing. It's an interesting phenomenon, but quite alarming when the consequences for the rest of the world are Not Good.
Have you tried downscaling the images? I started getting better results with lower resolution images. I was using scans made with mobile phone cameras for this.

convert -density 76 input.pdf output-%d.png

https://github.com/philips/paper-bidsheets
> scaling is also about code

Which is darn hard if you are a beginner in a framework, loops in loops still bites me after reality does the integration test for me. This is especially true when you try to do a simple thing as a beginner. By scaling I am just talking about normal production, going from 2 developers to a couple of thousand customers.
The farmer paid tax on selling his vegetables, and property tax, and all the other taxes as you said.

If the farmer improves the land by constructing something on it, using his own money, then that is above and beyond the simple sale of products. It should be taxed as an investment that grew in value (i.e. Capital Gains), not as normal income, because the farmer had to risk his own savings to construct it.

If the construction is a hotel, of course he pays taxes too on the income from that. But he was already taxed for the money he saved which he put into building the hotel, so why should he be taxed twice at the income rate when he sells it?

The point of having a capital gains taxrate lower than an income taxrate is to incentivize people not to bury their savings under the mattress but to use it to create new growth. Whether that's by investing in listed companies or in their own startup.

The central difference between tax on earnings and tax on capital gains is that the money the farmer spends to build something new besides simply harvesting, is money the farmer already had saved after tax, and could have put elsewhere, but he took the risk of putting it here. That is why it's unwise to tax creating new value on existing properties, with your own funds, more than you would tax other investments. It prevents people from improving their own properties (or whatever startup or other project they're working on).

Obviously, if you believe that it's best not to stimulate anyone to create anything new, then you wouldn't subscribe to this idea.
When I’m coding I find it much easier once everyone else in the house has gone out or gone to sleep.

It’s like there’s a little bit of my social brain I have to keep on if there’s anyone who could potentially talk to me and when I can switch that off I can use my whole brain for the task at hand and it’s much easier.

It’s not like I’m bad at concentrating. I am that guy who can sit in a noisy open plan office and concentrate on one thing while everyone is talking and trying to get attention. But the lack of all people still really helps.

Does anyone else experience this?
The assumption that it was related to insufficient investment isn’t supported by any evidence. Flawed technical decisions can be made by the most expensive engineers too.
Maybe the social networks promoting the most radical, outrageous, loud, and disturbing posts are the problem.

If the political alignment of those posts resonates with you, it isn't as annoying.

It's noteworthy that with AI, so far we will just get more / louder / more awful posts, rather than a potential for superior moderation and appreciation for nuance.

After all, the busted metrics that AI will be aligned to are the same old flawed ones that reward sociopathy.
Teams, yes, but I don't hear many people having a worse opinion on Windows than the decades before, it seems like it's a vocal minority who care while most people just use Windows and get on with their lives.
Likely these devices use different media formats and/or quality levels. And yes, it's possible one device buffers more than the other. Infinite freezes sounds like some routing issues or bugs.
clisp is an unfortunately named specific implementation of common lisp, like sbcl ecl clasp ccl abcl etc.
No. Article says they have 1000x sugar in their blood. When we get to 10x we tend to die.
For Ξ or ξ?

Back in my grad school days ξ was almost always handwritten as just some sort of squiggle you'd struggle to associate with the character "ξ" unless you already knew what it was supposed to be. My classmates were very surprised that I could (can!) somehow write it as something that actually is recognizable as ξ, quickly and consistently.

(But they missed what my hand muscles do to ζ, so it all balances out.)
The acceleration is impressive. Every wheel is powered. When those trains pull out of a station, they reach near cruising speed in their own length. With the Diesels out of the way, at peak periods there are five trains an hour in each direction.
Yep. Having actually worked on this sort of stuff I can confirm.

Your ISP doesn't have enough bandwidth to the Internet (generally speaking) for all users to get their feed directly from a central location. And that central location doesn't have enough bandwidth to serve all users even if the ISP could. That said, the delay can be pretty small, e.g. the first user to hit the cache goes upstream, the others basically get the stream as it comes in to the cache. This doesn't make things worse, it makes them better.
"Donald Trump" in CJK, taken from Wikipedia page URL and as I hear it - each are close enough[1] and natural enough in each respective languages but none of it are particularly useful for counting R in strawberry:

C: 唐納·川普, "Thangnar Changpooh"
J: ドナルド・トランプ, "Donaludo Toranpu"
K: 도널드 트럼프, "D'neldeh Tlempeuh"

> What does it mean to be a “phonetic language”?

Means the script is intended to record pronunciation rather than intention, e.g. it's easy to see how "cow" is intended to be pronounced but it's not necessarily clear what a cow is; ideographic script on the other hand focuses on meaning, e.g. "魚" is supposed to look like a fish but pronunciation varies from "yueh", "sakana", "awe", etc.

1: I tried looking up other notable figures, but thought this person having entertainment background tends to illustrate the point more clearly
High failure rate on those displays, calling it now.
Dude, we used to live in strictly segregated ghettos everywhere. If it wasn't ethnically divided, it was strictly segregated by class, and if that wasn't the division, it was religion.

The internet for a while was a big melting pot, probably because there was an inherent IQ filter to using the early/medium web.

But once the stupids came on, then came the stupid-manipulation companies chasing them, and everything went to hell.

Usenet was kind of like this too, until tools made usenet more accessible.

I've been too busy to look at Mastodon/Bluesky out of laziness. I never did Twitter. Mastodon may require some technical work to make use of, which may be a wonderful long term thing.
Why should the investors be getting that much of a return? The whole premise of why investments gain value is that there is a risk associated with it. The risk didn’t pay off, try not getting in the planet killing business
The reason is fact that bookies are odds makers while bettors are odds takers. Theoretically you can't win if a market is perfectly efficient. When market depth can be in the hundreds for the less popular things like e-sports, someone betting a few hundred will make the odds converge to true probability.

Assume bettor's model and the bookie's model represent the true probability of an event with added random noise, neither model is perfect but one is not better than the other. For any bet, the true probability will on average be between the bettor and the bookie's implied probability. However, the bettor bets only when their model shows a higher probability than the bookmaker's, thus they gain positive value over time. The bookie is disadvantaged because they can't use the bettor's information to set odds, while the bettor can use the bookmaker's odds and make a decision to bet. Remember here that they are running the same model, the bettor doesn't even have an advantage. Because of this, there is no one on Polymarket running a model offering odds on all possible markets (acting like a bookmaker), it will just lose money. A bookie probably has to offer all odds on all games, in order to compete with other bookmakers. The idea is from William Benter's paper[1], the guy who made a 1bn betting on horses. The books are probably well aware of this, which is why they will ban anyone who wins consistently with a good enough model, they can only ban the person or stop making odds on that market which obviously is not a good idea

[1] https://gwern.net/doc/statistics/decision/1994-benter.pdf
Probably yes, and branch prediction improved a lot since then, too. Bounds checks are easily predictable.
If these individuals could do math we wouldn’t be in this situation.
No. Grammar does matter on the Internet. So does spelling. Malformed writing takes extra effort to decipher, so even if you're understood, you may also be secretly hated for it.
A caveat here with the stock market comparison, although there are some betting exchanges like Matchbook, most betting is done with fixed odds. That is, the book isn’t letting the market set the odds in the sense of trying to balance their action and add vig, they’re trying to get the most “correct” odds. Often this involves tracking the sharp bettors within the market, but not the market as a whole.

The sharp odds is another factor that makes it impossible to be wildly successful (in addition to your callout on banning/limiting). Like NFL lines as an extreme example are so sharp that I don’t think anyone could reliably beat them.
The original RSA paper is only 7 pages long and is worth reading.

https://dl.acm.org/doi/pdf/10.1145/359340.359342
Um, I just quickly uploaded an unstructured RTF file to this and apparently broke it... unless it's just realllly slow.

If this is just for converting hand-written documents, maybe put that in the header of the website. Right now it just says "Document to Markdown", which could be interpreted lots of different ways.
I can't source this because I read it years ago, but I believe that there is some science that says that a major factor (not the only major factor, but a major factor) is body mass and volume. Essentially, the speed at which the core organs go from operating temperature to frozen is crucial, and it's also important for them to be deprived of oxygen when that happens. Humans are just... too big.
Maybe this was a stress test for the NFL games?

I'd expect the NFL games to have a largely American audience, but today's boxing event attracted a global audience.
Shoulda used middle out compression.
> We provide a detailed description of our betting experience to illustrate how the sports gambling industry compensates these market inefficiencies with discriminatory practices against successful clients.

Correct. I have written that code in a past life. Some clients get rate limited. Keep their bets as a nudge to check your odds. Poor big betters (these days called whales) get taken out to dinner.

Also worked on the other side and you can avoid being shutdown by using 2 sided markets. Pools, betfair, crypto, for example.
You only need to look at the 2024 US presidential election to see how many people disagree with that point.

Out of 245 million eligible voters, only 65% voted.

For many people politics is an abstract concept in a faraway place.
Curb did? What season/episodes?
Holy Hallucinations batman!

Even the example images hallucinates random text
Extra virgin olive oil is the flavour of mechanisation
Half-Life 3 would not align with Valve’s long-term focus on monopolising PC distribution, skins, microtransactions, and innovative hardware tech (hence Half-Life: Alyx instead of HL3)

I guess they could, if not flat structure and billion-dollar yachts and what else is there.
> failed as a manager to elevate...

Managers aren't teachers. They can spend some time mentoring and teaching but there's a limit to that. I've worked with someone who could not write good code and no manager could change that.

Most people I've worked with aren't like that of course (there's really only one that stands out), so maybe you've just been lucky enough to avoid them.

I do find it unlikely that all of his engineers are morons, but on the other hand I haven't worked for a typical fortune 500 company - maybe that's where all the mediocre programmers end up.
Fuzzing data flow separately from control flow is an interesting idea

I can believe that it dramatically speeds up finding certain bugs, but I doubt that it can reach a large class of complex vulnerabilities, which in the case of high value targets is probably all that's left.

The PHP interpreter isn't much of an interesting target, since it (usually) doesn't accept user input, even if it does power a significant part of the web.

For that reason, it's much less researched and still has low complexity bugs.

More robust interpreters such as JavaScript's V8 will probably fare much better against data flow only fuzzing. Bugs in V8 tend to combine both data flow and control flow[1].

[1] https://googleprojectzero.blogspot.com/2021/01/in-wild-serie...
Pffft, I’d just #. that factorial call and it’d be a normal defun.
> Model 2: Performance changes with the number of total audience present

I hope everyone realizes what this means, just look at those scaling laws: if we can just fund a company that gets money to pay potentially millions of people to watch a chimpanzee performing a difficult task, we could potentially get super human intelligence.

If we can get, and I know this sounds wild, trillions of dollars in funding we might be able to pay billions of people to watch a single chimp and that will potentially lead us to singularity, saving us from climate change.
For me problem word I see here is „impress”.

When I hire I don’t need someone to impress me, he has to present himself as able to do the job.

I think a lot of devs think they have to hire someone that impresses them and we end up with insane tests and adversarial interviews.

Yeah of course there will be people who will blow through the task much faster than others with better quality than average and they will impress me and they will get the offer in first place - but often times they already get multiple offers and after negotiation they will pick some higher offer and we have to get someone we can afford to do the job.
PSA: Perhaps this is stating the obvious, but if you want bounds checking in your own code, start replacing T* with std::span<T> or std::span<T>::iterator whenever the target is an array.
I agree. The ZIP definition is extremely clear that the contents of the ZIP are defined by the single Central Directory at the end of the file. Local headers are only valid if pointed to by the Central Directory. Any other local headers are just supposed to be treated as garbage, except by software that is specifically meant to recover corrupted ZIP archive's contents.
Back in the 1980s I did some work on a computerised tabulation system for a large race course: my part was programming EPROMS for the displays, but I learned a lot about the system from that time.

Basically, the house takes their cut from all the bets. The house cannot lose. Then they share whatever's left amongst the winners.

The returns for a $1 bet on a horse are calculated in real time and displayed on the screens. THESE ARE NOT THE FINAL ODDS, they change as bets are placed right up until the race starts, which is the starting price (and where the term SP bookmakers comes from).

Contrast this with bookmakers at the track who offer fixed odds when the bets are placed. They stand a chance of losing if they get their numbers wrong.
I would say it counts as a garden path sentence, much like "The old man the boat" - https://en.wikipedia.org/wiki/Garden-path_sentence
Interestingly, the original quote is "Those who would give up ESSENTIAL Liberty, to purchase a little TEMPORARY Safety, deserve neither Liberty nor Safety." which is quite different meaning. Otherwise you never have any safety, as safety is always at the expense of some freedom.

Arguably, this kind of work is the opposite - giving up non-essential freedom (in how you write code) for non-temporary (persistent) security.
You can tell people the 30k ft version but you wont get the lines of code, or the smart operators needed to keep the system running for that matter. Data science, dev, ops etc.
I understand that it would keep beating until you are provided oxygen. That’s my understanding understanding of brain death at least.
Ah yes, just let the LLM refactor your numeric methods, #yolo.

What could go wrong?