skysight-inc/HackerNews huggingface dataset:
So first ClosedAi (OpenAi) had a deal with Reddit, and now this? Who's next?
StarCoder2 and The Stack v2: new code LLMs and dataset
Now that can be tricky - seen a family torn apart over who inherited a family home just because he was the eldest.

We have a family home which is paid off and we will probably move out to a smaller retirement place - we have two daughters - one is working and living with her partner in a rental flat and the other one is still studying.

It would be a shame if the home needs to be sold and the proceeds split in half - we have a large plot so splitting parts of the home and doing another dwelling is a possibility.
Sagemath isn't a python library, it's a collection of packages (of which sympy is one) under a common interface. It is indeed what you would use if you wanted to do real symbolic computation in python, but it's not at the level of Mathematica or Maple.

Look, we all love open source, but we aren't doing anybody any favors by pretending the open source alternative is better when it isn't. I would encourage anyone whose needs are satisfied by sympy/sagemath to opt for the open alternative, but the question was whether or not Mathematica as of now, early 2024, is better. The unfortunate reality is that it is.
While this is good quality, this is not replacement for real education. Real education involves sweat and hard work, not just consumption. This is somewhere between education and entertainment.
> A man who holds a cat by the tail, learns a lesson he can learn in no other way.

What a silly quote. “No other way” except all the other ones. Everyone watching the man and the cat will learn the same lesson. Everyone who hears the story will learn the same lesson.

I never held a cat by the tail, nor have i ever seen anyone foolish enough to attempt it, yet I am certain I know what happens next.
Sorry, what's not open source about them? I've only checked a few models but they look to be under a BSD-3-clause license. The first few I looked at all have the same BSD-3 license [0] [1] [2].

Are you saying they've just repacked other existing models under their own banner but haven't opened sourced some other component?

[0] https://huggingface.co/qualcomm/FFNet-40S

[1] https://huggingface.co/qualcomm/ResNet50

[2] https://huggingface.co/qualcomm/VIT
Just when you think timezone databases can handle absolutely every weird thing somebody proposed somewhere...
Next up, the Tower of Babel.
I don't know the technical details behind this software. But I strongly suspect this is firmly in the camp of "machine learning" rather than "AI." Big Tech's intentional confusion between those terms has caused an enormous amount of mischief over the last 10 years.

If the military had said "statistical inference using modern Big Data methods" that would have the following advantages:

- honesty
- officers' expectations would be more tempered and reasonable
- public outrage would be more tempered and reasonable

Though to be fair this terminology would have the following disadvantages:

- military tech grifters have their BS more easily called out
- AI tech grifters have to look in the mirror and accept this is what their algorithm is
- AI journalism grifters get less clicks
- Hacker News conversations indulge less navel-gazing speculation about Skynet
Supercool, thanks for sharing. I geeked out over the video and its production quality too. That top speed is pretty insane but I suppose it does have a 3 minute flight time. How long before we see this technology popping up in military use? Isn't Anduril or Shield AI doing something like this?
Former terrorist lived in Berlin for 20 years, posted pictures on Facebook
According to German quality press, she was found by bellingcat using automated image recognition: https://www.faz.net/aktuell/politik/inland/fruehere-raf-terr...
My undergrad university had a disability awareness week every year, and one of the activities was a challenge to get from one building on campus to another, in a wheelchair, in under ten minutes (the usual class change time). There was a large hill between the buildings that was basically impossible to get up or down safely in a wheelchair, but there was another building you could go through that had exits at the top and bottom and an elevator--if you knew to use it. Other than knowing how to bypass the hill the only real challenge was crossing one street. The rest of the route was on smooth, essentially flat, well-maintained sidewalks.
Intel puts 1nm process (10A) on the roadmap for 2027
I'm not sure it hadn't had competent leadership tbh.

HN loved to hate on it's decision but a lot of them (like XUL removal) where strictly necessary for firefox to still have any chance for relevancy.

And while they did try out a lot of things but FF fundamentally has a hard time gaining new users as they have very little killer features. So stuff like pocket, VR or FirefoxOS where needed tries of FF to gain some feature with which you can gain users. Tries they lost but I would say failing to try would have been worse leadership.
Love Twitter these days. Its the best way to make money. All you need is pay for twitter blue and then use bots to reply to anything remotely connected to your topic. I get over 20 leads everyday through bots. It's never been easier with bots and AI.
Well you cannot really do without leap years, but what you propose looks a lot like the pataphysical calendar: https://en.wikipedia.org/wiki/%27Pataphysics#Pataphysical_ca...

13 months of 29 days. The 29th of each month being imaginary with two exceptions, 1 annual and 1 leap.

Or more seriously, https://en.wikipedia.org/wiki/International_Fixed_Calendar
Mind pasting some basic information about that the app does?
Blows my mind that tech people don’t see that as simple. The comments on this post did wonders for my imposter syndrome
Interview might be live. But yes, ideally producer would have caught this before a live interview.
Well, the symbolic computation is only used to generate C code. The generated code then evaluates jacobians numerically. And we use several methods for numerical stability on top of that.
I used to do this, but ever since I was forced to boot into windows at work I went back to treestyle tabs everywhere (context-switching became too much). I also never bothered to set up scripts/keybinds for easier managment of deeply nested containers in i3 so moving windows from one tree to another became a keyboard-attack scenario. I have to admit that this one of the things that is nicer to do with a pointing device.
Every minute you spend on here, is a minute you don't spend on executable code as well, yet you're on here. Perhaps because spending every productive minute on coding is practically impossible.

You don't have to be a linux admin to be able to setup a properly secure server, nowadays it's quite trivial.
I bet you, that if you tried, you would be able to do so in less than an hour (at a relaxed pace).

We get lied to about the complexity of hosting by the cloud. I was able to host forums and game servers on VPSes when i was a young teenager, and I'm not technically gifted, it just wasn't complicated at all.
Alberta to ban renewables on prime land-declare no-build zones for wind turbines
Ask HN: How many RSS feeds do you subscribe to?
I've recently started collecting RSS feeds, and according to Tiny Tiny RSS, I have 177 feeds so far (mostly small tech blogs). How many feeds do you read, and what topics do you tend to subscribe to?
If you're embedding videos, why not use a service like Vimeo that is made specifically for this purpose?
What did you find difficult in running your own servers?
A couple things I've used LLMs for:

1. Learning new things - with interactive feedback. While there's a risk of hallucination, genereally for basic concepts on the undergraduate level, the proprietary models (eg. ChatGPT/GPT4) are generally pretty solid. For example, last year, I spent quite a bit of time asking ChatGPT about how the Federal Reserve works, and how it relates to interest rates. The benefit over plain old Google search is that I could ask much more precise questions than what Google searches would give me. You could check your understanding by confirming with the model whether a statement you make is correct. The feedback is invaluable.

2. Miscellaneous language tasks. Language models, unsurprisingly, excel at languages. It can do translation, rephrasing sentences or paragraphs (eg. make it more polite, casual, etc.), and generally converting sloppy writing into impeccable, grammatically correct, fluent prose. (And yes the larger models can even make anything rhyme if you ask them to.) More often though, when I need to express an idea but just couldn't think of the precise word, I can just ask ChatGPT for 10 words that have a similar meaning, and usually I'll get the word that I want.

3. As a coding assistant -- don't use ChatGPT for that, use a solution that integrates with your IDE/editor, and use it as coding autocomplete. It can help you write the (simple) functions you don't bother to write, and even though it usually fails at writing complicated things, sometimes the scaffolding reduces the amount of typing needed. And even if you don't trust the code it generates, you can use it to automatically generate comments and test cases.

I do agree it's probably not great if you think of it as a pocket search engine. LLMs have been called "a blurry JPEG of the web", you probably want to actually check info on the web rather than an inferior substitute.
I wouldn’t touch opera with a 1000ft pole.

Any non OSS browser makes me feel weird. The amount of trust you place in a browser is insane.
http://archive.today/eSO6S
Piracy *is* stealing.

Sure, you may not have taken away money from Nintendo’s bank account by coercion/force/whatever, but the company and its employees have partaken into an effort to produce something of obvious value to you, for which they are asking for compensation for you to be able to enjoy, and you’re choosing to skirt this understanding so that you can enjoy their work without compensating them for it.

Yeah, you didn’t steal money - you stole their work.

Understand that you’re not entitled to other people’s work, regardless of what they’re asking for it. If you don’t enjoy their stipulations for it, like the hardware they limit their software to run, you’re free to not transact, not steal the work.
It has also been 25 years since the Rainforest Action Network (RAN) in the US had their fundraising vodka parties and reliable bumpersticker activism. wtf did they get done? this is miserable
> How is no spending limit a serverless problem?

> It's a cloud problem.

It's a serverless problem because it can be mitigated if using the cloud, but not mitigated if it is serverless.

I have a cloud instance. I don't have this problem and never will. If I had serverless instead, I will have this problem.
I'm not in SF, so can't say for sure. Family there just got laid off, and other friends on the West Coast have been unemployed for half a year now. It feels very different to me than a couple years ago, but that's really just anecdotal.
Just let it drift. The climate is changing anyway, a bit of drift will hardly be noticeable in the noise.
Pinterest is launching shoppable experience
> The program must include source code, and must allow distribution in source code as well as compiled form.

Can you reproduce these models? if not then it's probably not open source. With a model the closest analog seems to be the training data. Is that all published?
Some say Potato others say Tomato it's a british vs. american thing
On-disk format change beckons for brave early adopters of Bcachefs
Not sure about GP, but I use sidebury and am happy with it
Cloudflare uses QUIC on the browser<->cdn side, but Pingora sits on the cdn<->server side.

That side of the connection usually isn't going over slow and lossy mobile networks, so QUIC isn't that useful there.
… it's nearly $300. Pants on that site are $400–$500. That's expensive.

A cheap Temu hoodie, by comparison, would need to make it a single year, maybe only 6–8 months, to have equivalent lifespan / $. (If priced at $25, or like $15.)
The claim was that "LLMs can do math". Below they linked a model from Google that might be capable of that, but as a general rule (and with OpenAI's models specifically) LLMs can't "do math" by any reasonable definition.
What a great application of AI. The samples were amazing.
Uncle Sam tells nosy nations to keep their hands off Americans' personal data
*learn to pronounce Korean letters in 15 min
Yeah I was kind of disappointed when I realized this was largely just "catch up on my podcasts but inefficiently." If they had spent a few prep hours learning how the built in screenreader works they could have had a pretty normal albeit frustrating day.

24 hours is not that long biologically, you could take nothing but water and move only for the bathroom and be fine. I think there's a lot of value in intentionally experiencing understimulation but the focus on vision alone and not other forms of input undermines it.
There is a benchmark of Sympy vs Mathematica at
https://www.12000.org/my_notes/CAS_integration_tests/reports...

The results were Mathematica failed to solve 1,523 problems, Sympy failed to solve 48,529.

So it has some catching up to do.
Please do, my Vimeo stock is worthless.
Rust was a Mozilla side project for a while. Then (if I'm remembering the posts right), they laid off most of the team.
OR, becoming a member of the LGBT community is more likely if you suffer from mental health issues.

The faux unconditional acceptance offers solace, often to marginalised people that haven't received it from anywhere else.
This looks interesting -- might implement it. I'm curious how to ensure that it is local only?
I'm kind of suspecting someone wants this "vacant" mental image to stick because Twitter has been such a culturally invasive money pit with enormous inertia, the userbase seem to have bit of spidey sense when it comes to exploiting freemiums.
this comic condemns spectroscopes, the integral and differential calculus, steam turbine electrical generators, c compilers, oscilloscopes, mixed integer linear program solvers like gmpl, clifford algebras, blender, climate models, and magnetic resonance imaging machines as tools that create enormously more problems than they solve. all of these tools require manuals which begin with instructions for how to read the manual. whether or not masked as humor, this kind of anti-intellectual nonsense has no place here

anywhere, really, but especially here

of course many tools are unnecessarily difficult, often because the person who designed them wasn't insightful enough to simplify them, or because they're badly explained. and that does create problems, sometimes more problems than the tool solves. but many other problems are difficult to solve by their nature, and there are limits to how much tools can simplify them

there is no royal road to geometry, and blaming geometers for that fact doesn't change it
>> In older writings of various kinds, you will still see people call the leap day, February 29, the bissextile day.

"bissextile" and "bis sextum" mentioned in:

* https://en.wikipedia.org/wiki/Leap_year#Julian_reform
> I submit that this is rocket science to the majority of Linux users and is not a sufficient answer.

That can't be true, can it? I guess it depends on the definition of "users."
To be fair, some transformations are microwavable, in the sense that there's a well known process that gets you to the end, you "just" need the discipline to follow thru.
Yes [1].

1. https://www.atomicjar.com/2023/06/running-testcontainers-tes...
photomatt frequently shows up in HN discussions covering Automattic. I wonder whether he will this time.

Automattic was on my (very short) "good guys against all odds" list, not sure whether they still are after this. But I guess the world isn't so black and white - money has to come in somehow.
From the link the the person you're reply to posted:

> The program must include source code, and must allow distribution in source code as well as compiled form.

The compute graph with trained weight is very much a compiled form of the model. The source code would include everything needed to train that model and reproduce it.

EDIT: wasn't fast enough
Wow the way this is presented is super confusing, to the point that your description includes a contradiction. Specifically, of a year is divisible by 400 it's also divisible by 100, so it's both a leap year and not leap year!

Instead of showing rules as a linear list, I'd suggest it's easier to visualise it as a tree, or simpler still, as a series of nested ifs.
It was live. But I would've expected that they had a conversation discussing possible topics / questions beforehand (large and established radio station with over 2 million listeners). These awkward pauses would've been spotted then already. Maybe they had, and he was more relaxed and eloquent there, or maybe his schedule didn't allow for a pre-interview meeting.
ML and regression analysis to analyze LTV
Older editors rely more on the axial views. Trenchbroom has much better tools for modeling right in the main 3D window. I think what happened here is that over time, people figured out better ways to handle the UI for modeling right in a 3D view, and it became so good that we ditched the axial views most of the time. Trenchboom got rid of the axial views because users didn’t want the axial views any more—and it got more UI improvements for working directly in the camera view.

Simpler doesn’t always mean less powerful.
It's almost as if those that respect and like Elon Musk and, "Alpha" dudes and "Libertarians" think Twitter is great, and those that aren't fans of the aforementioned don't.
Not even remotely. I suppose you could kind of say that activations are boolean in the sense that neurons emit spikes, but arguably significant information is encoded in spike timing.
I wish TSDoc would also support this, not to mention get a little love and attention in general. The spec for code linking has never been finished and the tooling like typedoc is limited and cumbersome, not to mention inconsistent with how other tools like VS Code parse and show it.
https://forums.puri.sm/t/firefox-web-apps/21499
One of my main reasons for using firefox is Tridactyl [0].

It's the most comprehensive vi-mode addon for a mainstream browser. Support bookmarks, search engines, pagination, external text editing and colorschemes on top of the usual features something like vimium has. It is under active development [1] and written in TypeScript (which is also a plus for hackability in my book).

[0] https://addons.mozilla.org/en-US/firefox/addon/tridactyl-vim...
[1] https://github.com/tridactyl/tridactyl
Actually, I associate not the political philosophy, but the reality of everyday life in 20th century communist countries with dystopia.
I know, but I'm thinking about the timing. Just speculating.
I'm old enough to have had people tell me the same thing about the Linux kernel vs the Windows kernel.

I can do an import sage as the top of any python script.

It's a library.

And since I get all of python for free it's better than Mathematica.
This thought process taken to the extreme is what results in half the internet depending on leftPad and isOdd to function. Open source is great, but there is a difference between providing a utility vs adding needless layers of abstraction. It is the responsibility of the developer to figure out which is which rather than reach for the package manager for every task in front of them.

In this case, like I said earlier Docker already has a RESTful API. You don't need to replicate the entire feature set of Testcontainers, just make a couple of HTTP calls in your language of choice to achieve the exact same outcome.
Whatever you do on April 7, do NOT settle for a partial eclipse!

Annie Dillard said it best:

"I had seen a partial eclipse in 1970. A partial eclipse is very interesting. It bears almost no relation to a total eclipse. Seeing a partial eclipse bears the same relation to seeing a total eclipse as kissing a man does to marrying him, or as flying in an airplane does to falling out of an airplane.

Although the one experience precedes the other, it in no way prepares you for it."

From https://www.theatlantic.com/science/archive/2017/08/annie-di...
Also, with no profile you can't save to "watch later" list.
Microsoft only invested $16M....lol.....I thought Mistral would demand more but I guess partnership with Microsoft is more valuable than cash.
They're probably wiser than I, now that I think about it. :-) Showdead certainly makes you appreciate the moderation that happens.
>> So I'm not sure how this can really improve the state of things compared to C with the equivalent bounds checks. [emphasis added]

Like all things Rust, you can do the same thing in C but that requires extra effort and more source code. If Rust will add bounds checking for you automatically, that's a step up from C.
How I'm funded
I prefer to call this spacecraft by the name coined by The Register: the Calamity Capsule.

I'm not trying to be a downer for Boeing, but Calamity Capsule is just a fitting name after everything that has gone wrong with Starliner.
> And if the state or federal government wants to set up a system of oversight over the charges, then good.

That is what happens now. See Medicare/Medicaid/Tricare/federal government employee plans/etc.

That is why health insurance companies are better referred to as “managed care organizations” (MCOs). Most importantly, they are selling a plausible deniability shield to government leaders.

The government is paying for healthcare, but since there is insufficient supply of healthcare, someone has to get shafted. Using the MCOs to do it lets government leaders point fingers.
A decade ago when I was interested in General Relativity I wanted to write a simple program to handle symbolic calculations for Einstein field equations (Starting with metric and calculated affine connections, ricci tensor …etc.). Sympy was an option (better because python was the only language I know well) but I found it hard and actually couldn't make it work. I used mathematica which was new for me but did it in a couple of hours. I expanded it later and used it to calculate a lot of things in a black hole paper I published later.

I checked now, and it seems that on this front a lot of development in sympy made it possible that we know how very good libraries built on top of it [1] [2]. There is even now a Jupyter notebook example on schwarzschild metric [3].

[1] https://docs.einsteinpy.org

[2]https://github.com/spacetimeengineer/spacetimeengine

[3] https://github.com/sympy/sympy/blob/master/examples/intermed...
Obviously they don't; for one, if someone else is doing it, why bother, and secondly, why link yourself with the effort.

But if they are spending money on creating and selling the hardware, there is no way they won't continue with the software, even if they have to do it secretly.

Not that they will have to, some enterprising Chinese software geek will take up the mantle, the genie is out of the box and Chinese gamers are NOT going to pony up to pay the Nintendo tax, and good luck trying to enforce foreign copyright in China.

Because they know what their devices are used for, here is the video on GPD's own YouTube channel showing off yuzu, mentions it by name in the title:

https://www.youtube.com/watch?v=nhZIz6C23ew
It starts to matter when the broad public is adversely affected by the lack of AI diversity. I don’t think we’re there yet, let them buy.
An understanding of:

- how fiat currency really works

- the effects of that on the world

- the fundamental properties of an asset that make it a good money
I also don't think that we should be writing everything in Rust blindly. If you can guarantee that you won't be accessing outside of an array before entering a critical section, not having bounds checking is actually a plus.

I have a similar code where I can guarantee that I won't be ever accessing outside the boundaries of arrays and vectors, and that gives me great performance boost.