skysight-inc/HackerNews huggingface dataset:
> Wouldn't be the first time: https://www.history.com/news/california-once-tried-to-ban-bl...

150 years ago...

I don't see what the rest of your comment has anything to do with the discussion at hand. DMVs are terrible everywhere. The DMV in a rich zipcode suffers from the same issues as a DMV in a poor zipcode. Both rich and poor have to use the DMV.

The problem is not that racist white people are trying to run the DMV into the ground to keep black people poor. The problem is that many of our government institutions are run like shit. In many cases, fixing these institutions would benefit the wealthy more than the poor. Yet it doesn't happen. Why? Well, like with any other question regarding complex systems, there are different reasons depending on the case. Trying to distill it down to "racism" does not get as any closer to identifying the cause, nor fixing it.
Julia has the best REPL for this. You can \<type><tab> to type unicode symbol and emoji.

Better yet, you can reverse look up how to type a thing:

help?> χ²ᵢ
"χ²ᵢ" can be typed by \chi<tab>\^2<tab>\_i<tab>
I love older cars, and currently race an LS swapped RX8 - but my daily driver is almost always something new every ~4 years or so.

I consider it part of my entertainment budget, and while I don’t love eating the depreciation I’ve done fairly well over the years picking cars which have held their value (generally due to their niche appeal).
This is the argument people have made against any number of tax payer funded things. Pick your politically charged poison on the topic.

Search and rescue is something we fund. Do we want to send bills to those we get lost in the forest? What about for police interactions? There's a very slippery slope to go down here.
Speaking of the lack of software as a feature, are there any new cars you can still buy that aren’t bloated with software anti features?
> Taste is a proxy for nutrition

Please explain ketchup

> Murdering people is bad not because of some abstract causing of pain

Let’s just say it’s not, pain and suffering are still bad things youd want to minimize

You could say that the bad thing about death isn’t pain itself but the lost of life (otherwise an instant death would not be bad), based on the axiom that life is a good thing. You could also make your own axiom that only human lives are good.

> murder begets murder, making existence of organized society very hard and inefficient

So massacring uncivilized tribals that are not part of your organized society, like in the colonial days, is OK?
Cars get recycled though, maybe not to automotive steel grade, but autos are more like metal storage than metal destruction.
Ahh that answers one of the questions I had when I was thinking about implementing something like this myself, in that none of the audio APIs I know of (WASAPI and ASIO) would give you any chance of syncing your clock with external sources, thus leaving you at the mercy of clicks. Thanks for clearing that up!
There must have been a warning during compilation, and it seems like apple devs have been ignoring it.
ABS can be disabled by pulling a circuit breaker in the car's electronics box, usually installed somewhere near the wheel or in the glovebox. I would be upset if my car started demonstrating problems consistent with faulty ABS and I or my mechanic would have no way to troubleshoot it.
Fluoroquinolone antibiotics like ciprofloxacin and levofloxacin are well documented to damage mitochondria, both function and their DNA. "Brain fog" is a commonly reported side effect from people who are permanently affected by fluoroquinolones. These drugs:

- Delete backup mtDNA

- Cause oxidative damage to mitochondria, impairing their function

- Impair mitochondrial replication

It makes because fluoroquinolones are designed to block bacterial DNA replication by plugging up the enzyme that glues DNA back together after it's separated during cell division. mtDNA replication is very similar to bacterial replication. They damage eukaryotic cells too, likely through a different mechanism.
I think there’s something to this. While the big co’s do train, they also have a lot of cachet and recruit from top schools whose grads would be fairly likely to land jobs even without the big co internships.

Meanwhile, at a small company, the six-figure cost of a single engineer creates a very hard limit such that there can only be a few engineers on the team. Given that constraint it is very hard to justify allocating one of those scarce “roster spots” to a junior engineer who may not add much value to the team for a long time depending on how hard they work and how aggressively they ramp up.

Paradoxically, the high salaries that engineers command make training engineers on the job much more difficult.

I wonder if there is an opportunity there for something like an apprentice developer program, as a step on the ladder underneath “junior engineer,” to help more people get past that first step.
There are many forks of schemats out there that add various features. Here’s mine: https://github.com/danvk/pg-to-ts

It copies Postgres comments over to JSDoc/TSDoc comments, emits some data about foreign key relationships and supports TS types for json/jsonb columns via @type comments. Feel free to copy any of those feature if you think they’re good ideas :)
To add to the depression - as they say it's lonely 'up' there.

(even if the organization that you founded is doing well financially and well past it's founding stage.)
For example, if you are willing to accept undecidable typechecking, you can define inductive types in a much simpler theory (inductive types and dependent pattern matching are by far the most complex parts of CiC): https://homepage.cs.uiowa.edu/~astump/papers/from-realizabil... .

There are a few other examples but this is the one that immediately sprung to mind. The complexity of CiC is very much about decidable typechecking, it's not fundamental to writing a sound dependently typed proof assistant. And anyone who has actually worked on a kernel for CiC knows that while it is "minimal" compared to what people want to do with it, no efficient kernel is nearly as minimal as something like λP2 with dependent intersections.
Show HN: Tell Your Story in Plaintext
On the vacation days, it also takes fewer vacations days to get a continuous week off with a 4 day regular schedule
Hi thanks for doing what ever you're doing to help under- and non-insured people.

I'm disabled, Achondroplasia. Insurers in my country have constantly denied me health insurance. I have documented at length my ordeal with top health insurers in the country, Who are in partnership with leading international insurers[1]. Now there is 100% FDI for the insurance industry.

I've appealed to the regulatory body with each instance, But they always side with the insurance company as the former close my requests under totally different pretext (never mentioning that they denied me a policy) e.g. My complaint is that insurer not providing me the policy, Insurer responds to my complaint as 'Your refund will be processed in 10 days' and my regulatory body closes my complaint as 'Insurer has responded'.

This in-spite of clear supreme court verdicts in similar previous cases asking the insurance regulator to ensure disabled are not denied policies.

[1] https://abishekmuthian.com/insurers-are-putting-the-lives-of...

P.S. I will update some latest developments to the blog tomorrow where a insurer asked me to lie about my disability to get the policy.
How would these work better than drones with thermal cameras.
It's not the screen so much as the keyboard that is the problem
if the function doesn't support %n write, then why did it crash?
This is fun! Here are the results I got:

| Username | Similarity Score |
|-----------------+------------------|
| tosh | 0.939 |
| app4soft | 0.931 |
| beefhash | 0.930 |
| joseluisq | 0.929 |
| todsacerdoti | 0.929 |
| pjmlp | 0.928 |
| rbanffy | 0.928 |
| blattimwind | 0.928 |
| formerly_proven | 0.928 |
| ducktective | 0.928 |

I identified three usernames in this table right away! tosh, todsacerdoti, and pjmlp. In fact, I like the stories posted by tosh and todsacerdoti quite often and I like the comments posted by pjmlp very often.
This an unfair example of trying to make the numpy readable:

n = len(a)
M = np.exp(1j*k*(np.tile(a,(n,1))**2 + np.tile(a.reshape(n,1),(1,n))**2))

This has a common issue in functional programming and there's an easy trick to fix it. Change the big one liner by naming things:

n = len(a)
A = np.tile(a,(n,1))
A_T = np.tile(a.reshape(n,1),(1,n))
M = np.exp(1j*k*(A**2 + A_T**2))

Much easier to read now, and it even exposes an error (the sqrt is missing!). Before we fix that, let's make the obvious simplification of using the .T for transpose:

n = len(a)
A = np.tile(a,(n,1))
M = np.exp(1j*k*(A**2 + A.T**2))

Then let's use numpy's broadcasting to be more idiomatic:

A = a[:, np.newaxis]
M = np.exp(1j*k*(A**2 + A.T**2))

Now let's fix the bug:

A = a[:, np.newaxis]
M = np.exp(1j*k*np.sqrt(A**2 + A.T**2))

or even

A = a[:, np.newaxis]
root_sum_squares = np.sqrt(A**2 + A.T**2)
M = np.exp(1j*k*root_sum_squares)

I think the last two of these are fairer comparisons.

--------

And to pitch the hype train for jax: if you want to fuse the loops and/or get gpu/tpu for free, just swap np for jnp:

A = a[:, jnp.newaxis]
M = jnp.exp(1j*k*jnp.sqrt(A**2 + A.T**2))
I asked this question on hn about a year or so ago-

Ask HN: Royalty based compensation for software engineers?
https://news.ycombinator.com/item?id=20187775

Unfortunately it did not receive any traction. Royalty based comp would be an awesome step forward for engineers.
I agree. This is a sorry situation to see, and neither of parties seem correct here. $18k is seems a little lowballing for a vulnerability that does actually work on a subset of iCloud accounts. and provides a method to bypass 2FA. At the same time the person lashing at Apple for handling seems quite unprofessional. In a perfect world a issue like this would be solved with better communication by both parties.
Unfortunately Julia is a “repl-based language”. You are expected to open a repl and work in it for as long as possible so that your compilations all remain cached. Packages like Revise can help reevaluate code that changes so that you don’t have to leave the repl.

I do wish that Julia would start up in an interpreted mode and compile in the background so that it would be fast enough when first opened and then attain maximum speed later on. (I think this is how JavaScript engines work?)
> I own a 2000 mercury grand marquis.

With the secret de Sade trim, I hope. /s
> is there anything this can do for me that a backpack can’t do?

I agree it’s early enough that the tangible uses for this type of tech are still a bit blurry to us. But I also think this is a bit like saying “is there anything a car can do for me that my legs can’t do?”

It depends on what criteria you evaluate it on. Yes you can move from A to B on your own steam, of course. But automation is incremental. These things aren’t a significant obvious benefit, until they are.

Scalability is one thing. Comparing writing notes in my iPad to writing them on paper, at first glance doesn’t look much different, apart from that the iPad can effectively store a lifetime worth of notes, easily searchable, shareable, linkable etc. Its scalability potential (for this use case) is almost infinite.

When evaluating these sorts of things it’s worth bearing in mind the “leverage” that the tech might give us, that we didn’t have before. This scalability/leverage benefit is often not immediately obvious until you look a little bit below the surface.

This robot dog might start off by carrying your water bottle but later it might be able to also carry a foldable chair, a waking stick, food and water, and a communications device, suddenly meaning that someone with limited mobility can actually go out for a walk on their own and have everything they might need carried alongside them as a mobile support system. That person just gained a little bit of extra freedom. At the enhancement end of the spectrum, an athlete could use this “support robot” to extend the possible range of their training runs.

I do wonder about the near term use cases for this sort of tech (at this price point) for people with disabilities of various kinds.

Often leading edge tech starts out in the realm of compensating for disabilities for a smaller audience before progressing to being looked upon as an “enhancement” for a wider audience (because it becomes affordable enough and useful enough to start to appeal to people who don’t need to compensate for any particular issue but see it as a net convenience worth paying for).
Both fair points, thanks for your comment.

GameStop’s filing did note the following [1]:

“the inquiry is not expected to adversely impact us”

I feel this is a statement they would be unlikely to make if they felt the SEC’s investigation was likely to result in retail sell-offs. They’ve been able to use the recent dramatic increase in their share price to pay off $216m in debt a year early, and add a further $551m to their bank account. Plus, they’re currently in the process of raising an additional $1.1bn from additional share sales.

The SEC themselves have commented on the investigation too [2]:

"SEC staff continues to monitor the market in light of the ongoing volatility in certain stocks to determine if there have been any disruptions of the market, manipulative trading, or other misconduct," a spokesperson for SEC said in a statement.

"In addition, we will act to protect retail investors if violations of federal securities laws are found."

That last sentence leaves me feeling optimistic.

[1] https://www.bloomberg.com/news/articles/2021-06-09/gamestop-...

[2] https://www.reuters.com/world/us/us-sec-says-observing-marke...
So what I’m hearing is to go all-in on a permanent life insurance policy.

JK, I know they’re not popular with the FIRE crowd. These are quite different than other types of insurance though. They may work out in your favor compared to bonds due to the tax advantages.
Aussies claim extraordinary thermal discovery
You have not factored in the person that I sold it to for 30.
Yeah. Many editors (VS-code, julia repl, atom), support something very similar where I can type in `\ome` tab complete to `\omega` tab complete to ω. (similar completions exist for many other common unicode symbols).
> You vacation days are also reduced by 20%, a typical figure would amount to being deprived of another week of paid time off.

When you need only 4 days of vacation to take one week off, 20 paid vacation days will let you go on vacation for 5 weeks per year, just like like a full-time employee with 25 vacation days.

In fact, if your employer is flexible about which days you work, you could leave on a Friday and return next Monday (4 days) without using any vacation days.
The effect isn't unique to covid-19 either. I heard from several people when that 2017 flu went around that they had the same issue. One of them was complaining for over a year until smell/taste finally got better/normal again.

(Not trying to downplay covid-19. Just pointing out that it's not an unknown side effect from this type of disease)
The truth of the matter is that I've never seen anywhere where this isn't the case to some degree. Long term thinking is rare.

I think it's very safe to assume the level of technical rigor in a given undertaking just falls to the minimum required unless there's a very strong force keeping it in a higher state. Maybe places like NASA JPL or Apple manage to float above the minimum because of a really unified and powerful culture, but outside of that I'm thinking it's more or less universal. e.g. the 737 MAX debacle illustrates Boeing's stochastic search for the lower bound of technical rigor when it comes to flight control software quality.
The parent post said "I wouldn't be opposed to motorcycles being outlawed". They didn't advocate for outlawing motorcycles. I think "Just because it doesn't affect you" is a fine reason to have a "no objection" position.

I can see why you may feel offended, but I don't think the parent post deserves your anger.
the raising of numba shows us why numpy and "just write vectorize-styled code with a C++ backend" is not enough.

yet Numba basically makes your python code not python. It doesn't support so many things: pandas dataframe, or even as simple as a dict(), which means you often have to manually feed your numba function separate arguments.

To separate a complicated calculation into numba-infer-able parts and the not ones is not fun and sometimes just impossible.
Search and rescue can bill the recovered people if they set out recklessly, like without proper equipment or in bad conditions.

The point of putting at least some of the cost on the people being rescued is to make sure more people don't go out dangerously and require rescuing in the first place. I don't know if it makes sense for them to fund the whole thing but I see the purpose of the incentive.
> The closest model I could find to this is a SaaS

Except none of the revenue goes to FOSS contributors.

Even worse: the SaaS provider eats away any revenue from paid support from the authors.
I wonder if an Aptera would qualify as the Geo Metro of EVs? I haven't owned a car since 2008 - living in SF helped. Was commuting to Mt View with the SF2G group. There is one member of the group who's Twitter handle is "Electric cars are still cars" Be that as it may, I reserved an Aptera with a 1000 mile range. Feels less like a car and more like a flightless airplane.
Isn't this bit about causing pain in food?

> ... boil them alive is one of the cruelest forms of torture I've seen.
Except it's not ad infinitum. It's ad constant, where constant is sufficiently frustrating for a few generations. Technology always gets there
My new Audi has a $600/year subscription for upgraded matrix LED headlights.
I really don’t think that’s the problem with Python. The problem is that the actual semantics of the language make it so that if you did have a compiler, very very little could be assumed about a piece of code at compile time.

Classes in Python are basically sparkling Dicts and their memory layout can change at any time so basically everything must be boxed. Anytime you write a simple loop, the runtime has to ask “okay, what am I looping over!” “what sort of object is this function inside the loop acting on?” “How big is this object?” “Where does it live in memory?”, etc.

This is deeply baked into the semantics of the language, which is why only specific subsets of the Python language can actually be made blazing fast while retaining compatibility with Python semantics.
In the Julia REPL you can type LaTeX commands for Greek letters and math symbols, and a <TAB> converts them to the actual character; so \mu<TAB> gets you a μ. Or you can just input the Unicode directly. I’m constantly doing such things everywhere, so the extra few keystrokes seem worth it to get code where the math looks a more like math. Using the mouse and a menu or character palette is the worst possible solution.

EDIT: In general it makes sense to set up your keyboard with a compose key and a “dead Greek” key, and set up your Compose table so the shortcuts make sense to you. Then you can use an expanded set of symbols everywhere, including comment boxes like this one. You can even put things like your email address in your Compose table.
Yeah this one has perticularly irked me we have data on the vaccines dating back almost as far as data on COVID. There is less overall cases and less overall time so there are more unknowns but there isn't also the same phenomenon we see of "COVID long haulers" amongst vaccine recipients. So far we have MORE evidence of spooky but speculative long term effects for COVID itself.

The only argument that has made sense to me is the Freerider argument, or "both COVID and the vaccine have unknown effects so I will try to avoid both" because COVID cases are currently so low particularly when bolstered with "I'm open to taking the vaccine especially if cases go up but want to delay for more data for now". I'm sceptical it's going to be possible for anybody but a marginal minority to be a Freerider who doesn't vaccinate/distance/wear PPE long term because R0=5.7 in Wuhan during the initial outbreak so it seems like it takes mass scale efforts to reduce transmission no matter how one goes about it.
Thanks!

Does anything like this exist for Python?
Not gonna dox other people, you can easy figure out my name and reach out with a "real name".
How exactly do you type mu? On a chalkboard writing the mu sign is trivial, on a computer... well I don't have a mu button.

Edit:

There are like 5 replies to this mentioning different ways of doing it (including memorizing 3 digit unicode values) none of which seem more intuitive than writing "mu".
Tomato sauce and vinegar chips? Not sure you can even call that a sandwich. The sudo logo on the other hand is the archetype of a sandwich.
> Just wait until electric cars hit the mainstream - those things are going to last forever in places like California.

Their batteries sure won't.
It seems like it only generates types for entities.

My dream library would be basically a generated client that looks like knex or objection but with full type-safety and mapping.

I don't like prisma that much as it takes control/power from the developer. But it can be great if you don't know SQL.
This is mostly because Cydia Impactor stopped having much effort put into it.
Oh, why don’t you all just get a room already.
You have the strongest negotiation power with other companies at year 2 assuming the stock has done well. Companies need to match/exceed your projected comp 2 years out, and for some reason are more willing to do so when someone else is paying you at a certain level.

At Amazon you may face a cliff in year 5 if you haven't been performing at the 80%+ mark for your level and haven't been promoted in the last 4 years. At the higher levels where advancement is more difficult this increases the incentive to lock in a 4 year compensation package of your 3 & 4 year comp.
Hi, I'm Nate. Nice to meet you.
No, because that’s ridiculous. There are humans that can be cruel but I’m not saying humanity should mimic this. I’m saying that humans are much more developed than animals and can do better. Just because there are outliers that doesn’t mean the notion is invalid.
Another thing to add, the python example code is a written in quite a weird (and in my opinion difficult to read way).

n = len(a)
M = np.exp(1jk(np.tile(a,(n,1))*2 + np.tile(a.reshape(n,1),(1,n))*2))

is equivalent to

M = np.exp(1jk(a[:,None]*2 + a[None,:]*2))

which I find very easy to grasp.
This is done in Black Mirror, Season 4 episode 5 Metalhead. It’s terrifying. The dogs were armed.
It could also be made with ultra cheap repurposed routers such as the old TP-Link TL-MR3020 or similar ones, whose hardware is really limited for doing anything serious but still can run older OpenWRT versions. All it needs is to activate a file sharing service and stick an USB drive to be shared with the usual protocols.
I mention it because I've found some at flea markets for 5 to 10 Euros.

Actually a possibly better solution would be to use a ESP32-like board (therefore no Linux or any other OS) to keep power consumption as low as possible, in order to supply it through solar power, de facto turning it into a self sustaining device in which passers by could download files or even upload their ones, including messages, photos etc. that would stay online say for some time before being deleted.
I have no idea though if the ESP32 network stack implementation and resources would allow that.
I'm seeing US$159-$199/month.

https://www.greencarreports.com/news/1129864_nissan-leaf-lea...

Basically unobtainium lease rates outside of USA. In Canada, I'm seeing ~US$400/month for 60 month lease on a Leaf, and 40% more on a 3y lease: https://www.leasecosts.ca/en/cars/nissan/leaf-s-electric/202...
You could get a Chevy Bolt fairly recently for like $30/mo.
it could take your meat dog out for a walk for you