skysight-inc/HackerNews huggingface dataset:
"Short cuts make long delays." --somewhere in LOTR

Thinking the user of AI can just spec a goal and then the AI automagically produces perfect results is just the pipe dream of the lazy who won't ever have a clue about how to verify the resulting system, much less the system that produced it. Good luck with that!

Software is about 100% correctness, which is damn-near impossible. And when it fails, it will fail at the worst time and in the worst way possible. It's just a matter of when, not if. We can't even remotely do that (for nontrivial systems), but we're gonna make a machine that can do it?!

Shhheeeeeiiiitttttt.
I recently had to take some antibiotics. Three times a day for two weeks.

After about a week I found I started to forget taking them, or getting confused if I had already taken it that morning/afternoon or not.

At the end of my two week stint I had a few pills left, so clearly I had f'ed something up along the way.

Gave me a refreshed perspective on just how difficult it can be to do the seemingly simplest things.
Haven't tried it, but applications like these are the best uses of LLMs. Translation from an informal human language to a formal language that the human can review, and can be manipulated formally further.

I believe the attempts to have LLMs "write the code" or "reason" are wrong. What we need is to move to more formal languages to replace the ambiguity of natural language.
Yeah this language probably has a lot of Stackoverflow questions. This is basically like tasking someone’s personal dot file and trying to reason about it
“Do you guys not have phones?”
Yes but the notation of dot, plus such function names plus optional parens makes it sure read like English. That’s great but it’ll be a nightmare when you are also dealing with strings which similar English in it.
Well the report just released now, so its possible they just don't have an article ready yet. I would be surprised if they didn't say anything about news this big by the end of the day.
And here I was thinking it was because noise space is non-riemannian
https://en.m.wikipedia.org/wiki/Directly_observed_treatment,...

This is already possible by DOTS.

In India it did wonders
That is the game though.
If I bet $100k on each of 10 contestants. That’s $1m total. With odds of 1000:1, a single win pays $100m enough to cover all bets and leave a huge profit.
IME, Pirate Fluxx is the best of the various themes. A good mix of silliness and solid gameplay.
So getting pierced, puts one topological outside of baseline humanity?
Neural simulation-based inference for parameter estimation in ATLAS
The issues with Overwatch 2 were fixed. All heros are available for free; you can get the season passes for free (the free pass includes enough premium currency to buy the premium pass); you can get most skins for normal currency and you can get the mythic currency for the mythic skins by playing the battlepass.

There are still a few skins you can't realistically unlock without paying; but that doesn't ruin a game. Overwatch in its current state is great.
This kind of thing reminds me of the backlash against systemd, where detractors felt like it was being imposed on the distributions that were for the most part adopting it because they liked what it offered.
I really like the effort they put into the user manual [1]

[1] https://weatherreportnow.com/weather-report-manual.pdf
The politics section list some niche use by Facebook users and ignores that it was derived from antisemitic term describing media.
No, but only because it illegally coerces its suppliers into giving it sweetheart deals with lower wholesale prices, and nobody is enforcing the law to stop it from doing so. As the article explains, the reason for most of the price differential between large grocery store chains and small independent stores is that suppliers, forced to artificially reduce the prices they charge the large chains, have to recover that loss by charging higher prices to small stores.

Also, traveling to a store that's farther away isn't free. The trip has a marginal money cost and, more importantly, a time cost.
This is a great film about the Knepp rewilding project - https://www.wildingmovie.com/ - which this article is about. I found it very inspiring.

There are also a couple of books:

https://uk.bookshop.org/p/books/wilding-the-return-of-nature...

https://uk.bookshop.org/p/books/the-book-of-wilding-a-practi...

And if anyone lives nearby (Sussex, UK) and wants to get involved in something like this, the Sussex Wildlife Trust are almost always looking for volunteers: https://sussexwildlifetrust.org.uk/get-involved/volunteer Once you get into volunteering for SWT you'll hear about opportunities to volunteer on lots of other projects like Weald to Waves - https://www.wealdtowaves.co.uk/ - and Knepp.
Gus Hogg-Blake

Generalist full-stack developer with experience at Chess.com, Financial Times, Cambridge University and various startups.

Wrote my own code editor with multi-language syntax highlighting, including the complete text editing component (doesn't use contenteditable, textarea, etc): https://github.com/gushogg-blake/edita.

Experienced in: React, TypeScript, Svelte, MySQL, Node, Linux admin, a bit of cloud, PHP, some Python, algorithms, general scripting, some Audacity.

CV: https://cv.gushogg-blake.com

Blog: https://gushogg-blake.com/p/blog/

GitHub: https://github.com/gushogg-blake

Location: Hull, UK

Remote: remote (anywhere) or hybrid/onsite depending on location

Willing to relocate: Yes
Funnily enough syntax errors is the one thing that you can completely eliminate in LLMs simply by masking the output symbol probability vector to just those which are valid upcoming symbols.
If the horse race has 10 contestants why would the odds be 1000:1?
Who is using Cisco AnyConnect that doesn't have an IT department?
Strategy Is Not War; It's Gardening
Which is insane for carrying remains when a hearse would do the trick. If the sustainable carbon budget is around 2.5t per year per person, this is over 50 times that, for a dead guy.
So if the castle is attracting breeding pairs of storks, does that also make it a chick magnet?
Perhaps and it makes both excellent marketing as well as fantastic word of mouth.
Intel Edison was released 10 years ago.
I highly recommend the China National Silk Museum in Hangzhou, which was the center of the imperial silk industry:

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

https://web.archive.org/web/20170907005855/http://en.chinasi...

It has complete royal robes ~1,000 years old, and a few damaged garments more than 2,000 years old IIRC.
> They dissolved shortly after Overwatch 2 came out. The move to 5v5 did not help as suddenly one of their tanks was redundant.

This is so sad to read. :(

Grassroot competition like that is the basis on which esports scene thrives...

Blizzard really wrote down the manual of everything you shouldn't do to make a game into an "esport", from the competition structure and insane costs (remember the initial slots for a league that hadn't had its first season yet was between $2 and $15 millions...), to the game balance which led to one meta destroying interest completely for way too long, making an entire role useless in the process, and the list continues.
Fair enough, but the RPI 5 also won't reach max performance out of the box until you add a third party cooling case on it, be it active or passive. N100 systems at least come with a case already on out of the box that let them reach max performance albeit with some noise.

And we're talking about tinkerers after all, which is the target market for the RPI. Parents won't be buying RPis en-masse for their kids from Walmart to use as their main computer for school instead of Macs, iPads, Chromebooks or Windows laptops.

Average Joes who aren't into tinkering, aren't daily driving a RPI as their main computer. It's a DIY toy/tool for those who want to tinker, learn and make stuff, so some added effort is implied anyway.
LOL. The Romans thought they were unbeatable too. What's that saying...?
It's also quite expensive
WordPress.org is not Automattic’s platform (there is a lot of managerial overlap and both are ultimately controlled by the same person).

Our well documented issues with WP Engine does not change the fact Automattic has been one of THE open source companies in tech for the last 2 decades and continues to ship in the open. There is constant push internally to build more in the open.
Tooling which depends on Cuda.
Yet some artists do believe that it's morally wrong that producing whatever they deem as good art isn't guaranteed to be self-supporting. They shouldn't ultimately have to answer to anyone else's opinion to earn a living. Which is highly entitled, and non-evolutionary.
If I have the choice of people from my industry or people not from my industry why would I ever choose the latter?
While I agree, I also think that Apple needs a new source revenue and a well executed fab one might be it.

Just speculating.
How many deep insights can you really gain on an entire industry by working in it for 2 years? And starting off in a separate industry which just happens to be located within the other?
Because it's an imperfect metaphor for how VC investing works to further enrich the wealthy.
is 32 sufficient? i would have expected more
AoC used to be more fun than that. I already have enough reality at my day job :)
If only you could read. Let me copy and paste the argument for the third time, maybe it sinks in this time:

"It ended up with Americans having the highest purchasing power in the world, even after accounting for high education and medical costs."
And that is so because they made it a priority for it to be so.
We’re fortunate to have your local Knowles and expert - thanks for sharing
I've been playing Minecraft fine with Intel GPUs on Linux for about 15 years. Works great. If Windows can't run with these GPUs, that's simply because Windows sucks.
Ukraine does have "Smerch" rockets - the engine part is about 500kg, 6m length, 0.3m diameter. In the dumb version it carries 280kg payload to 70km. The high-precision version carries 170kg to 120km. You can decrease payload further - to about 60kg - and hit the bridge (not that 60kg would destroy it, yet given the cheapness and availability of the rocket, one can use it to say regularly hit military cargo trains and trucks on the bridge while also damaging the rails/pavement for several hours in a row, and also one can use it to attack the S-400 defending the bridge, etc.)

I think what Ukraine hits, be it with own or Western weaponry, isn't just the matter of capability. I think they are trying to be very careful to not trigger nuclear response (my personal opinion is that this fear is overblown - of course i have this opinion while sitting comfortably in an armchair in CA). Also i think they are trying to not scare the Western partners as a country which, just to name a few, was the powerhouse of the USSR space and ICBM programs and has several working plutonium producing nuclear stations, and thus definitely has very interesting options of its own strategic defense.
This treatment does not in fact prevent HIV infection. It prevents infected cells from producing viable virus particles.

Because of this, it seems very likely that if any patient being treated with this drug ever discontinued it, they could develop HIV quickly from cells that were already infected in their body that had been suppressed from producing virus particles but were no longer suppressed.

I was not able to find, in a little searching, any study at all on whether cells infected during treatment survive or are somehow cleared by the immune system or undergo apoptosis. Without this information it seems highly irresponsible to claim that this is a method of preventing HIV infection.
How is that negative? The hydrogen still had to be extracted from purified water, the rocket still had to be designed, forged, moved, cooled, etc.

Also wouldn't the carbon dioxide burned outside of the atmosphere eventually comes back down? The nozzle is usually pointed towards the Earth, so unless the exhaust is on an escape trajectory it wouldn't be lost.
I have quite a few in mind, but the biggest would probably be of creating a digital version of my home (or even my neighborhood) and seeing what it would look like with arbitrary changes
The success formula of companies like Netflix, Citibank, Walmart, and NASA is majorly dependent on their up-to-date marketing and ideal technology selection. However, the common factor among these business apps is Node Js. They are part of the top apps built with NodeJS and its features. So, it has been the perfect tech stack for dynamic applications. Discover the article on the entire list of prominent brands leveraging Node.js functionality!
I live similarly (in the Stockholm suburbs), but I live near a metro station, and there is a reasonably good, not too expensive chain grocery next to the metro station. I get lots of things there, but there are a few things I need that they don't have, and for those things, I travel (by public transportation) to larger stores farther away.

On the one hand, haroldp is correct in that the automobile-centered infrastructure enables the coercion of people to travel farther to shop for groceries. But that point doesn't really contradict the article; this coercion is also enabled by the failure to enforce laws that are on the books. I'd argue that there are far, far too few independent groceries in Stockholm, for example, for reasons that have nothing to do with the transportation infrastructure and everything to do with the lack of effective antitrust legislation, or lack of enforcement (I actually don't know which it is).
Could a product's tagline make it any less appealing than that?
On the other hand, the project still exists and the engine has been modded to play these games, although apparently Warcraft 1 in particular is still a buggy mess:

https://stratagus.com/

... but perhaps more people will try to help out fixing those bugs, purely out of spite.
Also, they got their lead in space tech mainly because of a German scientist (Werner von Braun).

On the Apollo program, all the calculations were done in metric (obviously). The computers all worked in metric internally and then converted to imperial for display. They actually had to waste some of their very limited cpu cycles on converting to imperial because the US astronauts couldn’t handle the metric system.
> Traditionally business people don't get into discussions of culture or politics directly.

Traditionally business people have always done that:

https://en.wikipedia.org/wiki/House_of_Medici
So they won't do business with people that have crossed them or insulted them in the past? Regardless of whether they were in the right that's kind of just how people act, but phrased in a way to sound dramatic. You are not entitled to invest in whatever company you want.
Tolken Ring to rule them all
So 1 less than the 3 HEVC pools, and in HEVC they were all part of the development process so have pretty iron clad claims.
If you spend any time at all at a cloud hosting provider, you'll quickly learn there are only a few bad countries. It's not really Russia IME, it is mostly India and China. If you block those two, you're going to eliminate 99% of your abuse.
DOTS is effective for TB because it’s a time-limited treatment (usually 4 months for drug susceptible strains of TB) and is only relevant for treating infected individuals

DOTS wouldn’t be feasible for a prophylactic treatment like this as the number of participants would be huge and the treatment period is indefinite (ie: the patient’s lifespan)
Looking at Inferno book 4 (the virtuous pagans), Jacopo gives us notes for the Pleiad Electra at 4.121; for Hector at 4.122; Julius Caesar at 4.123; Camilla and Penthesilea at 4.124; Latinus at 4.125; Brutus, Julia, Marcia, and Cornelia at 4.127; Saladin at 4.129; Democritus at 4.136.

But he does not give notes for Abel, Noah, Moses at 4.55; Abraham, David, Israel and Rachel at 4.58; Homer, Horace, Ovid and Lucian at 4.88; Aristotle at 4.130; Socrates and Plato at 4.133; Diogenes, Thales, Anaxagoras, Zeno, Heraclitus, and Empedocles at 4.136; Dioscorides, Orpheus, Cicero, Linus, and Seneca at 4.139; Euclid, Ptolemy, Hippocrates, Galen, Avicenna, and Averroës at 4.142.

So Jacopo, at any rate, thought that readers might need help with mythological and historical references, but not with biblical and philosophical; or maybe he thought it was clear enough from the text that Diogenes, Thales, Anaxagoras, etc. were pagan philosophers. But Guido da Pisa's 1328 commentary has detailed notes on all of these. So there must have been readers who wanted more information on these figures.
>If general, I would say that cooking proteins fundamentally changes the food and makes it more digestible (meat, fish, eggs, etc.)

Applies to vegetables and other vegetarian foods, too :)

Ever tried eating raw wheat, rice, pulses or vegetables? Only some vegetables are okay in salads.
Yes it's https://github.com/qemu/qemu/tree/master/scripts/tracetool.

I also found https://github.com/cuviper/probe-rs/tree/master/src/platform which seems interesting.
> Perhaps more importantly, you can't really authenticate the individual transaction,

> also include the destination account and sum of money to be transferred in the TAN calculation

Which banks have it implemented? You are giving them too much credit. In most cases their 2FA is simply code consisting of digits or tapping multiple "confirm" without any context inside of their losy apps. In my personal anecdotal experience only SMS 2FA contain some additional information what exactly are you confirming.
They did this, paid then off and took the hit, for some VP9 patents.

They also snipe away at the shittier parents in court.

Plus they have the "if you sue us over AV1 patents, you no longer get to use AV1 for free, patent landmines in place”.
It is legendary. Trying to think is anything else like it? Freemasons? Hells angels? Donald Trump's cabinet?!

Does YC do this consistently though. Even they have to choose battles.
Tech Co-founder -Backend Engineer | Full-time | REMOTE (EU) / ONSITE Paris | Smalk | AI Search/RAG

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

We’re looking for a Co-Founder & CTO to join us at the ground level and help build an AI search LLM model that amplifies authentic voices. We're leveraging GenAI and RAG to redefine how search works — more transparent, fair, and creator-centric.

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Who We’re Looking For;

First, please keep in mind: we’re describing the background we imagine would best fit the role. If you don’t meet every requirement but feel confident you can handle the challenge, we still want to hear from you! We know this is an ambitious challenge, and we need the right technical partner to tackle it with us. Specifically:

- The Engineer: Deep expertise in Backend Engineering, GenAI (with focus on Search/RAG), and scalable architecture. You must be able to handle large daily data pipelines.
- The Leader: Someone with strategic and hands-on experience, who can guide both vision and execution.
- The Changemaker: Someone who thrives on building from scratch and exploring uncharted territory.

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Ideally, our tech co-founder will be building with us on-site in Paris

If this resonates, let’s connect and see if our vision aligns.

If it's not you but you know someone you trust could be a fit, I would love a warm intro.

Drop me an email at k.moisan at wytland dot co, and let’s chat!

More details here --> https://wellfound.com/recruit/jobs/3162556
> So they made more money by selling their farm land, instead of being a farmer? That sounds like a good trade to me. This is pretty normal process in all highly developed countries.

The reasons and conditions are totally different in economies like those in Africa that are setup for wealth extraction vs. America where they are setup for wealth generation. The book ‘why nations fail’ does a great job of explaining this.
From the article: "It adds LLM as a dependency, and takes advantage of LLM’s Python API to abstract over the details of talking to the models. This means sqlite-utils-ask can use any of the models supported by LLM or its plugins"

Ollama is supported in LLM via this plugin: https://github.com/simonw/llm-ollama
We use fanless creditcard-sized N100 from upboard without issues although we haven't done undervolting yet.
Or the assumption that these people are traveling by car? That's by no means necessarily true; DC has pretty good public transportation, and there is even a Metro station in Deanwood.
Location: Helsinki, Finland

Remote: Yes

Willing to relocate: No

Technologies: Ruby, Rails, React ( Tailwind, Redux, react-query... ), Node.js, Postgres, Docker, Kubernetes, Terraform, Azure, AWS, CI/CD (Gitlab and Github), observability (Datadog, Sentry, Honeycomb, Grafana / Prometheus..).

Résumé/CV: With 7 years of experience in small startups to large companies I've worked across the stack doing front-end, backend and infra / dev tooling. I'm interested in setting up early stage products with a deep integration to the business side, or do well scoped feature or maintenance work on mature projects to bring them to the next level.

Bonus points for Climate Tech, Geographical Information Systems, FinTech or infra/ dev tooling, but I'm open for any interesting challenges specially as part of a small team.

Let's chat!

Email: nfabredev[at]gmail.com
Linkedin: https://www.linkedin.com/in/nicolas-fabre/
You completely made up the title, there isn’t a single mention of Russia in the article.
The entire rocket is smaller than the (smallest) warhead of an ATACMS; for a missile, you need to be able to deliver a useful payload at range, range without that is meaningless.

(Also, DoD has plenty of missiles with a longer range than the ATACMS.)
It is perhaps a narrow view, but not an incorrect one.

You mention state funded projects, but the funding has to come from somewhere else. What the author is saying is this: it takes money to run a gallery (or a museum, for that matter), therefore even if it is not the primary objective, we should strive to keep the money flowing so that we can make have better galleries/museums.
I built a compiler and interpreter for a statically typed but fully inferred functional programming language in OCaml a while ago:
https://github.com/coetaur0/nox
The project is fairly simple, but there are non-trivial parts such as the type-system's implementation that might be worth looking at.
CFPB proposes rule blocking data brokers from selling sensitive personal data
SEEKING WORK | REMOTE | WORLDWIDE

Location: Helsinki, Finland

Technologies: Ruby, Rails, React ( Tailwind, Redux, react-query... ), Node.js, Postgres, Docker, Kubernetes, Terraform, Azure, AWS, CI/CD (Gitlab and Github), observability (Datadog, Sentry, Honeycomb, Grafana / Prometheus..).

Résumé/CV: With 7 years of experience in small startups to large companies I've worked across the stack doing front-end, backend and infra / dev tooling. I'm interested in setting up early stage products with a deep integration to the business side, or do well scoped feature or maintenance work on mature projects to bring them to the next level.

Bonus points for Climate Tech, Geographical Information Systems, FinTech or infra/ dev tooling, but I'm open for any interesting challenges specially as part of a small team.

Let's chat!

Email: nfabredev[at]gmail.com
LinkdIn: https://www.linkedin.com/in/nicolas-fabre/
Playstation Graphics and Visual Artefacts
New in Symfony 7.2: Mailer and Notifier Integrations