skysight-inc/HackerNews huggingface dataset:
I came from C as well and even though Python does make strings, dicts and so on easier the main difference between the two (compiled vs interpreted) is exactly why you get all those libraries in the first place: it is super hard to get good performance out of an interpreted language if you want to crunch numbers.

That's why each and every number crunching problem will eventually make use of the various escape hatches to call libraries written in a language that is performant.

As for strings: BASIC also had strings. That doesn't mean that having strings (or even dicts) is what makes a language elegant.

The problem really is that there are only so many sweet spots for programming languages and usually those come with limitations with respect to the domain you want to use them for. Pick any two: expressive, fast, easy to use.
It’s not that I don’t understand it.

The problem is that encode and decode are directional constructs that change depending on context.

That’s a poor UI in Python.
It doesn’t say if “redacted” accepted an offer, so possibly Don Melton, Dave Hyatt, or Ken Kocienda? None of them left Apple until much later, so this is just speculation in descending order of assumed-Stebe-irateness.

These February 2005 emails make for an interesting timeframe since that was the year of the Apple/Google default search engine deal. I can’t find a more exact date for the search deal than “2005”, so it’s possible both were under negotiation simultaneously with no cause/effect relationship, but it sure is an interesting coincidence https://www.nytimes.com/2020/10/25/technology/apple-google-s...
> At Pixar, he behaved like a feudal lord because he pretty much owned the place and they relied on his money to keep the lights on.

How do you mean by "behaved like a feudal lord"?

Admittedly not read up on Jobs (sacrilege in this venue, I know), so I'm struggling to understand why he who pays the piper calls the tune is somehow objectionable.
Seattle is 24000-30k a year for infant care.

17,000 would be very, very, cheap.
You can set tab display width for whatever width you prefer, you cannot do the same for space.
From accessibility point of view, tabs are more usable for people with sight problems.
Awesome, project, way beyond my skill level.

If you are interested in the PDP-11, A youtuber (Usagi Electric) bought a PDP-11/83 and is going to try and get it working again.

https://www.youtube.com/watch?v=SB95dlrS5kU
> because literally the entire rest of the world uses the word differently

This assumed cultural hegemony by some US citizens is frustrating as hell; they are incredibly quick to assume (or demand even) the rest of the world knows their cultural references/idioms/etc., yet make zero effort to discover what the rest of the world is doing. Unfortunately they are also loud and so it's easy to come to the false conclusion all US citizens are like that.
How would it cement existing players?

Many people already make purchasing decisions by looking at comprehensive tests from non-profit foundations (https://www.test.de/) or one of the public broadcasters' (https://www.ndr.de/fernsehen/sendungen/markt/index.html, https://www1.wdr.de/fernsehen/markt/index.html), and then do price comparisons with one of the many popular price comparison websites (https://www.idealo.de/, https://geizhals.de/, https://www.hardwareschotte.de/, https://www.preispiraten.de/).

If your product is good, it'll do well in the tests and the price comparison, and be bought.

You only need advertising if your product is actually bad and you instead want to convince people to pay for it because you want it associated with a certain image of your customers. But in that case, you're not selling a product, you're selling a status symbol, basically jewellery (e.g., Apple, the sneaker market, etc)

And the market of status symbols is harmful to society anyway, so if it gets destroyed as collateral damage of a potential ad ban, that'd be awesome.
I wonder if something like Inform might be a good environment for them. Obviously it falls far short of what you can do with Scratch, but an imaginative child could achieve a lot, and integrating it with voice/accessibility tools seems feasible.

https://ganelson.github.io/inform-website/
From a more algorithmic point of view, this is exactly the task of topological sorting [1].

And it runs linearly in the number of edges!

I expect Prolog to be slower for large and hard inputs. But Makefiles solve exactly that!

[1]: https://en.m.wikipedia.org/wiki/Topological_sorting
It sure is, and that is really my point: I don’t think you can say people make worse decisions on “OPM” (other peoples money). It might even be a forcing function that you have to explain what you have been doing to a “boss” of sorts.
The raindeer in the riddle are in a total ordering, with each following one
other, like a linked list. That means we can just... sort them.

We could do that by hand-rolling a sorting algorithm with a custom comparison.
Or, if we want to leave time for breakfast, there's SWI-Prolog's predsort/3 that
takes as an argument a custom ordering predicate, and then sorts a list of
arbitrary Prolog terms according to that ordering.

For example, I define raindeer_order/2 as an ordering predicate, reusing
follows/2 from the article above, like this:

raindeer_order(>,R1,R2):-
once(follows(R1,R2)).
raindeer_order(<,R1,R2):-
once(follows(R2,R1)).
raindeer_order(=,R,R).

If you squint a bit you'll notice the polarity of "<" and ">" is inverted.
That's because follows/2 is an inverse order.

Now we can find all the raindeer and sort them:

ordered_raindeer(Rs_):-
setof(R1
,R2^( is_behind(R1,R2)
; is_behind(R2,R1)
)
,Rs)
,predsort(raindeer_order,Rs,Rs_).

And, at the command line:

?- ordered_raindeer(Rs).
Rs = [prancer, cupid, rudolph, dasher, blitzen, vixen, comet, donder, dancer] ;
false.

Runs in O(log(n)) :P

(Edit: I think it's n log n actually: follows/2 might have to run the length of the list to compare two reindeer.)
A bit off topic but I wish someone would make a similar page
about how much fuel the president of the US uses when travelling
per year while in office.

Let us take a foreign trip to Norway.
A friendly allied country with a low threat profile.

4 - 6 weeks prior to travel a team flies in to plan the route,
mitigate problems, update schedules and demand accommodations
from the host country.

Weld your manhole covers shut, empty out floors on some buildings.
have all traffic stopped in a radius of X miles, etc etc
Same with the hotel, the venue etc etc.

The closer we get more aids, vehicles, infrastructure air airlifted in.

The flight with POTUS itself, who might or not have fighter jet escort
for parts of the trip. and the "Pentagon and military command and control
jet accompanies AirForce one.

The presidential limousine (The beast) has to gulp gasoline like no other
two cars on earth. Perhaps there are other equally armored and fortified limousines around the world, I really dont know

Then of course everything in reverse to return home.

I bet that in a year, the emission from POTUS traces exceeds that of
several countries.

Something I often think about when POTUS travels to environmental
conferences. The best POTUS could do was to attend remotely (and
sign documents digitally? (not sure if that can be done)
That's only true if you ever received Unicode input. There are plenty of uses of strings that never do - enums, DNS domain names, URLs, HTTP parsing, email addresses (from any sane provider) etc.
Ask HN: What were your biggest accomplishments in 2022?
Out of curiosity, does San Fran have similar public transportation to Paris?

If it doesn’t it’ll quickly get overwhelmed by people trying to get around in cars.
Onin | London, UK or similar timezone | REMOTE | Mobile, React Native, Swift, Objective-C | £100-£120K + £100K options + Private Health Insurance + 33 days holiday (incl. bank holidays)

The app: https://onin.co

With a founding team of just two we closed a seed round of £2.75M in July 2022. We’ve since hired two engineers. We plan on keeping the engineering team as small as possible with a highly selective hiring process. Our app is built in React Native but we are only considering candidates with significant Swift / Objective-C experience as building a high quality app often requires dipping into the native APIs. This is an opportunity to be part of a founding team building a high quality product.

Onin is a secure social calendar. Calendars are built for enterprise, Onin is a calendar built for friends and family. We believe that chat is the best way to plan and discuss events so every event is linked to a chat. We value highly the privacy of our users so all user content is end-to-end encrypted. Onin was founded by Ryan Brodie [0]. Ryan has had four successful exits and is a YC alumn.

Apply by sending me an email with the subject “HN who’s hiring” to david at onin dot co

[0] https://www.linkedin.com/in/brod-ie
Yeah helmets when cycling are not a thing in the Netherlands. There's plenty of discussion about the pros and cons of that. Generally I figure it's not really more dangerous than walking.
This would be very cool, I love these kind of videos. Perhaps you can find the right format as you building up your channel. There are lots of Youtubers shaping their channels over time to improve, imho the most important part is to start and get the content public.
> I don't fear MITM on a local only HTTPS server

> I trust my services and devices

That is exactly the point. You trust your local, possibly dumb aka unmanaged switch. It's a little piece of silicone with no funny business going on.

Now if you plug a trusted device A as well as an untrusted device B in, the untrusted device won't see any traffic meant for device A:

https://wiki.wireshark.org/CaptureSetup/Ethernet#switched-et...

Point being: as long as you trust all network devices from a trusted machine to another, on a switched Ethernet network, no other device will see any of that traffic at all, on a fundamental, low OSI level. It's not even about HTTP/S at that point yet. All this is untrue for WiFi, where you will want HTTPS indeed.

I'm not advocating against HTTPS at all. I use it as much as possible. But it might actually not be necessary, locally under the right circumstances.
What I hate about python/yaml/etc is that copy/paste + reformat does not work.

Yes it forces clean indentation, but it gives the writer the burden to take care of it. That sucks. Let the computer do the work.
Common Lisp has a very powerful type system, though when it comes to playing around with types you might as well load up Coalton.
During the training, participants only exchange tensors (embeddings, gradients) and never send code to each other. No other peer can execute arbitrary code on your computer - they can only request you to run one of pre-defined BLOOM layers. You can further isolate the Petals server from your machine by running it a Docker container (see the command in the repo).

A client needs to communicate with multiple servers in a specific way to run the model, I'm not sure our communication model can be implemented with BOINC.
> react provides an even better interface for ajax

how does react provide an interface for ajax?
react does literally no calls at all...

I feel like 50% of the people complaining in this thread have never touched react or their last interaction with frontend code was jquery 15 years ago and they're still carrying those learned paradigms around and applying them to every new framework/ frontend lib they come across
Real-World Examples of Using Design Patterns in Modern PHP
Literally I've not seen a check in twenty+ years except for bank checks used to pay a mortgage. Where I live one can pay by direct bank transfer or debit card, usually with no fee while checks carry exorbitant fees and one has to make an appointment at the bank to cash one.
> Congratulations to Debian on upgrading to Python 3!

Debian had Py3 for ages. It wasn't upgrade, that happened ages ago, just removing old packages kept for compatibility
Human interaction is inherently bubble-y.

Nobody wants to get shouted at by people preaching stuff they don't like or feel harassed by all day long, so we seek together in social groups that by and large are united at least along some axes of interests, and avoid too much talk of the topics we know are controversial within those the groups.

Some of us then sometimes seek broader forums to try to spread our groups ideas. But a lot of people actively avoid those kind of situations. Many others use different identities in different groups because they don't mesh well.

"Balkanized" servers are only balkanized to the extent people wants them to be (yes, admins can ride roughshod over users, but users can vote with their feed and migrate their accounts and follows elsewhere). Most people want to be widely federated. Some want forums where they can say things nobody else wants to listen to or wants to self-isolate (e.g. Truth Social, Counter Social and Gab all run - or at least ran, not kept up - Mastodon, but either don't federate at all and/or are widely blocked)

> A key difference in Twitter vs Mastodon UX is that users would have to make different accounts for each "Balkan country" server they join. If one server blacklists or is blacklisted they won't be able to participate in others. And this has implications well beyond US polarized politics once it reaches global scale.

If you want to participate in things so offensive to so many people that they're mutually blocking each other, then yes you either have to do that or find an instance that haven't defederated either. Or host/rent your own and not block anything other than what you, yourself choose.

With Mastodon you have that choice. With Twitter you risk getting outright banned site-wide.
It's not a nonsensical "spherical cow in vacuum" thought experiment to say "Pixar exists but some employees are treated bad" vs "Pixar doesn't exist". If you think that it becomes impossible for a rational mind to weigh those two choices, then there's no point in me continuing this discussion with you.
Literally any alternative is more secure than a handwritten check which is the most easily forger financial document ever invented.
Genuinely curious, what would you like it to look like?
Yes another Usagi fan.

His restoration of the Centurion mini computer has been epic. Highly recommend to watch this video series.

He als got help from the community and people who worked at Centurion back then.

Also the backstory about the Centurion is wild.

https://youtu.be/0Gk1b4j0ls8
>I imagine I'd notice pretty quickly that English speakers in TV, movies, and on youtube, don't speak the way they did in the 1800s.

What about English speakers in Indian TV, movies, and on YouTube - which I assume might be more popular fare for an Indian audience?
> So a project like this? https://github.com/antelle/argon2-browser

Notice how they don't provide any benchmarks that aren't Native or WASM?

https://soatok.blog/2022/12/29/what-we-do-in-the-etc-shadow-...

This doesn't help iOS users in Lockdown mode. It may also break for users who run their OS in FIPS mode.
I don't have kids myself, but having been a kid I've ridden a bakfiets on many occasions, never mind living near a primary school where a lot of kids get dropped off by bakfiets.

I'm sure where you live a bakfiets is a less viable option, but claiming that therefore using them anywhere is unrealistic is myopic.
Density greatly increases land property value.

Land with a skyscraper on it is extremely valuable!
The author has a whole video series on restoring this particular mini-computer.

I really enjoyed watching them all, as he clearly explains all the obstackles that he encounters, and how he navigated them.

The contagious bursts of laughter are a great bonus too.
Who would the hardest person at SpaceX to replace be if they left?

Saying it's Shotwell or Musk isn't indefensible. No one is irreplaceable anymore then any one person (as opposed to SpaceX as a whole) is building Starship but it isn't sycophancy to say that some people are more integral to the process.
Sounds like an excellent propaganda op of totally dubious value with respect to the actual hostages.
I would argue that if you want to make an honest comparison than use an implementation that at least makes an effort to optimize functional code. And JS does jack shit for FP code compared to Haskell.
> only restricting that freedom where absolutely necessary

I used to believe this as well. I was thaught a lesson... In fact, now I understand that liberals, when given the power, will corrupt into totalitarism in a few months.
That's a strange way to put it. What teems with more life than an open sewer?
Does the coupon make it cost $25, or just reduce the cost by $25? Any other specifics on this would be super helpful!
A lot of codebases could be converted from Python 2 to Python 3 with just some fairly mechanical work and light refactoring on top. GIL would be a thing of a completely different magnitude.
The changes Python made was made in Perl without breaking compatibility, you just wrote say

use v5.24

in header to use given feature set (defaulted to something old to not break old stuff)

The Py3 approach was terrible and wasted untold amount of hours just because you had to migrate everything, you couldn't just upgrade codebase piece by piece like in case of Perl.

At the very least they should've just made new one be under .py3 and just make Python3 interpreter transpile Py2 code at runtime
Still 100x less than a typical US credit card fee.
I'm a Brit, I would no think of Joe as a liberal, and I only read this thread as I was so shocked to hear he might be a left leaning commentator. Obviously reading this, he is not.
Refactoring because it takes less time and resources
Should OSS sniff the geopolitical wind and ban itself in China and Russia?
the very same oysters that digest all the nasty stuff in the river. Has to be a great idea to eat those
I wonder if Swift Playgrounds might be useful, https://www.apple.com/swift/playgrounds/.

Usually Apple has been pretty good with accessible features. I wonder if they built it into to Playgrounds too.
>Modern x86-64 though is quite different

Optimized code tends to heavily use vector instructions which didn't exist in older generations, but everything else stayed the same, more or less.

It was ARM that became radically different when it moved to 64 bit.
Oh, I've heard that a lot from execs. What they also say afterwards is - "we expect you to do it without slowing the pace of adding new features and fixing bugs!!"
I love this site. Tech-wise it's been put together which such attention to detail.

There was a really interesting podcast with it's owner broadcast some time ago:
https://runninginproduction.com/podcast/32-building-a-site-a...
I have created a customizable mobile app for museums and similar cultural institutions.

The app is meant as a guide through the museum and also a replacement for old audio guide hardware.

currently only in german: https://smartcompanion.app
There’s no guarantee an independent Firefox could have survived “Embrace, Enhance, ???” at all. Maybe this timeline isn’t so bad since Chrome being what it is means there are actual good reasons to choose Mozilla’s Firefox :)
> "it would take 4000 double folds, forwards and backwards, to tear a banknote". Is this insufficient for UK uses?

When I was in the US I've often was given heavy worn out banknotes sometimes with tears. Haven't seen so many badly damaged pounds so may be dollars can benefit from more durable material too.
He is fun, he explains everything very clearly indeed but also knows how to tell a good story.
When you say "many people," it sounds more like this your workflow for purchasing decisions, not many people's. The way you outlined is so rare that I doubt many people actually do what you describe, unless you want to redefine the word "many." There is a reason advertising exists and works, and you are not realizing that you are a rare, rare exception to that. It is akin to someone using only Gentoo and saying how many people also use it. Yes, some people might use it too, but it is so far outside the range of normality in the population that it does not matter, even if the Gentoo user thinks their bubble is many other people's too.
A lot of complex computed properties can easily be made efficient by having "WITH" statements.

The with query starts with the ID of the object to which the computed property is attached to. So in this case you would do the same thing as the author and write

WITH comment_vote_count as select comment_id, COUNT(vote_id) from comment left join vote ...

The ORM would just treat this like a normal table and do a join based on the comment ID except the ORM provides a convenient API to do this, which it currently does not...
> In hindsight no one had a good idea about language evolution; the modern concensus is a single interpreter supporting multiple parallel versions, also called "editions", but (EDIT: to my knowledge) the first major language with this approach was ECMAScript 2009 (5th ed.) with `use strict` and Python 3 predated it.

Perl did it since ages. You just put

use v5.24

in header and interpreter enabled those language features on file by file basis
I'm not sure, my intuition might be wrong.

I looked into this paper and expected Gaussian processes with complex kernel functions.

Giovanni Petri (author of paper here):

https://twitter.com/lordgrilo/status/1506294750621716482
->

Networks beyond pairwise interactions: Structure and dynamics
https://reader.elsevier.com/reader/sd/pii/S0370157320302489?...
->

Multiscale Information Decomposition: Exact Computation for Multivariate Gaussian Processes
https://www.mdpi.com/1099-4300/19/8/408
> about to jump ship

Sounds like a traitor to me ...
Could just transpile Py2 to Py3 at runtime.
I think that might be the average hourly rate since they started the channel. I think it would make more sense to calculate it on a monthly basis. It was probably close to $0/hour for the first few years, and it must be much higher now.
The drawback is that if you also have (parametric) polymorphism (and you do, unless you’re strictly standard Pascal and impossible to write libraries in), your typechecker now needs to answer arbitrary questions of the form “are there natural numbers that make this equality true?” in order to tell if something is well-typed or not. And that is of course impossible in general (per Gödel and Turing), so now it’s one on you to give the proofs.

So languages that do this seriously—Agda, Idris, ATS—are usually somewhat Turing-incomplete in order to sidestep this and related problems of too-expressive (sound) type systems and, though it’s perfectly possible to write useful programs in them, it requires a more disciplined and restricted approach than usual, and you’re going have to spend some time proving things.

There are also languages—notably C++ and Haskell—that do this less seriously, in that their systems are capable of expressing naturals but are either unsound (allowing some programs that passed the typechecker to misbehave due to type-related problems), semidecidable (allowing the typechecker to hang on erroneous programs), too weak (not allowing you to prove equalities you need), or all of the above. On the upside, those are also the ones flexible enough that normal people can program in them (as long as they don’t try typing every length and size they see, then it becomes as painful as ever).

(Other responses have mentioned interesting type systems for dynamic languages, such as those in Racket and Common Lisp. I think those mostly fall into the “unsound” bucket above, due to runtime checks, but I don’t know much about them. Should be worth looking into as well.)
Between 30k€ and 60k€ depending on profile.
That's only because editors are not programmed to do the work.

An IDE with proper language support for a whitespace-aware language should be able to parse the AST figuring out the code structure from the indentation level; then it could reformat it at the proper indent level when you copy and paste it elsewhere, just like it does with a delimiter-based language.