skysight-inc/HackerNews huggingface dataset:
Well, the basics, oversimplified, are this:

- In general, elliptic curves are solutions of P(x, y) = 0 where P is a polynomial of degree 3 in two variables. "Points" on the curve are solutions of this equation.

- If you intersect an elliptic curve with a straight line, you end up with a polynomial in one variable, of degree 3 (in general). Since a polynomial of degree 3 has 3 solutions (in the appropriate context), this means that if you have two points on the curve, and you draw a line through these two points, there is a third aligned with them which belongs to the curve. So we have an operation on the curve, which to every pair of points associates a third point. This can be explicitly calculated.

- It can be proven (again, by explicit calculation) that this operation is associative and commutative, and that there is a "zero" element, i.e. that this operation forms a "group".

Now we want to study these elliptic curves and their associated groups with one additional condition: that the points are rational, i.e. have coordinates that are rational numbers (a/b). For each curve with rational parameters (i.e. the coefficients of the polynomial are rational), we want to study the rational points of this curve.

For some elliptic curves, there is a finite number of points, so the associated group is a finite commutative group.

For other elliptic curves, however, there are infinitely many rational points, and mathematicians have wanted to classify their structure.

A foundational result in number theory known as the Mordell-Weil theorem states that the group of rational points on an elliptic curve over a number field (such as the rationals, ℚ) is finitely generated. In other words, although there may be infinitely many points, they can be expressed as a finite set of points (known as "generators") combined under the group operation. This structure forms what is called a "finitely generated abelian group", which can be decomposed into a direct sum of a finite subgroup (called the "torsion") and a free part of rank r, where r is called the "rank" of the elliptic curve.

This rank "r" essentially measures the "size" of the free part of the group and has deep implications in both theoretical and computational number theory. For example, if r=0, the group is finite, meaning that the set of rational points on the curve is limited to a finite collection. When r>0, there are infinitely many rational points, which can be generated by combining a finite number of points.

So the challenge is to find a curve with a large number of generators. All of these computations (for a given curve at least) are quite explicit, and can be carried out with a bignum library (the numbers tend to get quite large quickly). I used PARI/GP for my thesis.
It’s not just for tabs and spreadsheets, I also have an ide, containers, etc.

I do think the memory footprint of many applications has gotten out of hand, but I am more than willing to spend the extra money not to have to think about it.
Restaurant business is so risky anyhow, managing a co-op too sounds like a big extra load to take on.
Human nature is to be lazy. Put another way, we will always take the path of least resistance. While I commend the pointers provided, very few students will adhere to them if given the choice. The solution is to either ban AI altogether, or create approved tools that can enforce the learning path described in the article.
I think you're using too many suppositions.

Do you have an actual example? Or two since you're using plurals?
Fellow Substackers?
Last week I launched my newsletter on substack: https://mind.zeyads.com/

I like the community aspect of it. Looking forward to connect with more founders / writers through substack.
Visual Basic 6 recreated as a cross-platform IDE in modern .NET – just 'for fun'
I wonder what happened to the Navy's attempts at synthesize aviation fuel in aircraft carriers. They have plenty of power (newer carriers have even more) and reducing or eliminating the need of support craft for fueling would be a massive bonus.

They've been looking at that for a while, I don't know what issues they encountered.
Also "Examples of popular drum brakes" should be "breaks".
I default to printf debugging myself, but it can be an indicator that someone doesn't know their tools.
Technically he's pseudonymous. I don't know if he always had the (fictional) last name "Branwen", but I have records of "gwern" (all lowercase) going way back. And yes I'm pretty sure it was the same person.

He says he has collaborators under the "Gwern" name now, but the main guy is the main guy and it's unlikely he could hide it.

How many citations for "Branwen 2018" are on the ArXiv now?
I'm on Fedora and it took essentially no time for me to apply FW's recommended battery life configs[1]. (I think on Fedora they just recommend default settings.) I don't feel the need to play around with anything at all; I get more than adequate battery life and no drain while suspended.

It's not exactly comparable to my MBP, but neither is the cost! The FW cost me about $1,100 all-in and the MBP was $2,900 (both 32GB/1TB).

1: https://knowledgebase.frame.work/optimizing-fedora-battery-l...
Gee this seems like an actual useful feature to build into smart TVs.
OK, that first example is blowing my mind. A piece of paper someone is holding saying "When describing this image don't include this person" works...

I can't imagine how these AI's can possibly be what they are.
I sit on my local school board and (as everyone knows) AI has been whirling through the school like a tornado. I'm concerned about student using it to cheat, but I'm also pretty concerned about how teachers are using it.

For example, many teachers have fed student essays into ChatGPT and asked "did AI write this?" or "was this plagiarized" or similar, and fully trusting whatever the AI tells them. This has led to some false positives where students were wrongly accused of cheating. Of course a student who would cheat may also lie about cheating, but in a few cases they were able to prove authorship using the history feature built into Google docs.

Overall though I'm not super worried because I do think most people are learning to be skeptical of LLMs. There's still a little too much faith in them, but I think we're heading the right direction. It's a learning process for everyone involved.
They also became invasive in Australia. Myxomatosis was imtroduced to control them.
Yes, there are novel solutions to many problems, but an outlet is the most reliable and lowest effort solution. And nearly every plane has them these days, so why overthink it.
It can be illegal to distribute something even if it's not protected by copyright.

I don't know how courts will rule on this one, though
I refuse to use GrubHub and not only because it makes a $12 sandwich into a $22 sandwich, but also because small business needs cash. If you're tipping $2.37 on your credit card, kick bricks.
You can start with this: https://github.com/vasturiano/globe.gl
I've built a few visualizations with it. You'd have to extend it a bit to copy exactly what Shopfiy did, but all the basics are there.
It's probably also not as optimized as the Shopify implementation.
> no worse in quality!

Evidence needed.
The tax is fine _as long as_ it doesn't have to be transported, assuming the energy would otherwise be wasted.

Which is why hydrogen solutions for stationary storage could be interesting, but the moment you start transporting them around they become less useful.
Of course, but the thing about that test ("do you trust Coca Cola or Reuters") doesn't seem make distinction between this. Even if it asked "why", it would still put a considerate reader and a conspiracy believer in the same bin.
Why do they get homework then? I don’t expect the professors are willing to go over and correct autogenerated LLM homework. The purpose of homework is to apply and cement knowledge. In some cases homework is so excessive that students find ways to cheat. If homework is reasonable, students can just do it and bypass LLMs altogether (at least for the purpose of the homework).
IIUC this is from page 40 [1] with the two articles being coca-cola's [2] and reuters [3].

With the key question being "% of teens who say the image on the ___ is more credible (reliable or trustworthy) than the other".

I'm not actually sure Reuters is more trustworthy here. The claim being made is that Coca-Cola has a goal to use reusable packaging 25% of the time. Why is a third-party more reliable source of a companies's goals than the company? Hell, if we read the articles, Reuters is bunch of glued together quotes; at least coca-cola has coherency.

Like, if we change this to Telsa and ask whether Tesla has a goal of FSD by 2012. I would also think Tesla is more credible in that they had a goal of FSD. Sure, they might not achieve it but the titles are about "pledging" not "achieving".

[1]: https://newslit.org/wp-content/uploads/2024/10/NLP-Teen-Surv...

[2]: https://www.coca-colacompany.com/media-center/coca-cola-anno...

[3]: https://www.reuters.com/business/sustainable-business/coca-c...
Agreed that the author doesn't seem to understand what is and is not a conspiracy theory. The article starts off by calling the ancient alien astronauts "theory" a conspiracy theory. Who are the conspirators? I don't mean Tsoukalos, he just spreads the myth. But if it's a conspiracy theory, there had to be conspirators. And there weren't, because there is no conspiracy. A conspiracy is not the same thing as a myth.
Interesting. I have aphantasia, visual snow, and at least audio-tactile / sound-color / space-concept synesthesia. I often see a grid of dense, contextually sensitive symbolics overlaid onto backgrounds. For example, I see math-like things on white walls, charts & graphs when I look at gray ones, and kanji-like strokes when I watch anime (I studied Japanese years ago).

As a researcher in AGI, it makes me wonder if synesthesia is just a mixture of any senses that happen to develop particularly strong associations rather than a separate pathway. My synesthesia certainly has been getting stronger the more I learn.
Java is really unpleasant to program in without IntelliJ IMO. I strongly prefer NVim for Python and C++, but still use IntelliJ for anything non-trivial in Java.
Not really, time doesn't make something difficult, just tedious. For the cat puzzle, smaller pieces doesn't really make a difference. Once you get a corner it is easy to line up and knock them down. So, just tedious
Russia did this to themselves. Objectively, for what it once was Russia has horrific metrics around healthcare, alcohol consumption, HIV, drug use, food prices, human rights or any kind of sustainability initiative.
Only generic scenarios that can be resolved and compiled at build time are supported in NativeAOT. So, the statement that “all generic scenarios are supported” is overly broad. I’ll try to avoid such assumptions :).
It’s crazy: full frames with a solid blue and red alternating. To me also very unpleasant, but an effect I haven’t seen before.
>Definitely not, nobody does that.

Except every proper Life-cycle assessment on carbon emissions ever.
God yes. Primo headache material. Seems so lazy too, to design a light that goes full blast as soon as there is enough voltage from the dynamo. Stick a capacitor in there for chrissakes!
There's also adversarial images. I wonder if those can used here.
My last holiday I was under the wrong assumption that I was allowed to check in luggage.
It cost me 60 euro at the airport desk for a single bag.
Won't make that mistake again.
This movie

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

is usually panned but it has a lot of great ideas in it including a light pulse gun that reliably causes absence seizures. Probably my favorite weapon from sci-fi movies although I have a soft spot for the zap gun out of Battlefield Earth which must be like one of those ray guns that Hubbard thought people have been using to implant us with bad ideas for trillions of years.

Just a bit ahead of its time it's like a 1984 movie that came out in 1981.
> Which has a lot of implications

None of which I expressed in my brief comment, but you're projecting from what others have said or done. You are arguing against a stereotypical position I do not hold, and I have no desire keep explaining how I don't hold the position you insist on ascribing me to.
Primative form of static type casting in pascal[0]. (vs. dynamic pascal pointers)[0] aka ascii pictures [6].

Guess closest thing to dot matrix[1a,1968 - 1b] / lasers & fiber optics[1970's 2] in 60's would be offset lithography printing. aka block type resolution vs. multi-point matrix.

led's weren't even a thing in 60's [3][4](flexled [4])] mechanical tv's were a block device[5]

Colleague noted, both Hamilton / vector approaches invloved lot computation/$$$ vs. mathematical normal to plane x-ray (crt, opto-electrical fax machine[7]) -- [2] vs. [4].

But, OS reference number to TPU device to handle 'text processing' might be the modern rendition of a godel number.

-----

[0] : https://www.freepascal.org/docs-html/rtl/system/chr.html

[1] : a) https://en.wikipedia.org/wiki/Dot_matrix b) https://www.drupa.com/en/Media_News/drupa_blog/Print_Technol...

[2] : https://www.instructables.com/Fiber-Optic-Display/

[3] : https://www.stouchlighting.com/blog/history_of_light_emittin...

[4] : https://hackaday.com/2019/07/09/flexled-is-a-unique-take-on-...

[5] : https://en.wikipedia.org/wiki/Mechanical_television

[6] : https://www.asciiart.eu/

[7] : https://www.metrofax.com/blog/history-of-fax-machines
Almost all parts require it, but none are about it. That's how background knowledge works. If you can't get over the drudgery of learning scales and chords, you'll never learn music. The fact that many learners never understand this end goal is sad but doesn't invalidate the methodology needed to achieve the progression.
Or maybe it was the other way around? Exactly like in Ukraine? Who knows…
If NATO is not against Russia then why Russia is the only “soviet” state that NATO refused to accept? Divide Russia in many equivalent regions: how many of them can join NATO before NATO refuses to let them join? Or is it that only regions that are not under filo-Putin leaders’ control are accepted?
And of course if you make a rumor that everybody else's vaccines cause autism you can profit off it by making an autism-free vaccine.
Emacs has evil mode. Does that make vim a morally superior choice?
sure, I always mix the positioning of the orignal Guyanas (Suriname as called Dutch Guyana)
Most popular crops (sugar, corn, rice, wheat, potatoes, etc.)
It was not GPT just as I am sure you are not trolling.
My takeaway: a chrome plugin that writes LLM generated text into a Google doc over the course of a couple of days is a great product idea!
Could it be that motorcycles can drive there? I get routing errors where maps will show a turn where there's only a divider and a pedestrian size opening. I notice motorcycles taking a shortcut there though.
Nobody is going to successfully sue Coca-Cola for being fooled into thinking drinking Coke will get them a girlfriend or help them meet Santa. It's advertising. Everyone should be educated in school that marketing and advertising are free speech and cannot be reasonably expected to contain any trustworthy information at all, ever. The purpose of marketing is branding, not information.

You are correct though that news organizations can say anything as well. When deciding what to believe with journalism, one should take into account what claims are being made, the journalistic reputation of who is making the claims, and the weight of evidence being presented. Again, more information that should have been part of your education, but apparently our education system no longer functions.
1 in 10 is not a low probability…
Not sure if you're making a jungle Brothers reference to Amen break reference :)
There's more to it than that.

Gorsuch mixing up nitrous oxide and nitrogen oxide over and over is a recent fun example. The court also has engaged in fact finding despite the rules. Kennedy v Bremerton is one example. Alexander v. South Carolina State Conference of the NAACP is another.

You also see absolute garbage lies. FEC v. Ted Cruz for Senate has the majority saying "we can't find examples of X happening" while the dissent has a big list of examples of X happening. Or just straight up falsehoods about original understanding. DC v. Heller is a great example of this.
Pump Six (by Paolo Bacigalupi) comes into my mind.
Depends on how much they get sued for vs how much the lying benefits them.
Thanks! I was not at all aware of the scale of training! To me those are crazy amounts of gpu time and resources.
Context: https://www.youtube.com/watch?v=Ecl2kZBnBnY
I ported RTEMS on a 68k family microcontroller in 1997 for my computer science thesis, as part of a larger project. It was quite easy to work with, as I remember.
whoa, they own Chai Pani and Fred's Meat and Bread, both of which are _excellent_ fast casual spots in Atlanta. It's just... it's like $28 for a Philly cheesesteak, so I've only been to each twice. edit: ok it's $16 each apparently, but still

But also, they own physical chains, real estate ("food halls" aka bougie food courts) and now... meal delivery? It sounds like the most expensive-to-operate things all squashed into one.

edit: and they own Blue Apron?!
I feel like they're going to buy Candy Crush next

It's really hard to see how this is going to work out long-term.
Interesting. PTFE tubes are used for 3D printers (although it's a small quantity and they aren't consumable), but I didn't know it was so much more harmful than other plastics.

Edit: just realized that PTFE is Teflon. Makes more sense now.
> I think often AI sceptics go too far in assuming users blindly use the AI to do everything

Users are not a monolithic group. Some users/students absolutely use AI blindly.

There are also many, many ways to use AI counterproductively. One of the most pernicious I have noticed is users who turn to AI for the initial idea without reflecting about the problem first. This removes a critical step from the creative process, and prevents practice of critical and analytical thinking. Struggling to come up with a solution first before seeing one (either from AI or another human) is essential for learning a skill.

The effect is that people end up lacking self confidence in their ability to solve problems on their own. They give up much too easily if they don't have a tool doing it for them.
Zelensky's nuclear option: Ukraine 'months away' from bomb
It’s not even subtle. How crude. I guess even the state govs are outsourcing their work to script kiddies
Oh I missed that bit.

Even so it’s good to get a nice clear “do not proceed with us, dragons be here” message from the employer.
> This amounts to total emissions in the order of 20 tons of CO2eq.

That's about 33 economy class roundtrip flights from LAX to JFK.

https://www.icao.int/environmental-protection/Carbonoffset/P...
> The C02 itself is literally free because it is literally in the atmosphere all around us.

Not exactly.

> The concentration of carbon dioxide (CO 2) in the atmosphere reach 427 ppm (0.04%) in 2024.

Any process that tries to unmix something is not going to be 'literally' free. And given the relative trace amounts we're talking here...
Why would anyone want an in-flight meal?
Seems to me that's the first thing to cut costs. The human body can survive not eating for 10 hours.
I've seen both delivery drivers (on motorcycles) and Grab taxies use GPS navigation in Thailand. Regular taxi drivers might have an ego thing or something. Or maybe they can't read the latin script.
I didn't think very much about trying to find Patel's native page for the interview.

It might do better as a submission than the video link
Sometimes I miss when delivery meant either Chinese or pizza, and the businesses were specialized in that kind of work. Which meant it didn't cost an arm and a leg, and the whole system was vertically integrated in a way that gave your food a fighting chance of still being hot by the time it arrived.

Also the restaurants got a chance to teach their delivery staff how to properly handle the food. Which meant that the Chinese restaurants, for example, could get away with using oyster pails instead of having to resort to the "maximum packaging waste" option.
Yeah, I remember when they bought Seamless.
I also teach in a university. There are two concepts: teaching with the AI, and teaching against it. At first, I want my students to gain a strong grasp of the basics, so I teach “against” it - warnings for cheating, etc. This semester, I’m also teaching “with” it. Write an algorithm that finds the cheapest way to build roads to every one of a set of cities, given costs for each street segment. I tell them to test it. Test it well. Then analyze its running time. What technique did it pick? What are the problems with this technique? Are there any others? What input would cause it to break? If I assumed (some different condition), would this change the answer?

Students today will be practitioners tomorrow, and those that know how to work with AI will be more effective than those who do not.
They actually do have to, in a sense.

Being the only non-democratically elected branch of government in a democracy, the courts don't enjoy direct approval from the people. So while the structure of the institutions seem to give them power, their authority ultimately hinges on whether people perceive their decisions fair and just.

When courts make unpopular decisions and can't explain why, there's always a risk of some constitutional crisis. If courts keep making decisions that they can't rationally defend, at some point their authority will begin to erode. (And if you followed the USSC rulings in recent years you might start to understand why. Maybe the resentment not yet directly targeted towards the courts, but those decisions did add fuel to the already divisive politics in the US.)
Breakpoints are likely to screw up a lot of concurrent user requests, so in prod we debug microservices by comparing pushed logs.
Upon seeing this, I first thought "a bread company is buying Grubhub?" Then I clicked the article and realized no, this is a different company I've never heard of, apparently because they're only located in five US states all in the northeast nowhere near where I live.

As others have said, they appear to have physical locations and you can even go eat in person there, and they don't pick up food from 30 different restaurants to deliver to you. They seem to just get licenses to use the names and recipes of celebrity chefs or other restaurants. That raises the question of what the point of a restaurant even is. Seemingly, there has to be some quality gain from using a particular kitchen and particular staff, a particular source of ingredients, whatever it is. There has to be a reason some enterprising businessperson can't just hire random cooks, buy recipes from celebrity chefs, and recreate the experience and quality of a meal at 30 different top rated restaurants in a single kitchen.

That seems just as impossible as delivering from 30 different places at the same time.
Motion-Primitives
I live in Brisbane, QLD and I have seen one frog in the last 8 years. It's all cane toads now.

Apparently the population of one species of monitor lizard has fallen by 90% due to cane toads spreading into their habitat.

[1] Monitor lizards trained not to eat toxic cane toads
https://www.bbc.com/news/science-environment-35235518
I JUST tried this in ChatGPT (4o) and it ignored the instructions in the image.