skysight-inc/HackerNews huggingface dataset:
It's arguable that Japan helped South Korea industrialize by offloading industries it could no longer afford due to rising wages.

This article is about analyzing the comparison raised between South Korea and Ukraine, but it is largely about analyzing how South Korea industrialized from Japan's assistance.

https://eventsinukraine.substack.com/p/the-ukraine-south-kor...
Time and money - the two things we literally can't solve even with AI.
Im not the GP but it hides all clarity wrt how important the colleague thinks the “directions” that the praise came along with are. If I accept the praise but dismiss the directions, am I being an asshole? Or am I being subordinate? Am I ignoring a direct order? The boss was in the room and they didn’t object to the directions! What does it all mean?

All this is a level of 4D interpersonal chess that you’re forcing me to play that could simply be avoided if you said that you think its worth changing it like so and so because such and such.
There are multiple of these lease suppliers and then there is Van Moof themselves, I take it your deal is with Van Moof directly. That should - assuming the new owners have actually bought the lease contracts as well - give you a priority position for spare parts. Here is the FAQ of another such provider (there is also Athlon, possibly others):

https://www.leasefiets.nl/qavanmoof/
Because FLSA exemptions were intended for higher-wage white collar employees who were compensated well enough that they didn't need overtime pay. The median is a very logical frame of reference for this.
I am using https://bookwyrm.social (my username is 'davis' on it)

to be honest, I have not tried hard to use any of the social features. But hopefully soon I will try them and have more to say. But for now, all I need is the list of books I want to read, a way to track my progress, and also some light organization. This works great, and it's guilt-free compared to Goodreads!
My sister (who is a middle school teacher) and I developed a real training program for teachers, and this "guide" from OpenAI is quite underwhelming. It doesn't address 90% of the problems teachers actually face with AI...this is mostly a brochure on how to use ChatGPT to get info.

If you are a teacher or know a teacher who is struggling to adapt this school year, I'd be honored to speak with them and see if we can help.
For me, I don't love Goodreads and I don't use it, but I was very excited for it during the initial few years. I don't think Amazon knows what they are doing with it beyond controlling real estate and data.

Why did I get excited about Goodreads?

I want to know what people are reading and what they love and why.

I love hearing that from my friends, and I want that on a wider level from humans. I love knowing what someone else loved to read and why, it helps me explore books and ideas and this weird world.

(its why I started shepherd.com)
You're forgetting just how inhospitable space is to consumer grade electronics. If you watch non-live videos from the space station or check out some of their pictures you'll see loads of dead or stuck pixels on the cameras. That's from radiation damaging the components and those are essentially still completely protected by Earth's magnetic field. As you venture beyond LEO the situation gets much worse and an unlucky hit could kill your $10 storage ending your $74 million dollar Moon mission.
Seeking Feedback: Embarking on a Newsletter Journey
I'm excited to share that I've recently launched my newsletter focusing on economic insights and trends. But here's the thing – I believe in the power of feedback and improvement.

I'm reaching out to this community to request your valuable insights. If you have a moment, I'd greatly appreciate your thoughts on what's working well and what could be enhanced.

I believe in co-creating something meaningful. If you resonate with the idea of diving into economic indicators and exploring the stories behind them, I'd love to have your perspective.

Let's make this newsletter a collaborative space of learning and growth. Feel free to share your feedback, suggestions, or topics you'd like to see covered.

Thank you for being part of this journey. Your input means a lot, and together, we can make this newsletter even better!

Warm regards,
Dixit
I was going to say I paid around half of what they list for, but it looks like they are closing out last years color right now. Inflation adjusted I paid about what they are asking today ($1,300).

Pretty pricey, but I also got a bike fit and some other stuff and wanted a frame to just be done with it and ride. It’s served me well, and has many years of life left!

Random side note: I just realized this is the second time in two days I’ve responded to you (other was regarding a 7 seat vehicle). HN can be quite a small place!
This idea of giving "meaning" to a set of axioms is precisely captured by the notion of "interpretation" in logic [1]. The rough idea is to map the symbols of the formal language to some pre-existing objects. As you say, this gives one way of formalizing truth: a sentence (string of symbols that respect the syntax of your language) is true if it holds for the objects the sentence is referring to (via a chosen interpretation). This notion of truth is sometimes referred to as semantic truth.

An alternative approach is purely syntactic and sees a logical system as collection of valid transformation rules that can be applied to the axioms. In this view, a sentence is true if it can be obtained from the axioms by applying a sequence of valid transformation rules. This purely syntactic notion of truth is known as “provability”.

Then the key question is to ask whether the two notions coincide: one way to state Godel's first incompleteness theorem is that it shows the two notions do not coincide.

[1] https://en.wikipedia.org/wiki/Interpretation_(logic)
How successful has the [COMPETITOR] vs Kubera pages in footer technique been for y'all?
Most of the time RFC is the way to go as ISO specs are not available for free and many open source implementation are actually not fully open source compliant because based on drafts. It's also a really big effort for open source devs.

Also, if you are working on anything dealing with date in the future, you nearly always want to store wall clock time + location. Sadly, there is no standard for that.

In Europe and USA the timezones are quite stable, so we might not be confronted to this, but in many places timzones change quite often, and storing an offset is not stable. Having "june 5 2026, 13h30 wall clock, paris" is what most people will mean, and it might be UTC+2 or UTC+1 depending if EU finally decide on what to do with DST.

And finally, if you write an API with times in the past, just use POSIX timestamps in seconds, ms, us or ns.
No, they've consistently paid penalties for not doing so, especially during the decade or so their network stack tended to implode, taking the shared filesystem with it. They also benefited, during those decades, from an NSA program explicitly designed to fund US HPC OEMs in order to maintain American industry leadership in the space. I think it was a good policy, but it doesn't mean that Cray was hitting home runs right up to the HPE acquisition.
I haven’t worked in the semi industry, but I’ve worked with EE’s and Perl programmers, and they do love that undocumented lore. And the universe does reward you with a grey beard after enough Perl.
Who knows. Every company is different, has different customer bases, different histories, different technologies. Maybe they signed a deal with paypal where they get lower fees, maybe they integrated it in a time when it made more sense then now (e.g. before apple pay and google pay were so prevalent), maybe they outsource their payment to a processor that just supports it.

I don't know the details of any of these places, I was just giving a reason why a company may not implement a particular payment processor. It's based on a balance of factors, not just a simple "support X get more paying customers."
West Point time capsule that appeared to be empty yields centuries-old coins
thank you for sharing that (truly that is interesting data), but how do you know that GP was using the Webster's 1913 definition?
That won't help if the Bundestag moves into another building. If country borders change, that is also likely to occur :D
The elephant in the room here is that these LLM's still have problems with hallucinations. Even its only 1% or even 0.1% of the time thats still a huge problem. You could have someone go their whole lives believing something they were confidently taught by an AI which is completely wrong.

Teachers should be very careful using a vanilla LLM for education without some kinds of extra guardrails or extra verification.
Mudding is such a small niche, the one I've been playing for decades has a few hundred active players still.

A really curious thing about muds is more people seem to want to make new ones than play them. There is probably about one unique mud per active mud player these days. Most have no one playing them though.

And the established muds have a hard time finding people to work on them, since they are gnarly legacy codebases based on deeply out of favor programming paradigms. Much more fun to roll your own platform, even if it never gets played.

I wish people would just pick one of the dozen or so active muds and play it. Mud client programming is a great outlet for recreational coding imo. The line between my character and the code I've written to manage it is very fuzzy in a good way.

Plus everyone is always talking about how great lua is. Mud scripting is mostly lua, so it's a great way to find out that lua is just as bad as any other language.
Tastes like garbage, though.
Comments moved to https://news.ycombinator.com/item?id=37334991, which has the article this is reporting on.

Submitters: "Please submit the original source. If a post reports on something found on another site, submit the latter." - https://news.ycombinator.com/newsguidelines.html
The strong and weak nuclear forces are insanely hard to simulate directly. You might have a look at e.g. this paper for some fairly current modelling: https://journals.aps.org/prc/abstract/10.1103/PhysRevC.103.0...

Just to be clear, simulating the atomic nucleus isotope stability (like here) is something entirely completely different than simulating the quantum mechanics of electrons in one or more atoms (like we do in DFT), or simulating molecules (like we do e.g. in molecular dynamics). The latter two are comparably much easier.
But that's exactly because they're being stupid. Only basic science or medicine has any chance of making any significant impact on their lives. And most of the potential basic science impact will do so via medicine. Being a billionaire won't protect you from cancer and multi resistant bacteria.

They are missing an opportunity to increase their life span and life quality and do the same for their children. Only very few billionaires understand this, Bill Gates being maybe the most obvious example.
Agreed. I think the interviewee is a little pessimistic when he says "I’m just not sure it’s any more secure than most things done by humans." about computer assistance. If the ABC conjecture were to be proven in Lean, I'm pretty sure it would be accepted as true by an overwhelming majority of the mathematical community.
Fantastic stuff. Now I can integrate an age-verification system so that don't end up in legal hot-water thanks to the Online Safety Act..... /s?

In all seriousness, this looks like a fabulous project. Congratulations to those behind it, we needed something like this. I have bad memories of leafing through ancient C code to run a MUD. I've just starred it and will roll it out on a Raspi at home, OSA be damned.
people ask why musk wasted so much on twitter. he didn’t.

https://www.aljazeera.com/news/2022/10/28/saudis-kingdom-hol...
20+ years in Asia here. Have run many sites/apps and filled in many forms. Here is what you do:

Full name field.
(Optional) Title field.
(Optional) Display name preference.
(Super optional) Allow the user to duplicate ALL of these fields for EACH IANA/ISO language, eg. many people may have a Chinese or Thai name and also a separate English name with zero relation.

Read https://www.kalzumeus.com/2010/06/17/falsehoods-programmers-... and note there is an unwritten set of similar fallacies regarding signatures, plus an addresses version at https://www.mjt.me.uk/posts/falsehoods-programmers-believe-a...
Well, in this market, the median reality is more like 150K max with mandatory return to office in cities with housing shortages and very high cost of living. Maybe if your spouse makes the same you can afford a house, but otherwise, you’re being forced into a shit deal to prop up real estate valuations on commercial and rental properties.
Yes, somewhat. Not as proper as it should. But it does the job. Esp with such events as splits, mergers, renames you can see it's not a very professional setup. I've had to hack around it by adding and then nulling some assets like "emission claims". Or, in my country, dividend-tax is extracted immediately so I now hack around that by adding that tax as "fee" to ghostfolio. It works. But isn't a replacement for actual book- and portfolio-keeping.
Yes, exactly, I agree. That's the point I've been trying (and obviously failing) to get through.
Not sure this YouTube series is the right fit for your project. Razavi's course is focused on signal processing (for future integrated circuit designers), whereas your project is power processing. Quite different approaches. The only comparable academic alternative that comes to mind is maybe CU Boulder on Coursera, which covers at least some of your project. I'm not conversant enough with hobbyist-oriented resources to make a more relevant suggestion.

How deep do you want to go in terms of where to draw the line between building and buying parts?
It's very different talking to strangers on the internet via text versus a coworker in person or video call.

As others have said, the person will know if you are being genuine or not. Which is the real core point; not the particular phrasing you use.
> The fact that you describe Switzerland as “mostly homogeneous” really undermines the credibility of your argument.

I'd love to hear an argument about how Switzerland is heterogeneous, but here's what I found:

Switzerland is a country of ~8.5M, or the same population as New York City, or 2/3 the population of the rest of New York State, or less than the population of Virginia and 11 other states.

And Switzerland is ~40k km², a bit less than New York State.

What I'm saying is it's very small compared to the US, with 330M people across 9M km² of land.

As for homogeneity, Switzerland doesn't have birthright citizenship (where the US does), so foreign nationals may remain foreign for multiple generations; it's also part of the Schengen, permitting EU members to travel and reside without a visa or other permission. All of this makes an apples to apples comparison with the US much harder.

Switzerland is ~75% Swiss nationals, with ~25% foreign nationals, but ~85% of those are from the Schengen area.

About 15% of the US population is foreign born, but almost half of those are naturalized citizens -- there's also 10M+ foreign nationals in the US illegally (more than the pop of Switzerland), though any children they have in the US will be natural-born citizens (unlike in Switzerland). If we include the first US-born generation, it jumps to 28% of the US population. And when we look at where those immigrants come from, two of the top three origins are in Asia (India and China).

Again, I don't know how to make an apples to apples comparison. It's likely that Switzerland is more heterogeneous than some places in the US, while less so than others. But if I had to make a broad statement, yeah, Switzerland is much more homogeneous than the US, and I'd love to hear an argument against it.
personal tutoring and coaching is basically mandatory for mastery. name a professional concert pianist or athlete who doesn’t have one. I act as personal tutor for comp sci students and I’m envious of them. I didn’t have one and I think it really limited my growth.
which part of "find something about their approach that you liked" is not being understood here? Have you only seen horrible code throughout your career? Has every single thing you ever reviewed rated a 0/10 in your book?

Avoid telling lies by not lying.
Fine-tuning GPT-3.5-turbo for natural language to SQL
A tutorial on how to fine-tune a GPT3.5 model for Natural Language to SQL tasks and a comparison of its performance vs Retrieval Augmented Generation.
Based on the results, fine-tuning can match and outperform RAG (the approach matches the state of the art on accuracy while being far faster and cheaper). The big challenge for fine-tuning tasks like this is building the training datasets. Things should get even more interesting when GPT-4 is opened for fine-tuning.
Gotta set it somewhere

¯\_(ツ)_/¯
and 6.007 and 6.041
Show HN: Squabblr – A Twitter/Reddit hybrid platform
Hey guys, I made a post about this about a week ago and was told to create a Show HN post. So here we are!

Squabblr is a hybrid that takes Twitter style posting and combines it with Reddit style commenting. It came up from a personal want where I liked using Twitter to see what people I'm interested in are up to, but found that the reply system left a lot to be desired. It's very hard to have or follow conversations with their UI. While Reddit provided a great commenting system but didn't support following people very well (or had much usage of it at all).

So I decided to create Squabblr. You can "tweet" random blurbs or have in-depth conversations in a single unified platform. You can follow people, and you can also have Reddit style communities for whatever niche subject you find interest in.

If you find any interest in it, check it out here! https://squabblr.com

Tech stack:

- Laravel
- Vue.js
- MySQL
- DigitalOcean

Appreciate your time!
That made no sense.
and yet… some people can’t put the damn thing down. like they have a real problem.

one might call it a disorder. an addiction.
Comparing request handlers in Scotty, Yesod, and Servant
Yes. I fully believe that I would shrug it off in a similar position.

What the CEOs fail to realize is that it is their chance to expose the congressional members as unfit for duty. It's their chance to ruin their reelection efforts. It's their chance to hold the government accountable.
Parent was saying that those addresses don't need to be globally routable, so you can pick from private IP addresses ranges for your point-to-point addresses.

They might have put the wrong RFC number there. Maybe they meant RFC 6890?
> It doesn't mean you get to force anyone else to merge your code.

Sure, you can fork the code if you really feel that strongly about it. My main "issue" is that it basically removes one of the big benefits of open source, that we can collaborate and do better as a collective. If it's just a big code dump that other kernel developers can't really touch it's more "source code is available" than actual open source.
Maybe the workers involved?

Most background actors replaced by AI generated substitutes.

Writer rooms turned into editor rooms for AI generated thoughts that simply rehash the existing 100k hours of plots already extant.

In a sense, it's the buggy whip workers striking after the Advent of cars
Great point, I hadn't thought about isolated areas.

And with you there, it's already starting to sound like a buzzword to me. The first step on the road to losing all meaning.
Have you seriously never met an engineer who assumed something was obvious to everyone that was actually only obvious to them? That like, top ten stereotypical engineer behavior.
> HN is way the driest and most soulless.

Well if you are looking for memes and catposts, yeah, the S/N ratio here is quite low.

Honestly I think of those things as noise, so I see S/N of HN as much higher. I can always go elsewhere for the vibes.
https://www.health.harvard.edu/blog/a-practical-guide-to-the...

The way I remember it is:

For fats, Olive oil

For snacks, nuts

For calories, whole grains

For fiber, salads

For minerals, Veggies

For protein, Legumes

For protein, Fish poultry

For drinks, Wine and Water

For desert, Fruit
>I really liked how you tackled this

Because you open the communication with a lie.
An often ignored part of the standards are how to represent durations (time spans).

See http://xml.coverpages.org/ISO-FDIS-8601.pdf (section: 5.5.4.2 Representation of time-interval by duration only, pg. 21)

Would like to see more json parsers in static languages allow me to define a field as a time span and can serialize into the valid format.

For an example, see this proposal in Crystal: https://github.com/crystal-lang/crystal/issues/11942

Example: A duration of 15 days, 5 hours, and 20 seconds would be:

P15DT5H0M20S

A duration of 7 weeks would be:

P7W
Might be hard to meet there without radiation protection.
No, its not trivial

https://en.wikipedia.org/wiki/Random_number_generator_attack...
Maybe in analogy to Russell's paradox and how you can "fix" it by distinguishing sets and classes, you can "fix" a Gödel sentence by adding it as an axiom, but then you'll just get a new Gödel sentence... and so on.
people can get ahead with 30k salaries or never get ahead with 500K salaries. Getting ahead has more to do with life style choices than salaries on an absolute number. How many people who "can't get ahead" have $1000 iPhones with $100/yr plans? How many people who "can't get ahead" have $300-$400 car payments? How many people who "can't get ahead" live alone in an apartment rather than have roommates? How many people choose "luxury apartments"? You can easily outspend your salary of any size, then complain you can't get ahead?
A lot of stuff is just fine
Amazon makes that semi illegal per their TOS is my read there. We can't even show their ratings of a product or else they stomp us.
Worth pointing out that you should always ask even when you think you don't need to. It's easy to think that a micromanager is always obvious to anyone outside their team but that's not a given. Some managers are very aware of the stigma and will try to hide it from outsiders.
For 1 and 2 I don't know, I assume so, they never showed me any stats at the hospital.

And yes I do, all of those + vitamin D.
A similar concept is whether something is a "tool" or not.

Tools are things that you use to accomplish tasks. They behave predictably, and you can become skilled in using it more effectively.

Non-tools are things that try to adapt to you. They're optimized for first-time users, or to create an "experience". You cannot go fast with them, even with familiarity. They don't act in your best interests.

A hammer is a tool. Excel is a tool. Google search used to be a tool, but it's been more non-tool for the better part of a decade.

Sometimes people want non-tools. It varies with person and task. But in general, long-term users tend to prefer tool-like uses.
“Needs” overtime pay is quite loaded. Nobody needs overtime in the US compared to quality of life of Bangladeshi garment workers and rice farmers.

The relevant question is do we want employees in America to be able to work 40, 60, 80, and 100 hours per week for $55k per year and the quality of life that goes with it.

I would say a more logical frame of reference is being sufficiently high up such that you can increase budgets and payrates, so as to ensure business leaders are incentivized to sufficiently spend on staffing.
Comments moved to https://news.ycombinator.com/item?id=37325778, which has the article this is reporting on.

Submitters: "Please submit the original source. If a post reports on something found on another site, submit the latter." - https://news.ycombinator.com/newsguidelines.html