skysight-inc/HackerNews huggingface dataset:
Perhaps the name alone is one of the reasons why it 'died' in the first place. The authors are being too clever with the origin of the name and it doesn't catch on with potential users. I would rename it if I was to revive a project like this.

I'm happy with a Qt Twitter client (No Electron) but the name is somewhat forgettable.
I don't remember exactly. We did use elb's for all other services. So it was either cost or it had to do with MX record restrictions in that you're not allowed to use CNAMEs in MX records.
What did you do to test they had the experience you expected? What is your hiring process? How did you make your expectations of them clear?

> In both cases, the new hires had sloppy desks, wrote sloppy code, and presented horrible slides with lots of mistakes (units missing, illegible axes, etc). Our undergrad inters faired a lot better than these two.

I don't think it's worth it to overgeneralise. You shouldn't generalise about senior developers with a decades of experience either because you don't know what they spent their time focusing on.

From personal perspective as well, it can be really demeaning when people try to attribute any oversight or lack of experience you have to you having done a PhD. Each PhD is radically different. Some do very concrete research, others do very abstract, others present a lot, others very little, some code a lot, some don't etc.
> Motivations: Theoretical. Astronomical. Aesthetics.

there are also important applications, like figuring out the right orbit and starting points for kerbin bodies in the principia n-body mod
For anyone that wants to learn about optimizations in AOT compiled ML languages, have a look at:

"The Implementation of Functional Programming Languages"

"Compiling with Continuations"

"Modern Compiler Implementation in ..." (C, Java and ML variants)

Although oriented towards Lisp, "Lisp in small pieces" is a classical book as well, with many optimizations like inlining of lambda calls across multiple call levels.
Ok, boomer /s

The 2000s generation already embraced parallel identities and anon profiles, and they are able to make them popular. The more digital we go the easier it will be to be a famous virtual identity. Sure, all the threats will still be there, just going to /dev/null instead of the real you.
Precisely why I use them and why I'm uncomfortable with Black refusing to add the option (https://github.com/psf/black/pull/513).
I use HAProxy for this. The paid version of Nginx also has this.
A bit offtopic, I love how Godbolt grew out of C++ community to embrace as much AOT toolchains as possible, kudos to Matt and everyone involved into making it happen.
Working for myself which I think exacerbates the situation since I have full ownership of any success I can achieve.

I actually have ended up thinking about my marketing efforts and watching videos about that instead of tinkering with the app (or other appealing ideas that inevitably emerge during down time).
Except it's never learned. Most devs and testers absolutely suck at it, no matter how much training or long experience. Otherwise great people, but you need to put yourself in the role of the person receiving the bugreport. Most people don't know the tech too well, can't do that or forgets to do it very quickly. In the heat of the moment of deadlines, this is expected human behaviour, ie. optimizing locally.

I find, when there's no common context, I have to reach out and spend some time with the person anyway. Usually you gain new insights, relationships and improved common understanding. Feels almost humanizing and well worth the time spent.
With the Elixir language, I find myself looking at the source code of my dependencies more often, since I can actually read and understand what's going on most of the time, despite barely coding in Elixir. When I do, I can look for inspiration in other people's code.

I rarely feel this way with Kotlin or Java libs, and I'm only slowly warming up to TypeScript code.
The TVP7002 only goes to 60Hz, but it does 1600x1200, is ~$4-$10 from digikey, and here's someone who figured out how to read from it (at very low FPS, far lower than it is capable of) with a microcontroller and (as stated) very little electronics knowledge: https://www.rpg.fi/desaster/blog/vga-framegrabbing-with-tvp7...
Why trying to become rich? Once you have enough money to have a great quality of life without stress, having more money isn't improving much your happiness. Sometimes it makes it worse. However trying to become rich can be very difficult, tiresome, and disappointing.
I think his tribe-village-city analogy plays a big part in that, though.

A famous researcher probably wouldn't have as large an audience, and that audience would most likely consist of other researchers in similar or adjacent fields of research
64 Cool bananas color gradients ready to copy/paste,get image or Figma file
Yes! Postgres weekly was my favourite find from 2019! Great nuggets to be found.
The Chinese crowdsourcers fighting coronavirus censorship
Doesn’t that just move the problem?
What can you achieve with fame that you cannot achieve with money alone? What is this need for wanting others to know that you exist at all?

Jobs that demand "fame" of some sorts will always take an emotional toll on personalities that are never comfortable with fame, limelight and podiums.

I have been an introvert my whole life but only recently realised this about myself at the tender age of 40! It was a cold slap for me to accept it. I have always imagined myself gregarious and outgoing and friendly - wanting to speak to strangers, breaking silence in a lift - but these have never really sat comfortably with me afterwards. I'll be chewing and ruminating about the imagined mistimed comments or miscued lines for ages. I have bruised myself emotionally believing that I needed to be an extrovert to be successful when in fact I was only demanding too much of myself. Fame, and outrageous fame will likely kill me too.
Ask HN: Mobile Internet Throttling on Client or Server Side?
Hi all,

I got myself an Android 9 phone recently since my Android 4.4 phone died.

Previously, I was able to modify a file in Android 4.4 system, /system/etc/throttle.sh, so that it looks like the throttling is gone but I forgot to thoroughly test the internet speed on it.

Now in Android 9 I couldn't find similar folder or file to modify, nor I have the time to study Android Open Source Project. My mobile internet speed is being throttled as I actually tested on it, even by setting a Wireguard VPN server on Digital Ocean droplet, I couldn't bypass the speed cap. (The reason why I do this is because youtube is being throttled even more)

So before I might study AOSP one day for this particular feature, may I ask you guys whether ISP is actually throttling on client side or server side?

Edit: Relevant threads that I found, which indicates throttling on client side:

1. https://androidforums.com/threads/guide-how-to-disable-boost-data-throttle-confirmed-works.664780/

2. https://androidforums.com/threads/virgin-mobile-sprint-disable-4g-throttle-optimus-f3.817956/

3. https://androidforums.com/threads/i-have-found-the-easiest-way-to-disable-data-throttling.810606/

P.S: How about land fiber fixed line with modem router, throttling on server side? I was wondering should I learn embedding for openwrt router too
A somewhat-undocumented feature of black is that in recent versions, by giving the list a trailing comma, you're telling the indenter to always put it on multiple lines (eg `[1,2,]` will always wrap on 4 lines). If you remove the trailing comma to a multi-item list/dict/whatever, black will try to compact the literal to a single line (and if it fails because the line is too long, it will add the trailing comma back)
Interview with Simon Peyton Jones (2018)
Have you ever heard of LycaMobile?
Identity documents should be public information, if they lack an irrefutable connection to you (e.g. photo ID unless you've got an identical twin) they're bad identity documents. But there may be accompanying information you should keep private, for example it's not unheard of for passport authorities to provide an additional document that helps them if your passport is lost or damaged, no need to let anybody else have that.

Medical records it certainly can make sense for you to keep documents that medics don't need right now but might be relevant later. If you've got them, somebody else can't lose them.

Business plans ought to be obvious. You won't get far telling everybody what your plans are, keep them to yourself.

And nudes while it seems lots of people do send them to somebody else - perhaps much better looking people than me - if you've got nude images of yourself for some other reason then it's better to keep them private than risk some outfit accidentally losing them. For example I had images of my penis from when I had surgery done on it to fix a problem, I was tracking the healing process because I was interested in how the stitches behave. No reason to put those photos in the Clown or whatever where they're one fat finger away from being available to anybody curious.
Some sort of divine intervention answered my panicked cry for help by disabling my laptop soon after I posted this. It had just finished a backup when it went into some sort of “kernel task” CPU overdrive which stopped the battery charging and now it refuses to turn on. (2018 MacBook Pro - it exhibited this symptom when I first got it so I’m pretty sure that the worst case scenario is a trip to the Apple Store and a little time to work on things away from the computer).
Fingers crossed it miraculously recovers tomorrow morning
> Has the third been done, or is someone working on it?

Can this be done though? The way I understand this: Either 1. the whole model is specified and can be proven, (which wouldn't need the second step) or 2. you can only find specific counter-examples, not demonstrate there aren't any. (That would be like a solution to the halting problem) Did I miss something?
The article reminded me of Pingu[1], which also used an invented Grammelot[2] named "Penguinese".

Fond memories of watching Pingu with my kid. I'm not sure which of us enjoyed it more! Noot noot!

[1]: https://en.wikipedia.org/wiki/Pingu

[2]: https://en.wikipedia.org/wiki/Grammelot
Without a SIM card it would be a lot harder to do my taxes, access my online bank, check my insurance, etc., because the SIM card is used to veriy my identity using a solution called BankID. (https://www.bankid.no/en/company/)
It's a lot easier then the alternative with OTP codes, especially since BankID is now supported by a lot of different sites and services. From government, banking, phone companies, etc.
I used a dumb phone until recently. It was only possible, because my partner's phone could fulfil both of our "smart" needs. It's not easy to get around that. If there's just 1 service that requires a smartphone that you can't do without, you have to get one.
Regarding your edit: https://news.ycombinator.com/item?id=16131314

In other words, it's completely OK to downvote opinions. I think it's wrong but I don't make the rules here.
Could you expand on this? I’m interested in the opinion
I lived SIM free basically all my adult life, but I had to buy a SIM last September, because a new European banking regulation that requires 2FA.

SMS 2FA is a joke tho.
I'm also using Bear for note taking. It is a great tool that includes a nice way to export documents with style. One thing I struggle with is taking notes for things not related to work. This might be because I have a separate set of notes for work and not work. After reading the article I've decided to try and use one diary for everything. One note per day, but all in one place.

A few things I miss for this to be really good are:

1. Folding. A single file will be long. Being able to fold the major sections (# Work, # Private # Projects) would be really helpful. It seems Bear is planning to add folding.

2. Security. One can select all notes under a given tag (for example #Diary), but if they contain an attachment - for example an image, the password based encryption can't be applied.
Expand expand expand, in small incremental replacements that actually offer no net gain over time...
Hypothesis: On twitter, when your follower count exceeds the number you're following, you become a little nutty.

I've noticed this odd trend where if people gain a lot of twitter followers, then often their views become reinforced to the point that outsiders look at their tweets and wonder what happened to make them express such ideas.

But there's bias here: for tweets like these to be noticed, they need to be seen. Only those with followers are in that position. It makes sense that wacky tweets we notice tend to come from people with lots of followers. So I'm not sure if it's true, or if there are just a lot of odd people on twitter.

My own experiences indicate that the sweet spot is around 1k followers. More than that, you attract a lot of noise. Less than that, and it's hard to get noticed. But perhaps this is just personal taste.

The reason I mentioned this is that I'm in the fortunate position of having attracted a lot of followers recently (for whatever reason), but I'm concerned that things will turn sour. I like twitter right now. There are cool people on there, and I've met friends through the platform. But will it still feel like that at 5k followers? 10k? 50k? I feel like I should stop whatever is accelerating the follower count before it reaches an inflection point. So the article resonated with me.

If you're ever jealous of people with lots of followers (or fame in general, for that matter), just tune in to https://twitter.com/paulg and see the way people respond to pretty much anything he says. What's the point of being famous if you can't express an idea without being beset by thoughtless people?
He's looking to offload it to someone else: https://news.ycombinator.com/item?id=17911573.
here here!!!
If I understood it correctly, it just turns undefined behavior regarding aliasing into compiler errors
Huh? Toronto's weather is all over the map. One second its -17C, next it's flooding, in the summer 35C+ happens on the regular. Toronto has crazy weather.
To be fair, Josephus has only two quotes about Jesus, and one is definitely a forgery, although it is debated if it is a full or only partial forgery. The other quote is considered authentic, but just mention "James, the brother of Jesus". So not a lot to go by.

But you are correct that historians generally consider Jesus to be historical. It is not so much due to Josephus though, but more due to critical reading of the Gospels themselves.
Deliberate practice is definitely required to improve beyond basic proficiency, but mere practice is what gets you to proficiency. Mistakes will be reduced, but technique may be imperfect.
There was another cool streamlit introduction posted on hn some time ago: https://towardsdatascience.com/coding-ml-tools-like-you-code...
> It worries me to read that the US immigration department are using anonymised cell tower histories to trace people,

It worries me to read you’re still using Facebook even though it looks like you value privacy. Why’s that? (Not trolling, serious question)
Just assume that whatever you say to anyone will end up in the news next morning.
Must be why Twitch streamers get swatted?

There’s always going to be a way around things, especially on the internet. I do agree anon names will act a nice proxy initially.
I hear you on the double-quoted strings; and that's why the only black configuration I allow myself, is "skip-string-normalization = true" in my pyproject.toml
Absolutely. And it does not hold true only for Christians. Christianity is just an expression of deep, basic virtues, that are valid for human being at a whole.

Now, ask yourself:

Do you need to abandon your family in order to leave it behind?

Will you lose love to your family, if you free yourself from the bounds of it?

Was his mother at his side, when he died?

Was Jesus was aware of kin-keyness?

Mankind's history is full with corruption by the family, the "folks", and similar peer pressures.
One mustn't go the spiritual way: Just check out "Romeo and Juliet" vs. the two "Houses".

Though, I must admit, that I do not find this forum (or any internet forum at all) to be the right place to go deeper into such topics ;-)
How has Norway solved the "slamming" problem, where attackers ring the phone company and get a duplicate SIM?
> The Jesus stuff might be more on the liberal end but Christianity in general is very much socially conservative.

“Christianity” is about Christ, not something else.

> Especially the old testament.

The old testament is context for the NT, but with a very small number of exceptions (and with the exceptions of potential general applicability to Jewish Christians, which were common in the first Christian communities but rare today) the dictates of the OT law expressly are superceded by the “Jesus stuff” for Christians.
An iPod touch or iPad/Tablet will also suffice to access most "app only" services.
Stating the obvious.
Reading source code, no matter what quality it is will make you a better engineer.
Reading software architecture focused material (books, blogs...) will make you a better architect.
Yes, Canada's bet on skilled immigration is really smart of them, and it's a neat way of side-stepping the usual social tensions that we hear about wrt. "anti-immigrant" sentiment from socially marginalized or low-income natives.
> make sure you don’t leech off of those around you

I think that's a toxic attitude. Picking up the phone for someone else every now and then is really not a big of a hassle. Obviously I don't know the whole situation, but in general I do think that one should be ready to do such minor favors for another human being without calling them a leech.
I found a 2015 post on HN listing some stable n-body choreographies[0].

[0] https://news.ycombinator.com/item?id=8867741
> What can you achieve with fame that you cannot achieve with money alone?

You can use fame to get money. If you're poor and famous, you can become rich off of your fame. But obviously, if you're poor and not rich, you can't become rich by using the money you don't have.
No, that's not quite right. Unsafe code written today does not by default have undefined behaviour -- if it did, it would be a useless tool. You can write programs using unsafe that have undefined behaviour (of course) but that's a bug in the code written.

This paper isn't about that (nor is it necessarily about unsafe Rust). It's about compiler optimisations. Because Rust has very clear rules about references and borrows, the idea is to come up with a model for Rust code that allows for a particular optimisation (namely, to allow telling the compiler that two pointers do not alias -- do not refer to the same memory). Obviously unsafe code would need to make sure it obeys this new memory model, otherwise the code would be invoking undefined behaviour.
Xiaomi aims to go high-end as exec says will compete with Huawei and Apple
I had been living without a sim card for almost 2 years, and just use wifi. Loved it. No I have to because I am starting my own company and have no choice, otherwise I would have removed tphone completely.

But I will do it
If you're trying to analyse a program statically and find some property of its runtime behaviour, the halting problem only gets in the way when you need to be accurate about both whether the runtime behaviour does or doesn't have the property.

Here, it's OK if the borrow checker rejects some programs which the stacked-borrows runtime model would say don't in fact invoke undefined behaviour, so long as it doesn't accept any which do.

(And it surely will give some rejections of that sort, for example if I violate the borrowing rules in a function which is never called.)
Some of us struggle with having constant connection to the internet in our pocket. Its a distraction at its mildest, and an damaging, health affecting addiction at worst (social media, and 24/7 work/communication expectations especially).

Well done to those of you who are able to carry around a smartphone and regulate yourselves but some of us need to take more drastic action to cut it out.
I'd say that black is way too opinionated, especially since it doesn't produce good output a lot of the time. At my company we consistently have to adjust the way we write code in order for black not to mangle it.
Isn’t BankID subject to the same old issues with cellular networks that make SMS 2FA insecure? Mobile provider support human factor, connection MITM’ing, etc. (https://news.ycombinator.com/item?id=16810266)

Edit: from sibling threads I can see that issuing a duplicate SIM card in Norway may require a very dedicated attacker, but mass-spoofing cell towers could still be an issue. I don’t know why do companies dislike non-SIM-associated OTP tokens so much…
This, and Elon's treatment of his first wife are why we wont be buying any Tesla products.
The Complicator's Gloves
In Spain, around 1600 and the height of the Spanish empire, there were two particularly well known writers. One was Cervantes (Don Quixote); the other Lope de Vega ("the sheer volume of his literary output is unequalled, making him one of the most prolific authors in the history of literature" [0]).

It makes an interesting case study for this sort of thing. Both were prolific; but Don Quixote is clearly the greatest work in the Spanish corpus despite Lope having vastly more written. But to some degree both authors are remembered.

[0] https://en.wikipedia.org/wiki/Lope_de_Vega
"have enough money to have a great quality of life without stress" is how many people define "rich".
As someone who has read lots of anecdotes (but sorely little actual anecdata) about poking CRTs with out-of-range
values and has thus kept well within defined limits for fear of breaking my own stuff... what did this do?
RcloneBrowser (Rclone GUI) Lets You Manage Multiple Cloud Storage
I would take your audacious claims with a grain of salt. Unconventional progressions don't equate to creative or good song writing. You could be the next Nick Drake or Erik Satie, and I am all for deliberate focused practice, but you have to crawl before you can walk. Limit yourself to three chords and write a song, you might learn something.
Speed Reading in Chrome
> Why trying to become rich? Once you have enough money to have a great quality of life without stress

Generally speaking, to me being rich (disclaimer: I'm not) means having that kind of money today and the confidence that, no matter what happens (barring large scale events like wars or asteroids) I will still have it for the rest of my life.
Is that the same as BankID in sweden? That is not 'connected' to the sim card, but to the device itself.
Yes - it took me a long time to realise he was cruel and lazy, years later I picked up the saxophone and was always lauded for my intonation.

I can hear the notes (and I also seem to be way more sensitive to key clashes than anyone else I know)

I just can't sing very well.
Ask HN: Best Programming Course for Complex Systems?
Hi HN!

I am currently interested in learning about Complex Systems and the theory that has been developed in the recent decades.

I am reading the excellent book called 'Introduction to the Theory of Complex Systems' (https://www.amazon.de/Introduction-Theory-Complex-Systems-Thurner/dp/019882193X) which rigorously goes through the fundamentals on the theoretical framework.

It is however not very hands-on: I would like to code simulations on the side and get my hands dirty with coding.

I am looking for a course that specifically targets algorithms/frameworks that is used by Complexity Researchers. I know complexity sciences touches many disciplines, but the premise of the book is that there are underlying patterns in all types of complex systems, so a generalist approach would be preferable. (I am not interested in beginner course in coding, for eg.: Nature of Code (https://www.youtube.com/user/shiffman) touches on some algorithms to simulate multi-agent behaviour)

Please point me towards a good source :)