skysight-inc/HackerNews huggingface dataset:
I was in total disbelief when I found out that majority of British police force does not even carry a weapon. I am now watching British police drama “Line of Duty” and they show their “SWAT” outings and the amount of procedure around this is insane. The cherry on top is how they chase an extremely dangerous suspect in a Mercedes van. A van! Such a stark contrast with militarized SWAT teams in North America, their weapons, tactics, and vehicles.
To be clear, this is nonsense and nobody actually does it. It’s the same kind of bullshit as saying the “ok” symbol is racist or whatever. I don’t know how many people honestly believe it or if they’re all just trolling, but if people do honestly believe it then they are wrong.
Indeed, it's a mess and the surrounding tooling ecosystem is a pile of weird Windows GUI tools of about the quality you'd expect for very expensive tools that do very little provided to a captive customer base. It's all very circa 1990s RAD-tool mania-esque still in many ways.

That said, we're working with some groups in some automotive companies who are breaking this mold rapidly.
> FB isn't some harmful drug like thalidomide

All addictions go through the same systems in our brain, the same regions releasing the same neurotransmitters. Thus if i'm OK with social addiction then it should be OK to give mild drugs and gambling to kids as well , if we want to be fair. Behavioral studies need to research more the long-term effects of SM use, now that control groups still exist.

I also don't think those behaviors were so frequently observed in the past, we used to call such people sociopaths, nowadays everyone is incentivized to become a sociopath and this is normal?
I think the concern is that they've delivered zero vehicles (but even then as you say, with the caveat that they've delivered to employees).

I haven't been following Rivian closely, but I was quite impressed by their PR event with Youtube folks recently https://www.youtube.com/watch?v=KGqexebCcUo - it definitely seems like a real, capable vehicle. Add to that their orders from Amazon (and presumably others at some point), and it seems like a plausible company.

Now, whether they have the margins and cash reserves to handle volatile markets / logistical concerns to survive long enough to become a long-term player, I'm not sure.
I think it's unreasonable to expect a victim to assume that the assailant won't harm them. Moreover, the victim has a right to their property and safety--it's insane that we would put people in a situation where they have to choose between loss of property/safety to preserve the safety of our assailant. The assailant has all of the agency in the situation--only the assailant can choose to avert the situation--so the assailant should bear all of the responsibility for the encounter. If they're killed in their enterprise, so be it.

Many disingenuously respond to this with some variation of, "but theft doesn't deserve the death penalty!" Of course, I'm not advocating for the death penalty for thieves--defense isn't about justice or sorting out what anyone deserves, it's about preserving one's rights (including one's right to life). How we charge thieves in courts is a different matter.
> In 100 years, people will be complaining to their representative that the solar shade is causing their petunias to grow sideway, having forgotten that said shade was science fiction back in 2021.

I hope your solar shade will take care of ocean acidification, deforestation, the end of petrol, CO2 levels, decline of soil quality, &c. Once again, you're fixing one of many symptoms and not the root cause. Closing your kitchen door because the stove is on fire will save you a few minutes but if you don't call the firefighters your house will still burn down.

I don't think the "tech will automagically save us in a future I won't live to see" works anymore to be honest, it's just too easy and morally dishonest, especially when the solution is not even remotely close to be technically feasible
Traffic and road infrastructure for cycling and cars is radically different from the US. Has anyone attempted to compare cycling injury and death data while controlling for street design, relevant laws, and driver behavior?

> we are talking about optimizing a number that is already very low.

In the US, we have almost zero change of optimizing the factors that are better at reducing not only bicycling but traffic injury and fatalities generally. Americans are so enamored with the personal automobiles that fixing the roads and infrastructure is basically a non-starter. Holding that factor constant, the safety of wearing a helmet starts to become quite significant.
Fair perspective. What I felt compelled about is that it seemed like the message was "we shouldn't tell people to stop" simply because they won't comply, whereas to me applying social pressure is a part of the education and prevention, as well as motivating people to stop by annoyance and embarassment.

I'm a little short on time, so I'll also concisely say that at first I referenced addiction almost as if to show similarities and contrasts (i didn't fully consider it a real one), but now on further thought it really does seem like a true addiction...
You may be using Twitter wrong. Switch it from "top tweets" to "latest tweets" mode, and then follow people who tweet and retweet things that are not outrage-driven. I follow a lot of interesting people and I learn a ton.

But even if Twitter were pure outrage, that is far from the most serious social media damage to society. Twitter, for all its faults, is relatively low on mis- and dis-information because people call it out. It's all one conversational space. Facebook, which is much more fragmented, enables flourishing niches of bonkers thought. Some of those niches are just wild-type insanity, but many more are gardens of crazy cultivated by people with a financial or political need for that.

I firmly believe that without Facebook, we wouldn't have a situation where thousands of people are dying per day of a preventable disease, with 95+% of those because of mis- and dis-information about the disease and the necessary countermeasures.
Would it be OK to settle for "we have mass media figured out better than social media"?
Is your argument that a cyclist can reduce health risks more by wearing a mask than wearing a helmet?
Assume Facebook no longer exists tomorrow. The same incentives that drive Facebook's behavior, i.e. human consumption patterns, will still exist. And will be exploited by another company. Facebook is merely one instance of a problem deeply rooted in humans.

Sure, there is the anti-competitive aspect to it. But wrt to the divisiveness and polarization, the exploitation by political actors, it would not make a difference. Something else would just rise up to fill that void. It's the digital equivalent of junk food. Banning Coke, would do nothing to solve obesity.
JPM quarterly options trade impact on stock market
Well if the community is fine with wikipedia pages then so be it.
> This feels like a lack of planning.

In any complex undertaking, how can we know when enough planning has been done?
> Any dictionary since then will give a primary meaning of cruelty and savagery, not just 'primitive and unsophisticated'

And how would those dictionaries define savagery? Webster's first entries are "not domesticated or under human control" and "lacking the restraints normal to civilized human beings" [1]. The penultimate comment works with savage and cruel substituted for primitive and unsophisticated.

(Though didn't know the etymology. An honest thank you for that.)

[1] https://www.merriam-webster.com/dictionary/savage
> who would be dumb enough to upload their driver's license to some untrusted website ...

Facebook has blocked an account of mine before, requesting government issued photo ID. I never gave any, so my account is now deactivated. But I suspect many people do cave so they can get access to Facebook again.

And, if, in the future it's a common requirement, then sure, people would do it, since it's the only way to use useful(or fun, or work-related) websites.

I what about China's system - Since the government ID is tied to almost everything, I'm sure it's common over there to give out your government ID to get access to websites. (I don't know any of that for sure - I don't live there).
Either that, or the belt is actually a bunch of locally controlled tiny sections. In which case it makes perfect sense that it stops.
It depends? But it's nice to have the option.

DTs doesn't mean everything is proven to the max.

Haskell already has a proven `NonEmpty` list without DTs - you can prove that with a product type alone :)

And that proof is useful because it allows you to have better proofs down the line. For instance, the min or max of a NonEmpty always exists. But the min/max of a list can be Nothing.
The majority of cryptocurrency mining is paid for by fixed inflationary rewards, not transaction fees. That means that the power used by mining isn’t directly dependent on the number of transactions being processed. When you hear “each Bitcoin transaction burns x MJ”, that’s a simplification.

Custodial cryptocurrency services therefore don’t consume meaningfully more or less power than non-custodial services. They both rely on the underlying protocol remaining functional, which is where the bulk of power consumption occurs.
> I'd bet she just wasn't that great on a bike

Literally blaming the victim. Not a good look.
It's really neat that you did this :)

Of course you will never please everyone, especially in the extremely heterogeneous Common Lisp community, but I think it looks sharp.
In AMD land, `rocm-smi` is like `top` for your gpus. Very similar in capabilities and functionality to NVIDIA.
Just because someone else asked:

here's the Rust code:
fn fib(n: usize) -> u64 {
match n {
0 => 1,
1 => 1,
_ => fib(n - 1) + fib(n - 2),
}
}

fn main() {
println!("{}", fib(50));
}

Here's the Lisp code:

(defun fib (n)
"Return the nth Fibonacci number."
(if (< n 2)
n
(+ (fib (- n 1))
(fib (- n 2)))))

Again, I'm not trying to benchmark the languages, I'm not interested in this language drag racing competition/flamewar, I don't care about how performant a language is in the end. I care about how fast a language is for unit of time I spent. This metric is obviously only useful to me, because if you know a lot of Lisp but little Rust, your time spent will be very different.

I also know the Rust snippet will crash at fib(~100), and that I could write the thing in a loop and get there under 1ms. The same is surely true about Lisp.
More dangerous routes on a more regular basis (committed to commuting on roads with cars), and mountain biking:

https://www.cyclehelmets.org/1261.html
I now use https://archivebox.io/ and now am preparing to do a backup of my pinboard.in to it.
I’ve been increasingly coming around to the opinion that computers have gotten kind of boring. I miss how weird and different computers used to be, both in terms of hardware and software.

For lisps, I think Racket and Clojure feel the most modern.

But I’m starting to come around to the idea that there are enough modern, hyper modern, post-modern, languages and programmers out there.

Some of the value in learning Common Lisp might be in its value for living software archaeology. You can find actual code written at the time people were figuring out Big Ideas that we take for granted today. And usually the process of synthesis means that Big Ideas lose a lot of associated commentary and thinking that fed in.

There’s a place for modern languages that conform to the same general set of sensibilities. But there’s also joy in gettin’ weird with some of the old stuff. It’s smugly satisfying to beat the new kid on the block with old tricks on occasion.
I actually feel that job hunting has gotten worse as I gained more experience, though that’s most likely due to the fact I’ve gotten more picky.
The discouragement of biking is a big deal in the Netherlands. They’d rather have everyone biking casually than a few dedicated speedsters decked out with the right equipment.
>Pompom is an attractive implementation of an extensional (!) dependently typed language

>Pompom provides [...] a strong normalization system

How is this possible? Extensional dependent type theory has undecidable term/type equality, so there cannot be a strong normalization algorithm.
SeatGeek (https://www.seatgeek.com) | NYC / EU / Remote

We are hiring a Senior Infrastructure Engineer to join our Platform team. This position will be working with our B2B product, SeatGeek Enterprise, supporting some of the largest teams and venues in the world, including the Dallas Cowboys, the Brooklyn Nets, and Manchester City FC.

Our technology stack consists of Windows (containers!)/.Net/SQL Server, Hashi (Nomad/Consul/Vault), Powershell, Go, Ruby, Chef, and Gitlab.

SeatGeek is a mobile-focused primary and secondary ticketing service that enables fans to buy and sell tickets for live sports, concerts, and other events. Our primary focus is to help the world experience more live.

Benefits and perks include:
- Equity stake in a well-funded growth stage company

- (For NYC employees) A hybrid in-office approach, allowing you to work remotely a couple of days a week

- A WFH stipend to support your home office setup

- The ability to work from anywhere up to four weeks per year with SeatGeek on Tour

- Benefits package that supports health/dental/vision. We also provide annual subscriptions to Headspace, Ginger.io, and One Medical

- A focus on transparency. We have regular company meetings and Q&A panels where employees can chat openly with teams across SeatGeek, our co-founders, and external guests from the industry

- $120 a month to spend on tickets to live events

- Annual subscription to Spotify, Apple Music, or Amazon music

If interested, please apply here - https://seatgeek.com/jobs/2970252
Python makes it pretty trivial to load compiled modules as third-party packages, and given the core language itself is already implemented in a similar way, at least for CPython, creating numerical packages as thin wrappers around pre-existing BLAS implementations was probably easier in Python than in Lisp.

It might seem stupid, but operator overloading and metaprogramming features make it fairly simple to emulate the syntax of other languages scientific users would have already been familiar with. Specifically, NumPy, SciPy, and matplotlib quite obviously tried to look almost exactly like MATLAB, and later pandas very closely emulated R. It's a lot easier to target users coming out of university programs in statistics and applied math who have been using R and MATLAB and teach them equivalent Python libraries. Trying to teach people who aren't primarily programmers to use Lisp is going to have a much steeper learning curve.

It really didn't explode in the 2010s, either. You're thinking of Facebook with pytorch and Google with TensorFlow making it dominant in deep learning, but the core scientific computing stack goes back way further than that. As for why Google and Facebook chose Python rather than Lisp, I think it was just already one of their officially supported languages they allowed internal product teams to use. Lisp was not. Maybe that's a mistake, maybe it isn't, but it's a decision both companies made before they even got into deep learning.
I could spray paint a garter snake for ya, would that do?

(sorry)

Venoms are often a bitch because they're not stable, I think. manufactured at point of use for a good reason.
Deciding how much fuel will be injected each cycle is not just a simple PID. The throttle body control may just be a basic servo (although it probably isn't) but the system controlling it is more complicated.
That's unlikely. Everyone got the same amount, but taxation which (eventually) pays for it, is progressive. Someone with no income will pay aa few % in sales taxes etc when they spend the cheque. As you go up the income ladder, others will have to cover the costs with, for example, their income tax.

People with average income will have to pay back 100% of it, which is not too easy to make investing it. At the 10% pecentile, you're expected to cover for about three people.
Whom, if you don't mind me asking? I would.love to see stuff change in this field.
Me: "it's immoral that we charge people for defending themselves"

You: "we often charge people for attacking people too"

I'm not sure if you think you're rebutting my point, or if you're just going off on an unrelated tangent?
Pandora's box, if you will. Social media companies created the void as they filled it. There's no putting the lid back on it now.
But for the cost, couldn't (for instance) a 16nm fab produce 90nm chips?

If not, how complex would it be to "port" an existing 90nm chip, to produce a 16nm revision? Impossible, or quite easy but not cost effective? From the POV of the car companies, could such revisions be used directly, or would they need to be qualified in the same fashion as new parts?
https://archivebox.io/ is MIT licensed. Not sure if they support that specific case but maybe send them a pull request if they do not?
Thank you! I built it to try to increase the profile of Common Lisp and have a gentle on-ramp to get new users into the community.
I'm not 'admitting' anything, just making an observation. Cultural changes can be positive or negative, or a mix of both, or neither.

I do sympathise with the libertarian take on this, if people like and enjoy Instagram that's up to them, but these social media platforms are not neutral channels. They tailor their feeds individually, to users who have limited control of their feed. The platform is in control and they manipulate the feed to serve their own interests.

I'm not going to say therefore we should do this or that thing, I don't know what the right thing is to do.

Would you accept that in principle the level of control platforms have over their feeds, and the incentives they have to do so, potentially opens them up to some level of responsibility for the consequences?
What? Yes. Killing sentient beings is objectively wrong.
> The risk of harm from COVID as serious as a head injury? No way.

Uhm, what? COVID can kill you and if it doesn't kill you can leave you with what, so far, looks like life-long disability.

Sounds about like what a head injury can do.
As someone who at one point was interested and learned all I could about the things that interested, I can say majority of it is useless, and dismissed if it ever comes u in an inter.
Is a published scientific article. Claiming that many plastics advertised as safe were found releasing endocrine disruptors under a different test and different circumstances.

So maybe the list of problematic plastics is wider that we though previously?. Have you anything to say about this? Or even better, can you disprove what the article claims?

You can choose to ignore it, is a popular response, but ignoring a problem will not made it disappear magically.
We have these boomer speedsters wearing helmets now, on electric bikes racing through traffic like they were boomers.

We hate 'em.

I presume you meant discouragement of helmets.
Apple already builds an advertising profile of you (without consent), and allows ad buyers to target ads against people with specific profiles. They reportedly do billions of dollars per year of this business. Sure, they don't sell your raw information to anyone, but neither do F/G.

https://www.apple.com/legal/privacy/data/en/apple-advertisin...

Track records are, indeed, important. Why are you giving Apple a free pass on theirs?
> risk-taking guts that Tesla exhibits to push new, better, electronic parts into test and production.

After their delaminationg non-automotive grade screens I'd be wary.

Their solution to it was to make the air conditioner always run in the sun when parked and promote it as a feature, wasting untold megawatt hours of electricity.
... as a non-profit. Keep it focused on the core reasons people wanted FB to begin with: connecting with family and RL friends (old and new) and a easy way to see what's going on in people's lives. This would be incredibly cheap to build and run. Positioned as a way to combat the evils of facecrook I would donate a large % of my annual charitable spend and I think many others would as well.

I feel that this is the only effective way to counter FBs network effect monopoly.
Delete. Your. Social. Media. Now
It's difficult to compare it if you also don't compare the culture. If you look are /r/idiotsincars, most of the commenters from the US would be treated as murderous psychopaths, as they can't comprehend people can ride bikes for anything else than sports and they are considered to be "blocking" 4 lane highways.
Hang on. You are mixing "what's true" and "how I feel about what it implies." That sounds highly unscientific to me.

"Ashkenazi Jews selectively breed for intelligence and therefore have higher inate IQ" is either true or false. That's the first question to answer and it seems logical to me that this is at least possible/likely. Once we establish that it's true, we can confront the implications with intellectual integrity.
> and certainly they have a point; these are private companies, not the government.

No they do not. This 'argument' comes about because everyone's forgotten about why it is that we don't want government to infringe upon certain rights. It's not because governments have been granted some particular characterization by God, it's because government's are powerful, centralized organizations, with power most people, or small grassroots groups of people, cannot achieve.

In that sense, most corporations of today are way more powerful than governments of the past. Thus, they ought to be treated the same way, and we ought to demand the same rights from them as the government.

Just because you fill out articles of incorporation, doesn't make you suddenly immune to respecting individual rights.
I don't think any of it was based on *Lisp. Graphics mostly developed independently. And as such, we use different words and different terminology sometimes, like saying "scalar ISA" when we talk about designing ISAs that don't mandate cross-lane interaction in one thread. Sorry!

As far as I know, the first paper covering using SIMD for graphics was Pixar's "Channel Processor", or Chap [0], in 1984. This later became one of the core implementation details of their REYES algorithm [1]. By 1989, they had their own RenderMan Shading Language [2], an improved version of Chap, and you can see the similarities from just the snippet at the start of the code. This is where Microsoft took major inspiration from when designing HLSL, and which NVIDIA then started to extend with their own Cg compiler. 3dlabs then copy/pasted this for GLSL.

[0] http://www.cs.cmu.edu/afs/cs/academic/class/15869-f11/www/re...
[1] https://graphics.pixar.com/library/Reyes/paper.pdf
[2] https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.21...
Christian Queinnec (Lisp in Small Pieces author) vaguely mentions that all dynamic languages are lisp under various clothings.
Pastor makes two women to undress at the pulpit and show their goodies[video]
May be an over simplification here, I’ve done both and found most web app backends to be more trivial than embedded programming projects.