skysight-inc/HackerNews huggingface dataset:
It's the followup line that got me on a recent rewatch. For context Marty is trying to show a video, played back on a futuristic camcorder, and The Doc is more amazed by the camera.

"This is truly amazing, a portable television studio. No wonder your president has to be an actor, he's gotta look good on television."
SOLIDWORKS for Makers is $48/year [1]. That subscription includes a proper SOLIDWORKS installation, Dassault is pushing their web stuff, but you don't need to use it. Also, it uses local files by default, unlike Fusion [2]. The subscription comes with a no-commercial-use clause and the files can't be opened in the commercial version, but I'm sure if push comes to shove the file thing will be fixed on the high seas.

Re: Mac: SOLIDWORKS runs perfectly well in Parallels on M1. I moved from Fusion and it's been great. Just having fully working G3 surfaces/constraints [3] and patterning on sketch points alone is worth the expense.

[1] https://www.solidworks.com/solution/3dexperience-solidworks-...

[2] Recently Autodesk changed the policy and now Fusion360 will remove your files if you don't pay and not log in for a year.

[3] Something that I don't think we'll ever see in FreeCAD, considering the pace of Open CASCADE development https://git.dev.opencascade.org/gitweb/?p=occt.git
It's really because SpaceX is Musk's hobby company with the singular goal of putting a colony on Mars. The commercial launches and Starlink are just a way to leverage all the infrastructure they've had to build to make it pay for itself.
Generally speaking terrible advice for anyone in such a situation in a professional group setting.

If you can sense that someone is tense or "off vibe" in a group meeting, you should be able to reasonably determine why. If it's not immediately evident and they are not alluding to it in the meeting - then you should table the discussion until you are able to chat 1:1 with the person.

Not downplaying any of the strategies for being chipper and staying positive and being a good vibe... which seems obvious... but to push it back on the "bad viber" and dice roll on whether you'll be charismatic enough to do it without causing even more bad/awkward vibes, I think is unnecessarily risky.

I've been in many meetings where someone seemed "off" but after conferring with others more familiar with the situation found it it's quite usual and not a sign of anything wrong. Had someone intervened there and tried to "discover" the case of the bad vibes, it would have amounted to "why are you like this" which is not the kind of thermometer input required.

Likewise if someone is being openly confrontational in the meeting because they feel strongly about something, the right course is for someone else to step up and discuss it without any ambiguity or levity - ruling out irrelevant emotions not related to the discussion - if the stakes were high enough to merit losing face in a meeting, they should generally be high enough to discuss and resolve.

My experience has been, in many board meetings and conference rooms with C-levels, that the norm for these discussions is someone "off vibe" and it's rarely koombayah when there is something at stake being discussed. Bringing unnecessary levity to a serious and often uncomfortable meeting is taken as a bit of an insult to the topic or the opinions being tabled. You can read accounts of an Jeff Besoz or Steve Jobs executive meeting and glare into this first hand.
This terseness is what makes Haskell so hard to approach for beginners, unfortunately.

After you went through the effort of learning the syntax, it becomes very clear what it means, but I agree that dropping punctuation between a bunch of names isn't the clearest communication.

It becomes even worse when you start using third party libraries that abuse Haskell's ability to define custom operators, so you get entire APIs defined as arcane sigil invocations instead of readable functions.

That's why I gave up the idea of using Haskell for actual programming, and just took the functional programming philosophy from it to other languages.

As for the meaning, in a more conventional (rust) syntax, it'd be similar to this:

fn add1<A: Num>(a: A) -> A
How does communism suck at building cutting edge devices? Didn't the soviets make it to space before the capitalists?
Not trolling or attacking, but - how would criminals use higher standards of behavior to harass police?

I don't propose to have any magic solutions or great insights, but if there's a proper series of reforms I don't see how that could make them an easier target. As for a "proper series of reforms" - mandatory body cams is on my personal short list (enshrined in law or insurance policies, but with clear and severe repercussions for incidents of not having them on), though better pay (it's harder to bribe someone who isn't having money issues), crisis and mental health training (and yes, establishing other support structures for these issues, rather than relying on police to handle them too), stricter and more streamlined disciplinary action (no more needing national outrage to get a murderer fired and charged, and no union/FOB protection for clear violations of civil rights and this new code of conduct), and whistleblower protection would all be great.

If anything, that would make police _safer_ - there will always be criminals and those who wish to do harm, in general or to those who oppose their illegal activities - but having the entire citizenry at best wary of you, and at worst hostile, does _not_ help. Policing their own and just generally "doing better" would do a lot to increase general support for the police, which would increase cooperation and reduce the chances of radicalizing citizens.

The entire discussion is very complex, and I'm just an idiot on the internet, so take this with a bucket of salt.

Thanks for reading that wall of text; have a good day.
I meant what I said literally, it was neither Reddit faux-political snark nor a negative/positive moral statement. Who you consider to be in your family is a very personal affair and a random corporation doesn't know what your definition of family is, it also can't just let you add anybody because it's a profit based enterprise. It's interesting to look at the design choices made here like the 1 year "cooldown" on family membership and the fact that you can get banned if the person you shared you game with misbehaves. Basically they require you to put some skin in the game when you share, which is interesting from a standpoint of software design
Crowdscience: What is the voice inside my head? [audio]
Thanks for the feedback! You're not the only one who’s mentioned the AI image—it seems to be a bit polarizing. I’ll definitely be removing it. As for the marketing copy, I’m no expert in copywriting and have done my best for now. I might bring in a professional later to polish things up. I really appreciate your input!
Behavior of the 1D symmetric simple random walk with a slight perturbation
This is semantically not the same as a sum type (as understood in the sense of Rust, which is afaik the academically accepted way)!

Python's `A | B` is a union operation, but in Rust a sum type is always a disjoint union. In Python, if `A = B = None`, then `A | B` has one possible instance.

In Rust, this sum type has two possible instances. This might not sound like a big deal, but the semantics are quite different.
> Now I need to keep your stack of changes in my head, in order.

Agreed. In another comment in this thread, I said the problem with this was "And been frustrated that Github's interface does not make it very easy to make the sequence apparent or have good DX for the reviewers."

For this to work, we need better tooling support -- the reviewer having to keep track in their head is not good.

I'm not sure which of the realistic alternatives you are suggesting:

1. I could submit them all as one PR. But I _know_ it's too big to review well, I needed several steps to get there. Yes, this is the "different problem", but it's normal to sometimes need to take several reviewable steps to get to the outcome, right? The OP had a very common pattern for me: Refactor with no behavior change to set the stage and make the feature easily implementable; feature implementation; data migration.

2. I could submit the PR's one at a time, and not submit subsequent ones until the first are reviewed. But now I need to keep it all in my head, which my head isn't up to, and I not infrequentkly wind up messing up my branches. AND, sticking with that common case, the reviewer doesn't see what motivated the refactor, so I have to just explain it in words, and their like "Oh but I don't like this aspect of the refactor" and I have to be like "Yeah, okay, but if you could see how I used it to implmeent the feature you'd understand why"

Of course I end up doing one of these three paths (with the sequence of PR's made all at once being one of them) when this situation arises, having no other options. They are all unsatisfactory, agreed.
It sounds like you have a strong belief in a moralistic theory, which is pretty cool.

People who believe in supporting theories through empirically derived evidence have a reason to care about what these researchers have to say.

How would you convince others that your theory on morality is worth their attention? If the force of the argument is stronger than culture and seasons, then it could help make the world a better place.
Privacy, Cost, Latency, Connectivity.
> on an exploratory drive averaging 68.1 mph prior to the record attempt, Geddes managed 58.1 mpg. No bullshit, no tricks, no crazy descents, just ridiculously good fuel economy.

This is not surprising to those of us who drive Priuses
Apache Fury serialization Framework 0.7.1 released: better compatibility
I don’t see downsides of keeping skilled labour “hot”.

One indirect benefit of domestic manufacturing is that it gives blue collar workers a sense of productivity and involvement in society.

Idle hands are the Devil’s playthings, and a fairly compensated workforce is less likely to feel stagnant in their stage of life, and less likely to be radicalized.

Edit: it seems there is a distinction between how you keep the labour hot - meaningful long-term missions; or a half-assed approach.
Don't Haskell and Python use the same argument order?

filter(lambda x: x<5, map(lambda x: 2*x, [1,2,3,4,5]))

filter (<5) . map (*2) $ [1,2,3,4,5]

(Technically the Python version should be cast to a list to have identical behavior.)

Same with comprehensions (although nesting comprehensions will always get weird).

[x for x in [2*x for x in [1,2,3,4,5]] if x<5]

[x | x <- [2*x | x <- [1,2,3,4,5]], x<5]
These cards are distributed by the police union. I can see it being argued that restricting distribution of these cards would be akin to restricting speech of the union.
Thats 2.5l/100km (40km/liter) for us metric luddites.

Thats indeed very very impressive!

The article does not mention, but I wonder what the average speed was over the whole distance. Extreme mileage is pretty useless if you are going at a snail's pace.
Naive me really thought until today that "get out of jail card" was some kind of internet/cultural/US/insider joke...
The future in doubt should be the one of Boeing's C-suite and board.
Yes that works too. Thanks!

Though this relies on registrar publishing their own, and some don't. I meant that some other authority could publish them all, if they are known.

edit: It seems like {tld}.whois-servers.net is exactly that, CNAME to whois servers. Your link mentioned it. Thanks again.
I'm curious about the dataset. What scenarios need to be covered during training?
well why does Num then come before a ? If a :: Num would mean a is a value of type Num, why does this "satisfies" constraint does not follow the pattern?
While this is likely true for designs, I believe there's more to it. I switched from straight to cartoon lines for my architecture / planning diagrams and suddenly started getting more unprompted comments about how they're clear and approachable.

Personally I also prefer the hand-drawn style, but can't put my finger on why. There's something about the uneven lines filling out the space better, while still defining the shapes well.
https://archive.is/HuW2P
Yes, but if you're Starbucks, you'll make an agreement with HMS not to overcharge too much.

It looks bad for you to be a >$100B company and trying to price gouge your loyal customers at the airport.
Ohh, finally. I’ve been playing with Steam "offline" for quite some time now (only singleplayer, so it doesn’t matter) so I don’t kick my wife out of whatever she is playing from my library. This is awesome.
This is really excellent work! It does seem to be missing commuter train/rail systems in Canada, such as the GO Train system in Ontario.
Charging at a couple of kW for the night is enough for almost everybody. Very few people drive hundreds of kilometers every day and the typical EV needs 10-20kWh/100km. The grid should handle that without a problem in most places, I think. Cars are parked most of the day. If most of the parking spots offer a kW or two charging becomes a nonissue.
What benefits do you see hybrids having over EVs? Is it just range anxiety? If so, check out how quickly some of the 800V architecture cars can change. I think the Kia EV6 can charge from 10-90% in 18 minutes, and that's for almost 300 miles of range.

I don't know about you, but if I charged every time I stopped to pee (and buy a seltzer, predicting the next stop) I'd never have to have a dedicated charge stop.

And the hoopla about winter driving range is pretty much moot if you have one with a heat pump.

A PHEV isn't a straight upgrade from a HEV, the extra weight from the batteries typically means once your out of your small electric only range, you get worse MPG than the HEV
> If you have enough money you can ring them up and say "I want to go into space" and they can make that happen.

To whoever wants to be the first one to drop acid in space, the doors are open
VPN in Russia
To anyone who struggles with OpenVPN/WireGuard in Russia as the local watchdog (RKN - Roskomnadzor) throttles all of the main VPN protocols in the country.

Vless (V2Ray, V2Fly, XRay (VMess, XTLS) is a solid and efficient safety net and doesn't take too long to setup. Even a bulletproof Shadowsocks is getting spanked by RKN, whilst Vless is less prone to such blocks.

Minimal computing knowledge required and anyone at home can set it up and have their own VPN. Read on my guide to find out more: https://www.vpnrussia.com/guides/chto-takoe-vless-protokol-i... (or use Google translate if you're not Russian speaker).

If you're aware of any other VPN protocols (other than OpenVPN, WireGuard, SSTP, L2TP/IPsec, IKEv2/IPSec, IPsec, PPTP) that is NOT blocked in Russia, I'm keen to learn.
Ha, I wrote one of these a year ago. The problem being solved was gracefully degrading a service if the request volume was too high.

Some additional tweaks you might care about:

1. It's easy to change the "numerator" being measured to something continuous rather than discrete. As a rate limiter in my application I found CPU seconds per second to be much more useful than requests per second. If you have more control over the low-level networking then queue depth or something might be more applicable, but you work with what you have.

2. It's easy to change the units of the configuration parameters. I haven't checked if it's already in these units for example, but TFA's "averaging period" can easily be re-cast as a half-life (in microseconds or hours or whatever's most convenient).

Anywho, this is a nice write-up on exponential smoothing. I like the attention to edge cases affecting rate-limiting specifically.

As a bit of a fun aside, the state-update equation here is an Euler update solving the exponential ODE, fusing in the new knowledge you have (new requests) as instantaneous tweaks. For rate-limiting in particular the exponential is probably a good choice (numerically stable, hardware instructions, works even when time gaps or other features are far outside of your intended configuration space, ...), but in other domains, like memoryless (still "stateful", obviously, but only requiring an amalgamation condensed into the very last state, as opposed to some O(n) thing) animation updates, you might prefer other properties like the ability to decay to exactly 0 in finite time. You can also recover leaky buckets and other similar algorithms with the right choice of ODE.
It's
Username: test
Password: vesper
Ex-Samsung Execs Arrested for Allegedly Stealing Tech for China
Back in the 90s, I carpooled with a friend who had a retrofitted Honda CRX. I remember the first time he picked me up in it, we rolled out of my driveway and then started down the street and I was wondering when he‘d turn the engine on and stop relying on gravity to move the car (I used to use the same trick with my stick-shift Miata) and then I realized that he was, it’s just that the electric motor was silent.

The other fun thing was watching the battery gauge fall as we went up the ramp on the 10-57 interchange in San Dimas. Being an early adopter, the commute from Claremont to Orange County was just within the range of his EV. He later went on to be one of the first lessees of the EV1 and was interviewed in Who Killed the Electric Car?
The summary:

What is the voice inside my head?
CrowdScience

Many of us experience an inner voice: we silently talk to ourselves as we go about our daily lives. CrowdScience listener Fredrick has been wondering about the science behind this interior dialogue.

We hear from psychologists researching our inner voice and discover that it’s something that begins in early childhood. Presenter Caroline Steel meets Russell Hurlburt, a pioneering scientist who devised a method of researching this - and volunteers to monitor her own inner speech to figure out what’s going on in her mind.

She discovers that speech is just part of what’s going on in our heads, much of our inner world in fact doesn’t involve language at all but includes images, sensations and feelings.

Caroline talks to psychologist Charles Fernyhough, who explains one theory for how we develop an interior dialogue as young children: first speaking out loud to ourselves and then learning to keep that conversation going silently. No one really knows how this evolved, but keeping our thoughts quiet may have been a way of staying safe from predators and enemies.

Using MRI scanning, Charles and Russell have peered inside people’s brains to understand this interior voice and found something surprising: inner dialogue appears to have more in common with listening than with speaking.

Caroline also has an encounter with a robot that has been programmed to dialogue with itself. Which leads us to some deep questions: is our inner voice part of what makes us human, and if so, what are the consequences of robots developing this ability? Scientist Arianna Pipitone describes it as a step towards artificial consciousness.
Show HN: Ailya – AI Chatbot with animated avatar and evolving user relationships
Ailya - first AI chatbot for Cybercogni project with animated avatar that expresses emotions, develops relationships, and reveals its thought process. Beta test available now.
Adding autocomplete to a zsh shell function
I miss the reward after the suffering of working through these problems with dense documentation, even as I enjoy the benefit of chatGPT getting me rapidly closer to my destination. The days of RTFM were good days; the days of solving problems quickly are good days, but different and not nostalgic for me.
I think plug-in hybrids are the current sweet spot for people who can charge at home (or maybe at work). The results in this article are impressive, but cross-country trips across America aren't very representative of the kinds of driving people actually do. Most trips, especially daily commuting, are short enough that a plug-in hybrid could do the entire trip on battery power and then you have the gas engine for longer distance trips where it behaves like a regular hybrid.

All-electric cars are getting closer, but the long distance driving experience just isn't as good yet as driving a gas car. But that will continue to improve and electric cars have a lot of other advantages like simplicity, so I'm fairly confident they'll win out eventually. But as you said, for at least the next decade hybrid cars occupy a pretty good niche.
Part of the emoluments of enforcing the law has always been at least partial immunity from the law, and not just during official duties.
I have had prospective clients do it from non-interactive graphic mock-ups -- just pictures! They assumed that was the hard part and just "wiring up the buttons" would be a short simple task. Those were frustrating discussions.
Unless you are a large scale company, luckily there isn't much responsibility on your part. Really the danger vectors I identified are more geared to entities with massive resources and also have the power to dictate public discourse.

But as we get more efficient models and hardware, there might be dangers the small scale researcher could let loose. Cant wait!

In all honesty, the first step is to educate yourself on the actual mechanisms behind today's models, and realize they are not super intelligent Gods and selling them like it will only hurt the public and industry. Aim for specially tailored models that have an off switch and do not directly "talk" to critical hardware. Don't copy ai generated code wholesale, since downstream these could be exploited by a hacker. Don't make hacking AIs like thats just asking for pain.

The biggest one is think about the downstream effects your final product could have on both the positive and the negative. Today everyone focuses on the positive while ignoring the possible dooms. Dont be blinded by the possible future, see what could go wrong and plan for it so it doesnt become a problem.

Also thank you for the kind words. :D
> In general, classical correlation cannot break the Bell inequalities [assuming no peeking, ie. no action-at-a-distance in the measurement devices].

What if the particles have properties that mutate their state after they are sent to Alice and Bob?

Suppose, in the billiards example, that I put a small device into the balls that changes the spin of the ball to some predefined value.

Wouldn't that break the Bell inequalities without action at a distance?

The reason for the breaking would be that the state of the balls would be modified after they are sent to Alice and Bob. It would look like action at a distance without being 'action at a distance'.
Explain it in 60 seconds: W boson
What is Google Flash? Do you mean Gemini Flash? If so, then the article talks about that general purpose LLMs are worse than this specialized LLM for Markdown conversion.
They'll usually upload an edited YouTube video for big events like this.
Not a snail's pace, but sub-highway-speed for sure. As you get very slow internal resistance and continuous power draw start to dominate. Peak efficiency in a Model Y is somewhere around 40-45mph.
They just recently replaced their CEO.
That there is so much discretion at the roadside is the issue. Laws should be enforced uniformly and discretion afforded to the courts.
At least in Canada, you can get an official warning where they fill out the ticket slip but don't fine you. I'm not sure how long its tracked for but it is a real thing. Also I do believe that the car being pulled over is likely logged somewhere usually in the officer's notes.
> $16 for a sub sandwich (not Subway). Tasted terrible. I've never been to NYC, so I don't know if this is what they charged outside.

Definitely not normal. In most of Manhattan, you can get a quite good sandwich for less $14 or less.

The rest of NYC is going to be cheaper.
While I agree in spirit, I also want to meet users where they are.
The rich don't eat 20x food though.
LIME (local linear approximation basically) is one popular technique to do so. Still has flaws (such as not being close to a decision boundary).