skysight-inc/HackerNews huggingface dataset:
It's amazing what people can do when they're doing something because it is fun and interesting, and not because they need the money.
Good advisor, yes. But knowledge retention is critical. They've been at it for nearly 20 years, not 5.
I like this:

> A great standard library is a cornerstone of your PL success.
Nope, it started waaay before that.

* The sexual misconduct most likely happened way before it came out publicly as all the sleezebags stayed until it was public

* real id debacle

* Diablo 3

* shutting down blizzard north, despite working on d3

* spending 10 years on trying to make starcraft 2, when the rts genre was in a major slump

* x years on the project titan, only to get cancelled

* spent years trying to create a dedicated moba, and hots came out after the hype of the genre was gone

* Cancelling semi-experimental games (the Warcraft Point'n Click Adventure game, the Starcraft: Ghost game, and many others[1])

I'm sure there are more issues/fuck ups blizzard did, the point though is that the company couldn't adapt to the new norms of the industry (some are excusable due to the fuck you money wow gives) and thus became the black sheep.

[1]https://www.reddit.com/r/GamingLeaksAndRumours/comments/1ft4...

Certain games on that list tbf is way past 2008.
I put cream and sometimes sugar in my coffee, so I'm surely obscuring most of the subtleties.

But to me, Starbucks still tastes terrible (burned), and Dunkin Donuts is nasty.

In recent years I've ordered my roasted coffee from coffeebeanery.com, and I've been pretty happy. I'm pretty sure all of the varieties I get are Arabica.
It usually follows that the fancier stuff is done for a reason, not just artistic expression.

So it's not that they're not the best way, it's just that not everyone knows how to do it that well.
Wouldn't say it ruined it. People used them as cheap computers because at the time there barely were good alternatives for that cheap of a computer.
[1] is 150 EUR from EU, not bad. I can see myself give it a go at some point. Still twice the price for my needs.
OK. EU prices seems to be at least two times higher for a N100 mini PC.

Energy consumption seems to be 2x-3x higher. The RPi5 idles at ~3.5w and the N100 at 10w. But yeah, the N100 is faster.

You need a power brick for the N100 box.

Depends on what you need. The N100 isn't always "better".
Our defenses are also crazy. For example, the inner mucus layer of the colon is able to keep trillions of bacteria at bay the vast majority of the time (unless there is inflammation or takeover by specific mucus-eating bacteria). Many of the proteins in the secreted mucus layers are still unknown in function, like FCGBP which comprises up to 40% of the protein content of mucus.

The inner of the two Muc2 mucin-dependent mucus layers in colon is devoid of bacteria
https://pubmed.ncbi.nlm.nih.gov/18806221/

Bacteria penetrate the normally impenetrable inner colon mucus layer in both murine colitis models and patients with ulcerative colitis
https://gut.bmj.com/content/63/2/281

So I think without trillions of bacteria to exclude, in the absence of any other issues excluding bacteria from the brain seems pretty doable.

Many viruses infect neurons, but they are way smaller than bacteria.
What does your wishlist for Rust look like? (Besides "simpler C/Rust interoperability", of course.) Has QEMU run into things that Rust-for-Linux hasn't, that feel missing from the Rust language?
The implication in my riddled-with-typos-and-missing-words comment above was that it seems to be worth learning assembly for the CPU (of any kind), rather than obsolete language which has never had a top reputation. And hat it is within reach for children to do it.

People did use BASIC to teach to children back in the day, but IMHO python and even damn JS is much more suitable for this challenge. I really find little benefit from revisiting C64 BASIC in 2024. That was my point.
If one of your browsers has this feature, just toggle reader view.
> I find that many people are so afraid of reading game rules that they'd rather watch 15-30m how to play videos.

I find this goes for everything. People are so afraid of reading they'll watch a 10 minute video for something they could've read in 5. Trouble is reading is something you need to practice and ability will fade away when not used.
I loved playing games I was familiar with because the rules had been finalised with the people I played with, and we had agreed on the ambiguities (they became house rules). We then developed our strategies based on a known and "complete" understanding of the rules, and the fun came from winning based on the mutually understood set of rules, not a strategem that a player extracted from an unread part of the manual. On the other hand, learning a new game is fun when no-one has played it before, and part of the process was agreeing on the rules after a few run-throughs. Illuminati was great like that. Yet so was the Game of Life card game.
A complicated game/rulebook is a different beast. I believe it also needs a person willing to teach the game, or learn it on their own, then teach it. It needs a person familiar with the game, and new players willing to invest in the
game knowing they will play it together A LOT. That will exists.
You forgot also the best lawyers in the industry
The Great Pokémon Go Spy Panic
"The goals of the advertising business model do not always correspond to providing quality search to users... advertising funded search engines will be inherently biased towards the advertisers and away from the needs of the consumers."

— The Anatomy of a Large-Scale Hypertextual Web Search Engine, Sergey Brin and Lawrence Page, 1998
So you are saying that LLM do can reasoning? Logical reasoning is something completely else than likelyhood in word completion. A pure LLM will never be able to do reasoning, you need a hybrid. Use the LLM for classification and completion and a logic system for reasoning
Their company home page, http://brilligunderstanding.com/ wow..
In metric: previous record was 116 km, this launch was 143 km.
Re your last point, there have been many deaths in war caused by overestimating the enemy's intelligence. Or misunderstanding their perspectives and red lines.
Good news! There are alternative, unofficial launchers! Check out Prism or POLYMC for example.
As far as I understand it, only kind of? It's open source, but in their paper they did a tonne of pre-training and whilst they've released a small pre-training checkpoint they haven't released the results of the pre-training they've done for their paper. So anyone reproducing this will innevitably be accused of failing to pretrain the model correctly?
That would suck if Jesus wasn't some random cult leader.
SEEKING WORK | Central Europe | REMOTE Ex product manager & business developer for a web&mobile
development agency, connected with a wide network of freelancers, decided to start own company. Expert in finding part or full-time mid/senior developers & designers for growing teams. Can also help you as part time PM. Currently working with three US clients. Tech stack:

-----------------------------------------------------------
Frontend: HTML5, CSS3 (SASS), JavaScript (Vue.js, Node.js, Nuxt.js, React.js, TypeScript, AngularJS, jQuery)
Backend: PHP, Java, Python (Django), C++, C#, Ruby, .NET, Go (Golang)
Mobile: React Native, Swift, Kotlin, Xamarin, Flutter
Databases: MySQL, NoSQL, PostgreSQL, MongoDB, Redis, Microsoft SQL Server
Cloud: AWS, Azure, Oracle, Google
UX/UI: Figma, Sketch, Adobe XD, Photoshop, Illustrator
-----------------------------------------------------------

Let me know what your needs are and I'll get back to you ASAP. Email: Matthew.ScottJR887@gmail.com
Look, did they use industry to help them with things like xraying their motor grains to check to confirm they had no voids? possibly. But this team has been at this for nearly 20 years and made their first spaceshot attempt over a decade ago (Traveler I).
All of their in house designed and built GPS and radio triangulation electronics failed. It was the COTS stuff that gave them good data. I would think if private industry was doing any heavy lifting for them that wouldn't have occurred.
They've blown up a lot of their motors in testing to get to their R class motor they used here. I also doubt that would have been the case if they were getting private sector assistance.
The reason people can’t remember it on the spot is that it’s really not necessary to understand how do-notation desugars in order to use it.

People usually check it once, see that it is correct and forget about it.
Great, that strengthens my point.
Olivia Jane Cockburn "Wilde", who played Julia in 1984 on Broadway... The Orwellian theme extends!
So, just to be clear, you believe slavery and employment are just a difference in degree, not a difference in kind?
Most landlords only own one or two properties, but most properties are owned by people with more than 3. Both these things can be true.

And it can also be true that though most properties are not run through such a system, only a very small number of properties are available at a particular time. And if such a system encourages more churn, then a much greater percentage of such properties would be available at any time, than the average.

An effective monopoly could conceivably be maintained even if they only represented a fraction of the total market.
Not to beat the dead horse but NASA predominantly uses metric units.
> SQL does not deal well with composability natively.

not sure what you really mean by this one. I've seen quite complex SQL code, pages long, not PL/SQL , but SQL with intersects, CTEs, recursion and all... and it composes.

it actually composes OK and on a very high level where reading skills similar to those needed to read math crypto-text are needed. is not easy, but the power you get from the declarative writing can never be matched by functional language in terms of readability and concise length. is the same with regexp - once you master it you never go back to writing for-loops slicing commas.

i don't really take this argument that you want a little ORM here and there to save time implementing CRUDs, but then you invest heavily into describing the AST of the SQL by means of .dot.dot.dot OOP composition, which eventually is "translated" (transpiled if u want) into SQL again. So basically you need to understand structure on the ORM API level, but then still understand it all (for debugging) on SQL level. Seems doing the same two times.

Besides not all queries are equally used statistically, and it is apparent you are going to want to optimize the critical stuff, while the trivial stuff - well you can compose CRUDs with simple join+binding and it's the same thing timewise.
Amateur rocketry is relatively common, although space shots are a considerable engineering effort. A good example is BPS.space (Joe Barnard) on youtube [1], who is making significant progress towards a space shot (over the karman line) and documenting it in detail, though he's definitely not the first to do a space shot. He's doing everything himself including his own solid propellent, nozzles, casings, flight computers, control surfaces, cameras, and flight computer. On the regulatory side, the FAA has a regulatory regime to support these kinds of activities. There are amateur launch facilities like the Friends of Amateur Rocketry [2] in the Mojave Desert that support these kinds of launches, although they do require you progress through successful launches of smaller rockets to get permission to fly larger rockets, so you can't just rock up with a huge rocket the first time.

[1] https://www.youtube.com/@BPSspace/videos

[2] https://friendsofamateurrocketry.org/
I remember when Blizzard was a company run by gamers that loved gamers. These days it feels like a company reigned by 'modern' HR that despises gamers.
Founded in 2005. They probably have a very strong Knowledge transfer system and alumni network in place (useful for funding). This is something I can attest to when I go back to my college days.
Tabs is an excellent game. This is more a tool for filmmakers, or game developers who want complete control to work on their own scenes.
> but I don't get why they aren't using plain TOTP, so you can use any authenticator app you'd like

Compared to the non-app solutions I'm familiar with in Germany, TOTP lacks at least two things:

1. There are no guarantees as to what happens to the shared secret (whereas at least some of these alternative solutions use your debit card as a smartcard to securely store the secret). From an individual point of view I guess that's perhaps a welcome trade-off (no backup solution except for manually registering a second key everywhere is part of the reason I'm not keen on Yubikeys and the like for replacing all my logins), but banks might have differing opinions.

2. Perhaps more importantly, you can't really authenticate the individual transaction, because the TOTP is only based on the (fixed) shared secret and the current time. The TAN generator solutions I'm familiar with on the other hand also include the destination account and sum of money to be transferred in the TAN calculation (and those get displayed for confirmation on the TAN generator's display), so a malicious website impersonating your bank's online banking can't forge those things.
Linkwarden: Self-hosted collaborative bookmark manager
Police investigate damage to internet cable between Finland and Sweden
Show HN: I built a Chrome extension to declutter ChatGPT
Hey HN,

Like many of you, I’ve been using ChatGPT to brainstorm, debug code, and even plan projects. But as the number of conversations grew, I found myself scrolling endlessly trying to find old chats. It was frustrating and unproductive. So, I built PinFold – a Chrome extension to help manage and organize ChatGPT conversations.

With PinFold, you can:

Pin important chats for quick access.
Organize conversations into folders (e.g., personal vs. work-related).
Declutter your ChatGPT history and boost productivity.
It's privacy-focused: no data is sent to external servers – everything is stored locally on your machine or synced through Chrome.

This is my first solo project for Chrome extensions, and I’d love to hear what you think. Your feedback (both good and critical) would mean a lot! Are there any features you'd want to see added?

Also, if you’re solving similar problems around personal productivity, I’d be excited to hear about your approach!

Thanks for checking it out,
Julian
Yeah. I feel nobody uses the standard library. Even for stuff like HTTP there is requests.
You see this again and again - when you gate technical features behind an enterprise barrier, the adoption rate is very low. AMD messed this up with CDNA and RDNA (now merging to UDNA), but Nvidia had it right from the start: CUDA from the bottom to the top.

Intel started doing this kind of right recently with their Xe cores (ideally same programming model between their integrated GPUs and their datacenter HPC GPUs), but we’ll see how different the Xe-LPG and Xe-HPC end up being when Falcon Shores really comes out (I’m very worried about this description of it as a XPU, which seems like real confusion about what ML people want).
I don't think that makes a whole lot of sense unless you're proposing bad actors are going to break into my house to...connect my dishwasher to wifi.
Mkay, day 3 part 2 is making me want to step in front of a bus and never touch a computer again.
Do you have a non-X link?
You’re trying to systematise something that is more like basic human nature. It’s like trying to explain why people like attractive people from a utilitarian perspective.

In the real world I just prefer to interact with people who prioritise me over other things and most people are the same.
>With AI, the new evolution in software is to skip the "telling what to do" part and directly specifying the goal - "telling what to get done" and let the system figure it out.

Not exactly. Writing software has always been "telling computers what to do". Using AI to do this doesn't change much. In the very early days (after CPUs were invented), you told the computer what you wanted to do with CPU instructions directly, so you had to figure out how to manage memory and all other tedious things needed to get your program to work. Later, higher-level languages were developed to abstract the complexity of the hardware away, so you could tell the computer what you wanted in higher-level terms without so many low-level details. An AI tool just takes this to another level.
>They are comparable

They are not comparable in any way, shape, or form.

>you are wrong to believe that Aristotle was wicked and stupid

He was unquestionably wicked and stupid compared to his contemporaries who were able to see past the miasma that was the culture they were steeped in.
I had a prof who would say "there's no such thing as software; it's all just hardware in different states" and I think about that a lot.
Developer of tantivy chiming in! (I hope that's ok) Database performance is a space where there are a lot of lies and bullshit, so you are 100% right to be suspicious.

I don't know SeekStorm's team and I did not dig much into the details, but my impression so far is that their benchmark's results are fair. At least I see no reason not to trust them.
Any luxury service (consensus determines what a luxury is in this case, not the individual) that is personalized, intimate, and requires spending a lot of time with you would carry the expectation that you tip. HVAC is seen as a necessity in the US, the same with cars, and the same with medical care. Tipping wouldn't be expected in those instances.

The only situation where there is an unwritten expectation for a tip is at a sit-down restaurant with waitstaff and for food/grocery delivery. These are luxuries 99% of the time.

In all other cases that I know of, they will ask you outright if you want to tip. For example, when I get a haircut or a massage, they ask me explicitly if I want to tip, and, because it was a personalized, intimate, luxury service, I oblige. For simple walk-up services like coffee or take out, I wouldn't tip.

The only other times I tip are for exceptional service (e.g. in a fastfood drive through) or if it's a local business that I'm fond of.
ODROID-M1 with RK3568B2 is supported until 2036 at least https://forum.odroid.com/viewtopic.php?f=29&t=44218

That a distro's principal maintainer steps down is unfortunate for anyone who is downstream from them, but it is not the end of the world. As the article mentions, other distros for Rockchip continue to exist.
> But if someone else isn’t measuring up, I have no idea how to convince them to do so. So I look for people who have already decided.

This reminded me of the part in Good to Great where one company's success was attributed to setting up a steel factory in a agriculture-heavy area, where the residents were farmers who were already predisposed to working hard.

I'm curious if, on the flip side, anyone has any strategies for "convincing someone to measure up" as the author puts it.
From a sata3 ssd in a usb3 enclosure? adds cost and complexity and cabling... I understand there's also a raspberry pi5 sata "hat" which is something like $20 and then figure at least $35 to buy a decent quality small sata3 ssd to add to it.
I will nominate this recording: https://macaulaylibrary.org/asset/107159

Dawn Chorus. Queensland, Australia. Recorded from 0515hr to 0640hr.
Even World of Warcraft which used to be seamless in terms of issues, has had increasingly more and more obvious bugs. A sad state from the "Blizzard polish" of yesteryear.
Right now the only language-level thing I would like is const operator overloading. Even supporting MSRV as old as 1.63 was not a big deal, the worst thing was dependencies using let...else which we will vendor and patch.

Pin is what it is, but it is mostly okay since I haven't needed projection so far. Initialization using Linux's "impl PinInit<Self>" approach seems to be working very well in my early experiments, I contributed changes to use the crate without unstable features.

In the FFI area: Bindgen support for toml configuration (https://github.com/rust-lang/rust-bindgen/pull/2917 but it could also be response files on the command line), and easier passing of closures from Rust to C (though I found a very nice way to do it for ZSTs that implement Fn, which is by far the common case).

The "data structure interoperability" part of the roadmap is something I should present to someone in the Rust community for impressions. Some kind of standardization of core FFI traits would be nice.

Outside the Rust core proper, Meson support needs to mature a bit for ease of use, but it is getting there. Linux obviously doesn't need that.

BTW, saw your comment in the dead thread, you're too nice. I have been curious about Rust for some time and with Linux maturing, and Linaro doing the first contribution of build system integration + sample device code, it was time to give it a try.
Note that Copper can be distributed too, we do support iceoryx2 for example if you need to split it in 2 or more processes.

We have ~100x less latency and ~12x faster logging also because we have adopted a data oriented architecture: the tasks outputs are written back to back in memory, all the IOs are linear (we could log to a block device straight, we don't even need a filesystem).
I am not sure it is possible to touch this with ROS just because of its "everything is asynchronous" design pattern.

So the question is more about those limits in practical applications: do you have use cases where you absolutely need every single component deployed as a kind of micro service in a robot?
More than you think.

As people noted, most of your GUI is being rendered by it. Every video you watch is accelerated by it, and if it has some compute support, some applications are using it for faster math at the background (mostly image editors, but who knows).
Simple and convenient!very good!
Ask HN: Non-ML AI research options
Hi HN,

I'm looking for advice on pursuing research in AI that diverges from the mainstream machine learning. The research itself would mostly be around the theoretical level of AI rather than the application level. Topics that I am interested in:

* Exploring *constructive* outcomes of denying the Church-Turing thesis (AI version). Emphasis on constructive, because I am not too interested in the philosophical ponderings, but rather mapping out an alternative direction of building AI.

* Game theoretic formulation of AI.

* Non-classical logics.

I have BSc in Robotics with AI and MSc in Machine Learning. For the past couple of years I have been doing some of the background reading and have a rough sketch of the thesis itself too. However, it is a bit boring doing this alone without a supervisor, and the lack of an academic setting is not very motivating sometimes. The problem however, is how to find that, especially these days? Frankly, the spirit of my research seem to belong to the era of the 70s. Most of the guys from those days are either dead or retired...

Could anyone recommend universities, research groups, or individuals aligned with these topics? Anything that would help me to minimize the scope of the search would be useful.

Thanks!
Has anyone ever tried to look something up in a car manual? OMG!