skysight-inc/HackerNews huggingface dataset:
I started working on this a few weeks ago: https://github.com/trane-project/trane-math It currently needs a README, but you could take a look at the courses on how I am building the flashcards. It's easy to reference external resources, so that's what I have been doing, rather than trying to create exercises of my own.

I am starting with a very basic olympiad-style book and a book based on Euclid's Elements, because I don't have the understanding required to clearly work out the dependencies of more advanced stuff. And I also would like to start at the beginning to make sure I don't miss anything.

The ideal end state is to have courses that cover all the undergrad and grad math curriculum. I am also curious on whether this could be used by researchers to keep up to date with the latest research on their fields. But all of that is a long way out.

As for your question, there are a couple of ways that Trane could handle multiple paths through similar material.

1. Just have separate curriculums. You could copy the courses, but the second copy has different dependencies, courses/lessons IDs. For example, one could have a series of courses teaching the undergrad MIT math curriculum and another the Harvard curriculum. They might share a lot of the material, but the order will be different.

2. Trane does not lock you into a specific order. There are filters that let you specify which parts of the graph you want to study. You are free to get questions from specific courses and lessons. You can also use the metadata in the courses to say things like "give me questions from all lessons teaching linear algebra" or "give me questions from all courses on real analysis but not from the lessons on set theory". The dependencies between the lessons that match that metadata are still respected. There are a few more options, but you get my point. The dependencies are not set in stone, and there's freedom to jump around and study specific topics.

I actually use option 2 most days. If I want to practice guitar, I just set a filter to give me exercises from the guitar. Similar thing when I want to practice the saxophone.
GTK != Gnome. KDE is extremely bloated and so that is why I avoid it. One KDE package wants to pull in pretty much all the dependencies for a full desktop environment which isn't what I want to do.
> WhatsApp has a documented history of all kinds of shadyness from uploading unencrypted (yes, unencrypted) backups to Google under an agreement that let Google rummage through them(!) to their "send the data in a sidechannel directly to Facebook for analysis while also sending it end-to-end-encrypted to the recipient".

I don't have that backup enabled. Does that mean that WhatsApp is secure for me with everyone who also has that disabled?

I don't see how Telegram is better in that respect; the server sees all messages directly. It doesn't even need a documented backdoor like you described.

> under an agreement that let Google rummage through them(!) to their "send the data in a sidechannel directly to Facebook for analysis while also sending it end-to-end-encrypted to the recipient".

*EDIT*: Can you give a link to that agreement? It'd interest me. :)

> But if you mean no one should ever touch it

That's not what I said.
> Now over 30 years later I still use a stack to implement tree traversal instead of using recursion.

Recursion is the same as "using a stack". It's just using the system stack generally, which might not be what you want.
Has anyone used any of the "intelligent tutoring systems" mentioned in this Wikipedia article?[0]

Lots of comments here are saying "we'll have an intelligent tutoring system one day, based on LLMs" -- but there are many such systems that already claim to be getting good results now.[1] I'd be interested to hear from anyone who's used one.

[0] https://en.wikipedia.org/wiki/Intelligent_tutoring_system

[1] https://www.lesswrong.com/posts/vbWBJGWyWyKyoxLBe/darpa-digi...
HTTPS records are (reportedly) coming soon™: https://datatracker.ietf.org/doc/draft-ietf-dnsop-svcb-https...

TL;DR: HTTPS records are like SRV records without the weight number (but, crucially, including the priority number), and with some extra stuff to make the TLS handshake happier.
Russia‘s wealth divide is wider than most of Europe and very close to the USA:

https://worldpopulationreview.com/country-rankings/gini-coef...

There isn’t a big difference here.
I felt this way with the 6 because it got downthrottled into the ditch with iOS-whatever, but my 5 (which I actually got after the 6 cause it, uh, accidentally broke) was a perfect phone its entire support life. I even kept it past Apple support limits and only left it when my cell carrier stopped working with it entirely.

I think with newer ones, the OS updates are fine.
because publicly owned companies don't hound profits like this, and if they do, they're very easily brought into line
I guess everyone has their own reason, look-and-feel being a valid reason.

For me, it’s the wonky Active Directory integration/support that is the dealbreaker.
At the moment I have an event-driven system where you can set up callbacks and timers. It's not green threads but it makes it easy to have multiple different update events running at different rates, for example: https://github.com/maximecb/uvm/blob/main/ncc/examples/attac...
The thing is, efficient use of population and better housing supply relies on one thing: building vertically, and the "condo" building is a core entity for doing so.

Hammering out good and fair law to underpin this is important for many environmental and sustainable reasons.

The bylaws may technically allow this, but should it legally stand given basic rights?

The key thing here is to draaaaaggggg this out. Their desired state: stay in the condo. If they can drag it out a decade or so, it'll cost the investment people money as well. Time is on their side, if they can get it.
You have to follow a few links to get to a definition of what masonry heaters actually are, but it ends up at https://www.mha-net.org/docs/def-mha.htm

Specifically the important parts:
“a mass of at least 800 kg. (1760 lbs.)”, “an overall average wall thickness not exceeding 250 mm (10 in.)”, “external surface of the masonry heater … does not exceed 110 C. (230 F.)”, “at least one 180 degree change in flow direction” of the released gas.

Essentially, it’s a rocket stove and a large thermal mass of masonry, and the masonry has a few design restrictions to meet certain performance characteristics (i.e. it should absorb most of the heat released by the stove and it shouldn’t release that heat too quickly from any particular point on the mass). Mostly I’m surprised it’s that easy; I would have thought anything that can radiate heat slowly and consistently would by necessity also absorb heat slowly and consistently, making it difficult to capture most of the heat from a fast-burning stove.
For a quick starting point, try gcore[1]. Open the file it pops out into your favourite editor and hope that search works.

For gentler introduction, look for CTF sites. The one that gets recommended most is tryhackme.com. There are a bunch of great ones though.

1 - https://man7.org/linux/man-pages/man1/gcore.1.html
I wish I had this when I learned the language. :) I'll take a look, as your playlist is quite comprehensive it appears. Thanks for sharing!

Re: Rust - I've been trying out basic examples, simple web servers, etc; nothing too fancy. But it just seems too ceremonious to get even the most basic things done. I own the book "Rust in Action", I just didn't have the proper time to go over it.
Looking through the links, I noticed most of the course was video, so I immediately turned it off. Compared to text, videos are an inefficient learning tool, and I think a lot of people aren't aware of that. Actually, I hate video learning materials. Though it's better than going to a classroom.
> It's all fine and dandy while you like your government.

I don't like our government. I don't think owning guns would improve the situation, though.

What good do you think you owning a gun will do you?
Not trying to dismiss the importance of knowing discrete math etc. in general, but I would posit that vast majority of entry level swe positions require no knowledge of it.

However, knowing the tools of the trade is something that is invaluable. And yes, it can be picked up on the job, but deliberate learning and practice is more effective and less stressful.
There's a lot of "tool" selections in that repo.

If anyone is looking for ready to go web app examples aimed at both development and production with Docker Compose, I maintain:

- https://github.com/nickjj/docker-flask-example
- https://github.com/nickjj/docker-rails-example
- https://github.com/nickjj/docker-django-example
- https://github.com/nickjj/docker-node-example
- https://github.com/nickjj/docker-phoenix-example

About once a week or so I update them to their latest versions for everything.

The examples use a combination of services for each tech stack such as web + worker + postgres + redis + esbuild + tailwind. The Rails example is set up for Hotwire and runs Action Cable as a dedicated service along with Sidekiq where as the Flask and Django examples use Celery as a worker. You can easily swap things out since the examples are starter projects that you can clone + rename (they all come with a rename script), you're meant to customize them to build your app on top of.
Product Management 101 [Part 4]: Launching a Product or Feature
I have see a lot of people write about how important the interaction between vector DBs and chat-GPT3 (and GPT3) is.
I am still not much wiser after this article. Is it that it makes it easier to go from:

user query -> GPT3 response -> Lookup in VectorDB -> send response based on closest embedding in VectorDB

?
If they are, they could take a page from chinas belt and road effort. The ussr was dissolved by a coward who didn't want to put in the effort to maintain glasnost and wasn't competent enough to engage satellite states for reforms and concerns. Not that you could blame him, as Brezhnev was keen on nuking the most unruly satellites as a solution and Yeltsin was a nationalist looking to russify the whole continent or isolate the nation entirely. At the end of the day Russian elites were too disconnected and disillusioned to care about the Union.

Putin's nostalgia for it, while admirable, is bumbling desperation at best.
The focus of those points feels completely irrelevant to the reality of my using a general PC to drive my TV. They seem to simultaneously assume the use of a generic point and click operating environment, while rejecting the additional functionality that would necessitate doing so.

My Kodi box boots straight into Kodi. I have a mini wireless keyboard on it (Rii X8?), but the alphanumeric functionality isn't particularly used and it could just as easily be a video game controller or even an IR remote.

There is no "situation which requires more work to sort out via the CLI", beyond when I deliberately choose to make changes to the system. If I ever did want to pop out of Kodi and run a general desktop + browser - say for sports streams - then the additional input hassle would be due to doing something I couldn't do with an appliance anyway. You can't really characterize this as a drawback.

And sure if some driver functionality doesn't exist, then obviously you can't use it - you set your expectations to what is available and how much you want to tinker. And the real answer to "angry rants" is to use an operating system with reliable change control, so that if you start tinkering with something, it cannot end up in a broken state when you want to use it to relax.
Disclosure: I work for an Auth0 competitor called Stytch.

Your story isn't rare, we hear it a lot lately. Auth0 can be very heavy handed once you've integrated.

We've helped a lot of folks migrate long standing Auth0 integrations onto Stytch. Up front there can definitely be some architectural work required to make sure all of the ducks are in a row, but after that the actual code changes are typically pretty straightforward.

Developer first is our mantra and part of that is making sure our pricing doesn't get in your way while you're scaling. $0.05 per active user per month, discounts for volume, period.

Let me know if you want to chat through some options! chris at stytch.com
Exactly
I shouldn’t update the post in point that out
Thank you
Was just excited to have figured that out. It was in a rush.
I worked in that space for over a decade. While it's true, the use of E.164 in production was never done (usually, it's some subdomain from the Oligarchic Cell Phone companies). Second, it's never free. Nothing on the telephony network is free. Third, you get back data that includes a regex on how to transform the other data into something you can use---very convoluted.
Why do I have such a different impression? I go to a supermarket and see 30 different kinds of toothpaste, 50 kinds of chips, and a dozen different kinds of alcoholic seltzer waters in the liquor aisle. The paradox of choice is tiring!
It's important to realize why the computer industry works a certain way and how that compares to different approaches. For instance, there's very real issues with stack machines when you try to generalize them to parallel programs - including extracting fine-grained parallelism from sequential code. The most elegant approach is probably dataflow, but that's still a far cry from the simplicity of the FORTH-inspired, concatenative approach. The register-based CPU's we use are a pragmatic, middle-of-the-road approach.
Tech’s hottest new job: AI whisperer
Barrier of entry.
In the US your phone has to be on the whitelist to even get service these days. They're using VoLTE as an excuse to lock the networks down again.
1993 is a bit before my tech awakening. But I can tell you that even in 1996, 56kbps was considered fast and 33.6kbps was more common.

I dunno how slow things were in '93, but slower for sure.

A 2MB image, and remember that JPEG and PNG weren't common yet either, would take you 10 minutes to download on 33.6 kbps.

That's 2000000 bytes, 10bits per byte (start bit + 8 bits of data + stop bit), 33kbits/sec

-----

That's 10 minutes of waiting for the download, doing nothing else.
> The result was a frozen conflict, with pro-Moscow forces ruling Transnistria, a narrow strip of land in the east of Moldova that is home to many Russian speakers, for more than three decades.

These folks aren't just Russian speaking, they are ethnic Russians that have been living there for hundreds of years.

As Moldova vacillated between Russia and Romania, these people are caught in the middle.
There is this [0]. Gonna fire up Android Studio tomorrow and try to get the release build going.

0: https://github.com/SebaUbuntu/android_packages_apps_Aperture
I have extended family from there. They escaped the worst of communism decades ago and I remember only a few years ago they mentioned how they finally think that Moldova has a chance to progress. Tragic all around.
That's a really interesting link, but I don't think it's really the same process, or answer my objection. I don't think "melting point" is the right concept for the phenomenom of combining water and sucrose crystals.

When sugar dissolves in water, it creates a solution, a chemical mixture characterized in this case by ionic bonds between water molecules and sucrose molecules. In general, the melting and boiling points of a solution will not be the same as the melting and boiling points of any of the individual substances that comprise the solution.

When I think about combining substances, I think about suspensions, solutions, colloids. (When I think about combining substances, I'm usually thinking about cooking). A suspension is small particles mixed into a liquid, but it isn't stable; after time or with a centrifuge, you can separate them back out. A solution is a chemical bond between individual particles of each substance, such that it is stable. A colloid is small particles mixed into a liquid or gas, but the small particles are so small that it is stable and cannot easily be separated out. Here's the link I used to refresh my memory enough to explain these concepts: https://lab-training.com/understanding-differences-solutions...

I'm sure you're aware of all that, but I wanted to write it out so I could be more explicit about my confusion. Adding water to solid rock will not result in a solution, colloid, or suspension. Adding finely ground rock and water can do so; that's kind of what mud or clay is. So I was confused how adding water to rock could result in any kind of mixture that changes the melting point of the rock.

Jofer's explanation makes sense to me: it's not actually adding H2O molecules to solid rock. Instead, it's that certain minerals under sufficient heat and pressure change mineral/crystal structure in a way that results in the precipitation/expulsion of various molecules and ions, including hydrogen and oxygen. Those precipitates diffuse through the solid until they react and combine with other minerals, causing transformations of those into new mineral/crystal structures with a lower melting point.

The link you provided talked about how solutions of sucrose and water in differing concentrations have different melting points, but I was confused about how rock and water could dissolve at all.
i remember my initial ipad2. Yeah new ipads came out, updated, and the old one became too slow to use after the updates. I hated apple products for a long time after that. that was 2013
The interactive js visualizations are super cool, I didn’t know SymPy could do that

Lately I’ve been using SymPy and Pluto.jl together, it’s been great for deriving results and making interactive visualizations for numerical code at the same time
I've solved some Math assignments using SymPy on my sophomore year in uni. One time instead of writing them down to paper (the assignment was like “you have 24 hours to take these 20 integrals”), I've just shown the script I coded to my teacher and got an A.

(And I have dropped out the very same year then :-)
But Transnistria has between 360k - 475k ppl (from Wikipedia). Plus everybody want Romanian passport (which is not that hard to get if you are Moldovan) - due to UE free movement ...
> Putin's nostalgia for it, while admirable

ಠ_ಠ
Gorbachev definitely did not envision it, but he certainly wasn't going to start killing tens and hundreds of thousands of people over it.

There's a reason his legacy is that of a persona-non-grata in today's Russia.
I personally really enjoyed the site layout choices. I viewed it on a phone and it was like you are given a little chunk of info to think about as you scroll to the next.
Thanks for clarifying. Tone is sometimes ambiguous via text.

At the moment I'm in no rush to actually write the JIT compiler because I think it's faster to iterate with an interpreter. I want to flesh out the VM and its APIs, test the hell out of everything and develop the system a bit more first.

The interpreter runs at something ~400 million instructions per second on my laptop, which is probably close to the performance of an old school Pentium 2 chip, so it's actually fast enough to run a lot of non-trivial software. With even a really basic JIT I should be able to hit 10x that throughput. I've benchmarked code out of GCC and it runs about 27 times faster (on a microbenchmark).
No, that is not how language works and you are a poor communicator. This is the definition of the word "every":

eve·ry | ˈev(ə)rē |
determiner
(preceding a singular noun) used to refer to all the individual members of a set without exception: the hotel assures every guest of personal attention | [with possessive determiner] : the children hung on his every word.

>Otherwise, every sentence with the word “everybody” in it would be false.

No. "Everybody over there" is not false if it refers to everybody over there for example. If you use everybody to refer to some people, then that is your poor word choice.
i wonder how much all the redundant and slightly different resources on the internet today close that gap... this paper is from 1984.

also would be curious how good today's llms are at getting someone to grok a topic they're having trouble grasping... (this can be actually a hard problem as it can require understanding the misunderstanding in order to guide away from it effectively.)
I think the visualization isn't made by SymPy, just the formulas for JS.
That’s assuming a generic network
Fossda Project to Record Open Source History
I'm not disagreeing with never feeling satiated or anything else you're feeling, but what are your thoughts on prevalent obesity being something that's relatively new to humans (~50) and much higher in the US than most other countries?

To me it seems to be a majorityu of cultural & calorie intake thing rather than a medical issue. Not to say it's easy (it's not) and not to say there aren't people with medical issues.
Single-pulse real-time billion-frames-per-second imaging of flame temperature
To anyone facing diabetes type II, consider non pharmaceutical approaches: diet and exercise.

1) Diet: Low carbohydrate diets are one technique:
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9437985/

"In this randomized, crossover intervention trial among adults with prediabetes or T2DM, the 12-week percentage change in HbA1c, the primary study outcome, improved significantly for participants on both diets"

2) Exercise: High intensity training and strength training improve blood measurements.
https://pubmed.ncbi.nlm.nih.gov/30270019/

"From a practical clinical perspective, the performance of [strength training] + [high intensity interval training] may be advised for additional benefits regarding insulin dosage reduction."

In short, cut out the bread, deserts, pizza , lift some weights and do some sprints. Keep doing it.

Pubmed is great resource. Search for terms like "clinical trial" "diabetes", "HIIT", "mediterranean diet", VFKD. [edit: I do want to emphasize the term "clinical trail". Diet and nutrition research has a lot of other types of research. Often the quality suffers. Clinical trials, and hopefully other clinical trials that verify earlier findings, are the best.]

Getting on top of the situation early will save you a lot of grief ( and doctor's visits and paying for drugs).
I think people are spending because they feel safe in their jobs in the tight labour market. Most don’t follow the markets and have no idea what the Fed is supposed to do. They just see what’s in front of them.
Education is important in the modern world, especially now that the Industrial Revolution has led to an unprecedented growth in knowledge work.
This has become, pardon the expression, a slow-moving train wreck in terms of PR and more importantly, on-the-ground-response from government agencies.

The secretary of transportation took pains to downplay its impact, going so far as to take weeks to address the issue officially and more weeks to go and personally take a look at the situation. Industry has been as ham-fisted as well -but that's almost understandable given the conflict of interest. But still, they should have give it the seriousness it deserves.

Unintentionally, Pete underlined the lackadaisical attitude when he said, paraphrasing here, hey, no biggie, derailments happen over 2.5 x day. So either the gov is woefully derelict in its duties or... he was trying to minimize the scope of an actual serious incident.

I hope what comes out of this is an investigatory commission who will make recommendations to minimize the toxic effect of accidents that will be followed up with actual new regulation.
full title:

>Single-pulse real-time billion-frames-per-second planar imaging of ultrafast nanoparticle-laser dynamics and temperature in flames [open access]