skysight-inc/HackerNews huggingface dataset:
Show HN: Trane, an automated system for learning complex skills
Hi HN,

I released Trane over the weekend: https://github.com/trane-project/trane. Trane is an automated
system for learning complex skills. Think of it like defining a skills tree (technically a graph) of
all the smaller skills you need to master a complex skill and having an automated system to
automatically traverse the graph as you master them.

The seed for Trane was planted after my frustration trying to learn music, and jazz in particular.
There are simply too many things you need to master first (e.g. knowing the names of a note, knowing
where the notes are in your instrument, timing, etc) and it becomes difficult to track what it is
that you should focus on, and there is a process of constant atrophy, even if you practice
consistently.

Trane is an early state, but is already usable. I have released a command line interface at
https://github.com/trane-project/trane-cli and some music courses at
https://github.com/trane-project/trane-music.

I would like to get some ideas in regard to what other skills could be a good fit for Trane. I am
thinking chess, programming, or languages could be a fit. I am wondering if Trane could be applied
to something like learning pure mathematics. I would love to hear any suggestions. Perhaps there's
some of you who have found a similar issue while practicing your own hobbies.
If I got this right, you’re suggesting that bigger companies can cannibalize all of the sales for smaller cos and there’s no reason for a micro SaaS to exist?

If that’s the case what type of company is worth considering for someone like with a poor background like myself to escape the rat race?
Link11 | C/C++ Developer | Remote (Germany) | Full-time | 40K-70K EUR | https://www.link11.com

Want to find out why we protect against floods better than Noah's Ark?

Join our team and help us fight DDoS floods, malicious bots, and sophisticated web application attacks. We are looking for C/C++ Developers to extend our development team. You’ll work with us to design, develop, and scale globally distributed software systems that analyze Internet traffic to separate good from evil and make the internet a safer place!

We are the leading European IT security provider in the field of cyber resilience. We offer a broad portfolio of proven services that protect web applications and server infrastructures from malicious attacks. Our protection solutions are fast, intelligent and demonstrably secure.

If you want to know more, take a look at https://www.link11.com/en/career/c-c-software-developer-remo...
I feel like People experience or learn about a place once and that paints their view of it for years to come.

Someone else in this thread mentioned the Simpsons and I can't help think about the episode where Homer was vehemently against going to New York, because he had been there in the 70s when it was at its worst.
A13 and Zen 2/3 were all on TSMC N7, but A13 still crushes in performance per watt by a HUGE margin.
Everybody should read Sarno's book. It's a short read and even if it doesn't help your back pain it will probably alleviate something else. My partner and I both had pain that disappeared from reading Sarno. Back and wrist pain are gone.
> Based on your description it appears you attempted to deploy "ipv4 with longer addresses"

Because I honestly think this is what we (99.9999% of people) really need. IPv6 is second system syndrome. Things can fail in a thousand different ways and it's a pita to debug. Look no further than the "easy it sucks" top comment. I've had so many random bullshit problems in both, Enterprise environments and with home setups. Buggy SLAAC, buggy DHCPv6, buggy PD, just hot garbage everywhere. Prefix changing at home during the day? -> some devices work, some devices not picking up the new prefix for a couple minutes, some do but still try to use the old address. I don't care where the bug is, which device is at fault - IPv6 has been around for ages now and we still have to deal with this kind of crap. Wouldn't have happened with "IPv4 but longer addresses" and good old NAT. Google is boycotting DHCPv6, for which reason my current workplace simply disabled IPv6 for wifi, because they insist telling the device what address it gets. It seems IPv6 was created for engineers to jack off to, being actually used was just an afterthought.
> My understanding is that they had to change some things about the plane due to efficiency regulations, which should have resulted in a new plane which would require flight lessons. They kept the things that they had to to escape FAA definitions of "different plane" and MCAS made the resulting monstrosity airworthy.

Again, not really. They wanted to put more efficient engines on the 737 to compete with the A320Neo, but keep the 737’s basic height in order to be compatible with the huge number of gates at old regional airports that are essentially built for the exceptionally low shape of the 737. Compatibility with those airports is essentially a competitive advantage for Boeing, as it’s what’s been keeping Airbus from eating their lunch with more efficient planes.

But the new engines were essentially too big for the low slung 737, so they moved them super far out from under the wing, making the plane basically unstable. Yeah, if they’d solved this by redesigning the plane to have more room under the wings it would have moved them out from under the 737’s grandfathered approval and thus required a lot more certification certainty and new training – but it would also have messed up the fundamental sales pitch of “buy this instead of the A320 Neo so that you don’t have to renovate your gates at every regional airport you fly to”.

the big engines moved so far forward creates the inverted stick forces that aren’t a training issue – no amount of training would have permitted them. It’s a Fundamental Airworthiness Requirement that they not occur, and the MCAS exists explicitly to make them not occur.

eg)

> Engineers observed a tendency for the plane’s nose to pitch upward during a specific extreme maneuver. After other efforts to fix the problem failed, the solution they arrived at was a piece of software — the Maneuvering Characteristics Augmentation System (MCAS) — that would move a powerful control surface at the tail to push the airplane’s nose down.

Again, that “tendency for the plane’s nose to pitch upward” isn’t a training issue – it’s flat out illegal for commercial planes to have that characteristic:

https://www.law.cornell.edu/cfr/text/14/25.175

So the MCAS is just an airworthiness issue caused by the legacy market Boeing was trying to continue to be compatible with. They were careful not to call attention to the MCAS to avoid the FAA adding training requirements that would have upset Southwest, is the main thing where that factors in.
No. Those are most integration tests (neovim has some unit tests)

You're conflating unit tests with general testing

Uncle Bob makes it very clear that he only considers "unit tests" to be valid

So, no, these dogmatically "don't count"

(they do count when Uncle Bob supporters want to play half-truths and push for TDD instead of more realistic tests)
> Like yourself, I do also listen to full albums. You can do that on Spotify very easily

Can you load into Spotify a very specific recoding that's rarely available? I have a few CDs hard to source from rare live recordings.

If you just want to listen to background music, or a given song from a given bad, sure. If you want to listen to a specific recording that happened at a given date for which you have the CD, I don't think Spotify can do that.

> I think smart phones are the best thing to happen to portable music.

If they had hardware buttons, yes, but that's rarely found. Also, the DAC is rarely any good (less of a problem now that LDAC and AptXhd are becoming popular).

Are these hardware buttons and a good DAC worth $400 to $4000? Maybe not to you, but they are worth that for me.
I do, Orient Kamasu
> Note: not execution model. That needs a bit more.

Actually... not really? You need the foreign function interface to have anything useful to execute, but (unless you're talking about something else?) the execution model is basically just a State monad carrying a unique magic token, built on top of the same evaluation model as everything else.
And don't be surprised when the best laid plans go awry and/or your child has zero interest in what you think is THE world's coolest thing.
Spain, Portugal dryness 'unprecedented' in 1,200 years
The state of startup compensation, H1 2022
>certainly is playing a big role in the divide.

The only divide is in whether it’s something that is even a problem that needs to be addressed. Income inequality doesn’t divide people itself, just the focus on it does.
Ya that's basically what I meant. The concepts are arguably unavoidable if you've done enough.
You are about to have the most advanced computer in the Universe in your care. If all goes well, this computer will stand by you when everyone else has abandoned you. Beyond that this computer may save the human race, so take great care with it's learning while keeping mind that it is not you and you can't force anything on it.
For a related eye-opening result, with both practical application and interesting research backing it, see this talk on "Quicksorts of the 21st century" at Newton Institute on Verified Software last year: https://www.newton.ac.uk/seminar/30504/

TLDR; practical complexity computation needs to take into account things like memory access latency on different architectures.
Location independence depends mainly on the employer-employer or client-contractor relationship, not the job or company. For the right person most jobs have no location requirement.

Some companies have hard rules about working in the office. You can determine that policy by calling and asking HR. Most companies don’t have such policies and decide case-by-case.

Of the various ways to find a job, searching job boards and send in applications ranks low for efficiency and effectiveness. Getting leads from professional and personal contacts, and through referrals, should be the first approach. If you do that you will already know the remote work rules.
You’ve named four developers who work primarily (exclusively?) in video games.

Why is that, do you think?
This is not without merit and to some degree I suffer from TMS but I also have EDS (hypermobility syndrome) which is a very real physical condition, and the two work in tandem to make life somewhat uncomfortable, to say the least.

So while I agree the mind does play a part in chronic pain, it is not necessarily the only part.
Would you please stop posting unsubstantive and/or flamewar comments to HN? You've been doing it repeatedly lately. It's not what this site is for, and it destroys what it is for.

In particular, please edit out flamewar swipes like your first sentence here.

If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and taking the intended spirit of the site more to heart, we'd be grateful. Note this one: "Comments should get more thoughtful and substantive, not less, as a topic gets more divisive."
For me, it is a gentle stop to the internal monologue by transferring attention to my own breathing. What is the end goal? Less thoughts, more stable the emotions.
Yeah. I agree. I often tend confuse the terms "mirage" and "oasis" in my own mind. After all, they are both things one might perceive in a hot desert, although the first is not real; whereas, the second is real.
> You can be a zeroth responder.

You can be. But you can also cause more harm than good as the zeroth responder (removing an impaled object, moving someone with a back injury).

Fortunately, there are affordable high-quality first responder courses. In the extreme, becoming a certified EMT takes only 100-200 hours of instruction, and there are many training options that are much shorter and cam be completed over a weekend.
Damn, i should start canceling my tv contract…
I suggest you to add social logins, to lower the bar of trying out.
I don’t think it is illegal but it was hurtful to the EU overall:

https://archive.nytimes.com/krugman.blogs.nytimes.com/2010/0...

Of course, you could make the argument that it violated the spirit of the treaties.
> Can you code? If so please email me and I may be ble to give you some work paid per deliverable. You can work on your own schedule without pressure.

I'm not the OP, but I'm in a somewhat similar situation, and yes I can code, but my useful hours are very limited by chronic fatigue.

Do you think that what you're describing is generalizable ? I mean do you think that there are enough people who could use the kind of work you are describing so that it could benefit the, probably very many of us, who are in the OP's situation, rather than just be a one off for one person ?
This is a great idea, but unfortunately many runbooks can only be meaningfully evaluated in a situation in which they are useful. That is - you need to instigate an outage (ideally, in a controlled reversible way[0]) before you can "test" a runbook.

[0] https://sre.google/
That doesn't make much sense to me. If there is market turmoil, are you saying the best strategy for a company is to not communicate anything no matter the company and industry?
Hacker claims to have obtained data on 1B Chinese citizens
Thesis:

>The application event loop coalesces these damage rectangles and initiates an optimized operation: it only redraws views whose bounds intersect the damaged region, and also passes the rectangle(s) to the drawRect:: method. (That's why it's called drawRect::).

So, according to this, you need an explicit run-time mechanism to optimize the interaction of parents with children, with some form of coalescing.

Antithesis:

>This is another reason why it's advantageous to have a stable hierarchy of stateful objects representing your UI. If you need more context, you just ask around. Ask your parent, ask your siblings, ask your children, they are all present. Again, no special magic needed.

...except here, where OP says you don't need any special magic to deal with parent/child relationships: just reach up/down/left/right and do your thing!

Synthesis:

The reason one-way data flow became so popular is exactly because the second view is a trap, or at least, a local maximum. If you are really doing complicated orchestration in your hierarchy, then you will end up reinventing the first wheel, to avoid expensive/inefficient parent/child/parent thrashing cascades.

React does in fact have a good solution for this, in the form of contexts. These also allow you to reach up and go talk to parents, in a controlled yet composable way. The way I describe them is "singletons but with scope". An underappreciated benefit is that you can extend a parent context and pass it down, replicating some of the benefits of inheritance, without the messyness of subclasses.

Where React falls short is that parents can't respond to children without re-rendering themselves, which ironically makes implementing e.g. nested tree widgets hard, even though the result is all tree-shaped.

Functional effect systems which can re-join after forking, and gather yielded values, do not have this issue, and I wish React would explore this avenue instead of the all the React 18 stuff they've been doing lately... it feels too much like they are leaning into the same Facebook "dumb read-only UI" style that the article correctly laments. They are straying away from React's original appeal, which was that it was "just the V in MVC", and instead becoming very opinionated on how server side and client side should be combined. Meanwhile the challenges of how to replicate complex legacy desktop UIs remain mostly unaddressed, with the official advice about event handlers, state and effects falling short by a mile.
Every non-trivial (>10k lines) Cocoa/iOS/Android application I've ever seen or worked on has re-implemented at least some parts of React's data flow model. It's surprising to me that the author glosses over handling lists, which is a huge challenge with this approach, and one that forces you to do some React-like stuff (UITableView cell recycling identifiers!) even if you don't want to.

However, there are definitely some problem domains that don't map very well to the React model. Real time games, for example, have very different requirements.
In terms of online activism, I've done my fair share before. I've avoided and boycotted products that infringe on privacy sometimes at my own detriment. The most recent example that comes to mind is switching to Android because of Apple's file scanning controversy.

But giving up GitHub would be considerably more detrimental. I'm not a notable developer and not many people rely on my code but somebody would notice if my stuff went missing. My identity as a developer would disappear and then I might lose out on collaboration and job opportunties.

Sadly, as much as I love FOSS and dislike code laundering, it's a step I can't take.
Lots of valuable long comments here but I'll make it short.

Time only flows one way.
For me word of mouth I suppose. If I don't hear about it from somebody else, it probably wasn't worth knowing.

I think all this "news" people read/watch is mostly useless filler. I don't miss any of it.
> published at the end of 2021

I'm so confused. That "new" algorithm is just BubbleSort?
> These things get resolved by some combination of: 1. civil war 2. political power (domination) 3. secession [snip]

Umm, there would appear to be a fair bit of collateral damage in those first three. Are you sure you're going to end up on the winning side?

Compromise is healthy. Maybe you should reconsider.
Awesome project! I'll use it for my next C++ project.
Is it 22 MB because it's 2022 ? In 2011, TinyCore iso was 11 MB.
Well, if you don't run uBlock Origin (or bare minimum another less efficient tracker blocker), no amount of RAM can really save you once you cross the threshold of 60+ tabs open.
Just as a counterpoint to this, here's a murder in small town Missouri, not too far from Mendon: https://www.google.com/amp/s/fox2now.com/news/true-crime/mis...

Nobody said anything about it in 40 years. There's a lot more nuance to small town people pulling together than the train wreck shows.

I grew up outside of Kirksville MO. I've even taken the Southwest Chief from La Plata one or two stops NE of Mendon, to Newton KS. Idealizing small town or rural life is a mistake. The issue is more complicated than "rural Americans pull together, urban Americans do not".
Another idea is serialization. You release your work little chunks at a time, and if it's not sufficiently supported financially, you stop. A lot of Patreon is effectively funded like this. Obviously the medium has to be amenable to this (e.g. novels, graphic novels, visual novels, some video games).
Offset by quality of life represented by the spending of the tax dollars.
The tenderloin is a neighborhood in San Francisco, one of the most interesting in terms of the street citizenry.
https://archive.ph/Q84SH
Effective Data Science Infrastructure
This looks really interesting!

Doesn't support Windows which is a bit of a shame, but maybe manageable. Will have to check it out properly at work tomorrow.
1. Find the number of a lactation consultant before baby's birth. 50% of mothers in north america experience breastfeeding pain that they shouldn't. A lactation consultant can make a big difference

2. Sleeping with your child in the same bed is not the horror movie doctors depict. Of course, create a safe bed environment and make sure you are either light sleepers or create a situation where you can prevent rolling over your kid. Babys sleep really well on mom's chest (breasts always available).

3. Precook a lot of food if you can

4. Read a couple of books on parenting (how to talk to kids and others), there was one that described all illnesses, very helpful to prevent unneeded doctor's visit

5. Enjoy it :)
If Reddit goes the way of Tumblr or Digg, does he recommend any other sites to look at? Maybe lobste.rs or 4chan?
I liked this story.

I would watch an animation/short film adaptation of this. It has different voices (done well in the audio version), quite a lot of it is visual, and even the code... it lends itself to adaptation.
No amount of formal verification stops you from writing buggy code.
If Pokemon battles were carried out in SQL (Comic)
Needs a (2018)
and there are actually multiple ways to prove that the result is a permutation of the entry, either by computing a model multiset (a.k.a. bag) of the value on entry and exit and showing they are equal, or by exhibiting the permutation to apply to the entry value to get the exit value (typically by building this permutation as the algorithm swaps value, in ghost code), etc.

but none of this makes a good read for people not already familiar with program proof tools.
Especial when I'm asked to tip before the service is even delivered! That's just a surcharge and one of the main reasons I don't use Uber Eats
Most of the translation is done ahead of time, not something you pay for while running.
I am exactly in the same boat, except I live in the UK with my British spouse (I'm American). I've been slowly rebuilding myself after heart surgery, trying to build up my physical stamina, getting therapy for depression, and learning the new JS hotness to be able to get better work to support my wife and I. Except the Home Office here fucked up my visa and it looks like I might get sent back to the US, where I have no home, no access to the medical care I need, and my wife (who is also disabled with chronic pain) needs me.

I got no advice, man, but you're not alone here. Being a 44 year old web dev with chronic pain issues sucks. I'm pulling for you.
Try to guess which version I played first?
In all seriousness, considering all software limitations, it is incredible work for the time. Now we are spoilt with documentation on console inner workings, near perfect emulators and debuggers.
The problem is inherent in paying for part of a delivery person.

Pizza delivery works because there is only one place you need to go to pick up the food that needs to be delivered, and there is a very high volume of food to be delivered. There's no additional traveling cost to flit between restaurants, most of which don't churn out food at high production rates like a pizzeria.

App delivery drivers spend a lot of their time not traveling directly to customers, or waiting around for food to be ready for them to deliver.

---

> Even if you believe that some of that demand is illusory, brought about by subsidized prices, that still seems like there's a pretty straightforward business there if you can charge a sort of "ordinary business profit."

This remains to be seen. MoviePass was never able to successfully both retain customers and raise prices, streaming services are starting to see the same issues. The premium over pickup is often $10-20 already, if it increases anymore that probably starts having a negative exponential effect on market size. (How many people are willing to pay $30? $50? over pickup?)