skysight-inc/HackerNews huggingface dataset:
It’s difficult to reproducibly test openai models, since they can change from under you and you don’t have control over every hyperparameter.

It would’ve been nice to see one of the larger llama models though.
> are you claiming the British soldiers should have been risking their lives delivering food to the doorstep of the Germans

They did take precisely that risk to keep the civilian population of Europe from starving.

https://www.nationalww2museum.org/war/articles/operation-man...

> One of the key agreements was that certain corridors would be “open,” allowing Allied airmen to fly through, with the promise from the Germans that they would not be fired upon by AAA. This promise, and the fact that the planes would be flying at 400 feet or below (for the safety of the parcels) certainly gave much for the crewmen to be worried about.

> Israel got the food to the ruling government in Gaza.

Israel is killing every representative of that ruling government they can find in Gaza. (Which is good, but presents a severe logistical challenge for your claim.)
I played it a lot on the Commodore 64 when I was a kid. Unique, curious and entertaining.
Because it works. Well, it used to work- today, I think it has lost all its value. Good riddance.
I just upgraded to Windows 10 LTSC last year and spent months decrapifying it and customizing it to my liking.

No way I'm upgrading to Windows 11 soon...or probably ever. All of my other machines are Linux, and the only reason this one is Windows is for Photoshop and desktop Excel, neither one of which I am attached to, as Open Source alternatives are getting better and better.
Thanks for this write-up. I have worked with a lot of Java engineers who have learned Elixir and make this mistake all the time. In the future, I’ll point them to this article.
I don't know, but many people are caught driving in excess of 200km/h where I live in BC, when the maximum speed limit anywhere is 110km/h. There's literally never ever one single reason to drive over 150km/h, so any case of anyone ever doing it is already one too many. Even if there is just one death, that's too many, according to me. How many would it take to convince you?
Show HN: PDF2MD – Rust+Redis+ClickHouse+VLLM conversion pipeline for PDFs
If you just want to use it, try here - https://pdf2md.trieve.ai . I think the LLM's are astoundingly good at converting complex powerpoint style infographics.

I wouldn't normally think folks on HN would find this interesting as the general concept has been posted about already in the past few months. We were heavily inspired by Zerox[1].

However, the stack we went with was fun and over-engineered which is more likely to create interesting discussion. We use all the same tools at Trieve (our main product), but wanted to see if they would be a good fit for something that needed to get built in a tighter timeline and we think they were!

Took us 2 weeks to get this setup end-to-end and it's by no means complete (see roadmap in linked README). However, it's cool that a relatively cookie cutter web service like this can be created with pure open-source dependencies and non-standard Rust tooling so quickly. Rust won't kill your startup!

- Minijinja templates for the UI[2]

- PDFObject for doc display in-browser[3]

- actix/actix-web HTTP server framework[4]

- Redis queue macro for worker async processing[5]

- Clickhouse for task storage[6]

- chm CLI to handle Clickhouse migrations[7]

- MinIO S3 for object storage[8]

[1]: https://news.ycombinator.com/item?id=41048194

[2]: https://github.com/mitsuhiko/minijinja

[3]: https://github.com/pipwerks/pdfobject

[4]: https://github.com/actix/actix-web

[5]: https://github.com/devflowinc/trieve/blob/main/pdf2md/server...

[6]: https://github.com/ClickHouse/ClickHouse

[7]: https://docs.rs/chm/latest/chm/index.html

[8]: https://github.com/minio/minio
That strategic relevance has long gone.

The current relevance is strictly dictated by internal political and demographic balances in the United States.
Looks like the details are in the file itself:

> Special thanks to Julian Assange (proff@iq.org), whose change-windows-intuitively.el predates Windmove, and provided the inspiration for it.

Source: https://github.com/emacs-mirror/emacs/blob/4823fa1077e4330bd...

change-windows-intuitively: http://quimby.gnus.org/s/change-windows-intuitively.el
How much of this phenomenon relates to the relative size of software markets compared to, say, 10-20 years ago?

It seems like the stakes -- and, consequently, the standards -- that we associate with business software have changed pretty dramatically.
When I switched from engineering to management, I spent a long time thinking about software estimates, read about many different approaches, and argued with many other managers (I’ll try to write up my own blog post for the next time the topic comes up on here).

The framing in this blog post is better than some (it at least discusses uncertainty) but I believe it’s still basically the wrong framework.

People (managers) like to assume that estimates are a random variable, and software projects are samples from project space. Estimates can be produced for a project by analogizing it to similar projects. This is not true at all. You cannot reason about software projects by analogy.

Some assertions (that I will explore in said promised blog post):

- Software development is chaotic: arbitrarily small changes in the input (project requirements, who’s implementing it, stakeholders, team, etc) may lead to arbitrarily large changes in time-to-completion (including “this project is now impossible”). In short, any project may explode at any moment prior to completion.

- The risk of a project is particularly sensitive to the engineer implementing it, and depends on that person’s specific knowledge. Have they used these APIs or this database before? Any part of a project that the engineer hasn’t used before represents potentially unbounded technical risk.

- the way to manage this risk is to include buffer in the project timeline, and, critically, to use that buffer not for development tasks that were harder than expected, but for re-planning and re-negotiating the deliverables with stakeholders, to un-explode the project. Agile builds this re-evaluation into the project lifecycle, which is the main (maybe only?) thing is does really right.
This is exactly backwards. Voting software ideally would not be used at all, but if it is used it should at least be open source.

Arguing that voting software should be a secret that only the anointed may possess is anti-democratic in the extreme.
I work in the LLM search space and echo OC’s sentiment.

The more I work with LLMs the more the magic falls away and I see that they are just very good at guessing text.

It’s very apparent when I want to get them to do a very specific thing.
They get inconsistent about it.
Ask HN: Real human identity/uniqueness verification for boostrapped startup?
For an indie startup idea, to reduce some unusual abuse that I expect, I need a way to make it hard for abusers to create another account once banned.

The process for doing this has to not be needlessly creepy or invasive.

But OK if people think "this is a little different...", in a non-negative way that prompts them to not just settle into default social media mode.

OK if it only works for people in the US, initially.

Initially, until the business takes off, it has to be either free, or near-free at a predictable flat rate.

A couple ideas:

* Credit Card -- Some credit card verification service, even if we don't initially charge money, or if most users go free-tier. Maybe a payment service will for free tell us that the user submitted a valid CC, and what the name on the card is. Or, less desireably, maybe we can charge a dollar or nickel to the card for signup fee, just to cover the verification (though the "whoa, this isn't totally free?!" reaction might cost us too many signups).

* Phone Number -- Phone number verification, with SMS/MMS. And some way of knowing whether it's a cellular plan, rather than something like Google Voice, and ideally getting the full name.

Knowing the real name on a CC or phone account would maybe help detect an abuser. Or maybe it tells us when we're dealing with a burner phone with no name on the account, and we can at least see how those work out, or if we have to handle burners differently.

I don't want people to have to get on camera, nor to have to send a photo of their ID.

If it matters, the site/app would otherwise be very privacy-respecting, including not collecting or retaining more data than necessary to operate the service, and not sharing/selling data with third parties except for this verification and payment (except when required by law). So maybe some assurance about that helps sell that we have to do the one-time verification, to make this a safer place.

Thoughts?
My contract got cancelled after 1 month.
I’m tremendous excited about LuaJIT 3.0 development.

https://github.com/LuaJIT/LuaJIT/issues/1092

Q: does anyone know timeline on the release?
They can keep their citizens safe by simply not accepting migrants from these countries.
I think in the postmortem we will figure out that this was about #2 moreso than anything else. He wanted NATO off his doorstep but NATO kept encroaching since he did nothing every time they encroached. This is somewhat the act of a madman, but it's a response to NATO continually breaking promises.

The land bridge to Crimea is nice, too, don't get me wrong.
My intention was to emphasize the irony, not so much the relationship between them. :)
Read the source Luke: https://github.com/torvalds/linux/blob/master/drivers/tty/vt...
RE 2., I doubt it'll help - for at least two reasons, already mentioned by 'duskwuff and 'daveguy.

RE 1., definitely worth trying, and there's more variants of such tricks specific to models. I'm out of date on OpenAI docs, but with Anthropic models, the docs suggest using XML notation to label and categorize most important parts of the input. This kind of soft structure seems to improve the results coming from Claude models; I imagine they specifically trained the model to recognize it.

See: https://docs.anthropic.com/en/docs/build-with-claude/prompt-...

In author's case, for Anthropic models, the final prompt could look like this:

<role>You are a chess grandmaster.</role>
<instructions>
You will be given a partially completed game, contained in <game-log> tags.
After seeing it, you should repeat the ENTIRE GAME and then give ONE new move
Use standard algebraic notation, e.g. "e4" or "Rdf8" or "R1a3".
ALWAYS repeat the entire representation of the game so far, putting it in <new-game-log> tags.
Before giving the new game log, explain your reasoning inside <thinking> tag block.
</instructions>

<example>
<request>
<game-log>
*** example game ***
</game-log>
</request>
<reply>
<thinking> *** some example explanation ***</thinking>
<new-game-log> *** game log + next move *** </new-game-log>
</reply>

</example>

<game-log>
*** the incomplete game goes here ***
</game-log>

This kind of prompting is supposed to provide noticeable improvement for Anthropic models. Ironically, I only discovered it few weeks ago, despite having been using Claude 3.5 Sonnet extensively for months. Which goes to say, RTFM is still a useful skill. Maybe OpenAI models have similar affordances too, simple but somehow unnoticed? (I'll re-check the docs myself later.)
That pales in comparison to the payouts Apple does to its software suppliers. Just making payments to a company doesn't make you a "customer" in any real sense.
A bit less than two
I find it surprising that the whole reasoning of the letter is "voting machines rely on security by obscurity; this obscurity has been breached and therefore the security is harder to attain and guarantee".

The call for recounts is probably meaningful, but it should go hand in hand with a very thorough forensic auditing of the actual voting machines.
https://en.wikipedia.org/wiki/Public_diplomacy_of_Israel
There's certainly a persistent issue of typos: (34 here that we found: https://triplechecker.com/s/689196/electrobun.dev).
Nearly half of Gen AI adopters want it open source – here's why
You can for an excessive price. Most commercial outdoor-rated panels are just simple HDMI or network inputs.
I imagine that this is done to pollute the corpus. When lawyers do want to eventually wade through Google’s docs, if every doc says it's privileged, then they have to wonder: can that notice be ignored on this doc, or is it actually privileged? (This does hinge on “crying wolf” not invalidating the privilege of actually privileged documents.)
When I need to understand a personal experience, or digest a problem I'm working on, I often talk to myself and record a voice memo. I rarely listen back to the voice memos (although they are super nice to have as they serve as a historical archive of my states and progression as a person), the main benefit is in having the conversation with myself.

By forcing myself to verbalize what I am thinking and feeling, I always end up better understanding it. If I am dealing with an unpleasant situation, I can always find a way to feel better about it, or create a plan that I believe in, if I talk about it with myself.

Really, it's a form of therapy - it's not too dissimilar from the exercise one engages in with a therapist, except of course in this case you don't have a professional that can react to your outputs. Instead, the onus is on you to check yourself and self-process, which is very powerful (although of course there are limits to what you can achieve in a vacuum).

I find it effective to first elaborate upon my perspectives this way to myself, and only then share them with friends afterwards, such that they get a more cohesive presentation.
We kept the gameplay of the original pretty much intact in the new game.
I don't want to spam Hacker News, but since you played the original, I'd love to get your reaction to the reboot: https://chipwits.com
Such a ridiculous claim. Anyone against ICC is not a good guy.
Will your opinion change, when you see a photo of Polish soldiers looking at North Korean battalions across their fence border?
This is absolutely not my experience. My googlefu has gone to shit. I can no longer have some sense for what I’m looking for and find it. Something I know exists, I just don’t know the terms of art to pull up the wealth of knowledge. I used to be able to do a half dozen searches, and finally on page 4 or 5 finally find some clues as to the terms I need. Now, there is no page 4… like ever. Clearly not many people were going past page 3 so they stopped serving that content.

Now I use chatgpt for these kinds of queries, and it feels like using google circa 2004.

I know this is a small edge case, and ultimately I need to use google to crosscheck, but it hints at the rot that has taken over at google, and represents a potential shift. If I could get good reference links from chatgpt, I may be able to stop using google for an increasing number of my queries.
That's too much of a carrot IMHO: I would have appreciated it more if you dove deeper into one of those points instead of promising a blog post on a dozen.

Edit: thanks for editing the comment to make it clearer what are your points. This makes my comment somewhat useless :)
An estimate is really a probability distribution, that often resembles a Gaussian distribution and thus can be captured with two numbers: the average and the variance. Combining multiple estimates together would involve some math around these two numbers. But the surprising thing is that managers in the software industry don't really understand probabilities, and to make it understandable those managers want to reduce the model to just one number, and when this model fails to capture the probabilistic nature of the underlying process, they attempt to overrule the math with authority.
Teenage Engineering is based out of Sweden.
I tend to prefer to read documents from think tanks and professors about this conflict, but I'm sure "Sarcasmitron" has a lot to add on top of that.
php deals with this by using the username/organization name of a repository as the namespace name of packages. At least then you're having to squat something further up the food chain.
In what way do cyclists require unique and expensive infrastructure that both isn't the consequence of interactions with cars and that wouldn't be covered by general taxation unless general taxation literally didn't pay for any infrastructure?

Maybe isolated recreational paved bike paths, needlessly expensive public lockup places, and smaller scale urban infrastructure to avoid accomodate only pedestrians and bikes in forward thinking places? If cars weren't so common, would cyclists require 8+ lane highways, or even relatively wide roads? Seems like we pay into a pool of infrastructure funding that is often already very expensive and that has little to do with cars, if they didn't exist we'd broadly be saving public money, both on direct and indirect costs such as pollution, deaths, traffic control devices, public policy, or accommodating the demands of everything but personal cars as necessary. They should be treated as an expensive luxury, which they should be, but in some cases they're a necessary burden that the poor should be releaved of.

If cars weren't default, EV or not, we'd all be like "who's going to pay for that!?"

Likewise with trains, we all pay for them with taxes, but the people who use them often pay directly for the continued operation in terms of what is not their personal obligation (maintenance, construction, staffing), usually a relatively marginal source of revenue, but it keeps it going. You pay for trains through general taxation, and you pay somehow for the continued operation of your personal vehicle, and so do bikes, but cars demand much more from external sources like trains do, and like trains, there's no free ride, unless you bike, which has relatively minimal external demands. You pay for the continuance of the operation of a uniquely burdensome private luxury, and it's not subsidizing anything.

Roads also open up some amount of significant economic commercial and personal opportunity, which should also be factored in, but also paid for like others. If it's a problematic amount, then you make different choices, and if that didn't balance out at a system level, we'd make different infrastructure choices.
> Once you unroll things like classes, list comprehensions, generators, e.t.c, you end up with basically the same rough structure of code minus memory allocation.

No, you don't, and that's why there are many engineer years invested into designing AoT and JIT compilers for JS and Python.

If you write C like Python you get Python but slower.

> The advantage of doing it through ML is that once you do the initial setup of the training set, and set up the pipeline to train the compiler, to integrate any pattern recognition into the compiler would be very trivial.

Except this has already been done, so what advantage does ML bring? Other than doing it again, but worse, and possibly incorrectly?
I don't want to say that LLMs can reason, but this kind of argument always feels to shallow for me. It's kind of like saying that bats cannot possibly fly because they have no feathers or that birds cannot have higher cognitive functions because they have no neocortex. (The latter having been an actual longstanding belief in science which has been disproven only a decade or so ago).

The "next token prediction" is just the API, it doesn't tell you anything about the complexity of the thing that actually does the prediction. (In think there is some temptation to view LLMs as glorified Markov chains - they aren't. They are just "implementing the same API" as Markov chains).

There is still a limit how much an LLM could reason during prediction of a single token, as there is no recurrence between layers, so information can only be passed "forward". But this limit doesn't exist if you consider the generation of the entire text: Suddenly, you do have a recurrence, which is the prediction loop itself: The LLM can "store" information in a generated token and receive that information back as input in the next loop iteration.

I think this structure makes it quite hard to really say how much reasoning is possible.
The answer to "who does X" is Oxide. That's the point. You're not going to Dell who's integrating multiple vendors in the same box in a way that "should" work. You're getting a rack where everything is designed to work together from top to bottom.

The goal is that you can email Oxide and they'll be able fix it regardless of where it is in the stack, even down to the processor ROM.
Russia fires new ballistic missile at Ukraine as Putin threatens West
Seems fine? I actually wanted some level of detail from someone living in Spain.

But thank you for your valuable contribution.
I don't Use Php but I think learning Php its better than to learn Typscript
Like the US congress giving an applause and a standing ovation.
This is awesome! I really appreciate the time you took to document everything!
I wrote a long text involving time travel, modern technology and video recording and finished with “What is the case name again?”
It obliged by “You have 6 actions remaining. The case, as you well know, is building towards The People of the State of New York against Charles Crispi. What do you do at the Identification Bureau?”
https://mataroa.blog/
> Even amongst traditional calorie deficits, rapid weight loss results in greater loss of muscle mass when compared to gradual weight loss,

This does not make any sense. Why would the body prefer anything over the most dense and available calorie store? Protein in muscle gives shit calories per gram, it is hard to build back and generally less available than fat: the number one energy store, doing exactly what it does.
Do whatever QA is doing to find your bugs before they find them. Then spend 20% of the time to automate 80% of that work. That might be unit testing, it might be selenium, it might be some different linter settings, but keep the focus on bang for the buck stuff.
Lets go!!!!! Im looking into this, trying to migrate from Airtable front end
> the problem is that Israel's style of warfare ... The most extreme instances

Yep. The complication is, the Strip is close to being totally dependent on Israel, and yet chose war. I doubt any other country ruled by right-wingers, with that much power over their already (diplomatically, economically, socially) cornered enemy, would have acted any differently. I guess, the sequence of events reeks of desperation & despair from all sides and has ended up exposing one & all.
Properties have been in C# since the very first version. And those, in turn, were largely inspired by Delphi, with the honorable mention of Visual Basic.
I very like this playlist https://www.youtube.com/watch?v=xLfFWXUNJ_I It's good introduction in quantum mechanics with minimum posible math. It's on Russian but as I see It has English subtitles.
I like Chrome OS, but the hardware options at the high end are very limited (and outrageously priced.) There is Chrome OS Flex, but then I don't get Android which for me also means no VPN outside Crostini.
And the architecture which determines what units have weights between them.

And the training rules, that determine which weights are adjusted in response to what units.
You should use Memcached if you're only using Redis as an ephemeral hashmap. It's much faster.
Over the summer I tried meditation. It was a great experience, but actually surprisingly difficult. A few weeks ago I decided to stop my regular meditation practice, and instead embrace kinda the opposite, and what's described in the article. Go on walks and fully immerse myself in my own thoughts. If meditation minimizes something, this is maximizing it - but without distractions. I find that long walks are sometimes very productive for introspection, and this is an experiment leaning into that.
There are no zoning laws separating residential areas from schools. The civil rights laws are what caused American children to need to be driven to school.