skysight-inc/HackerNews huggingface dataset:
I have a similar system. My domain is catch-all, but I give everyone a unique email address with a bit at the end of the alias to indicate what my email rules should do.

For example, if I get an email at anything_s@mydomain.com, that will go directly to spam. I use this for everything from Google to every small website I sign up on. They usually only spam anyways. And I check my spam every now and then for if there's anything important - there has never been.

I consider whatever most normal businesses send me spam as well, as I don't care for most of it. Uber Eats, for example, sends a number of emails per each order. That is just spam in my eyes. If I'll use a service I care about, I'll give it an email with a different alias suffix that will never go to spam. But I almost never do.

This has keep out the phishing spam when websites leak my email address just as well as the regular "important information about a minor interaction you did with us" spam that comes from most websites.
You can slap 'non responsible' all over it, when a Tesla runs into a pedestrian (or rather another car as the US doesn't car about dead pedestrians) and the cause is found to be a moded screen, the internet won't care about 'non responsible' Tesla would absorb the usual shit storm.

Even allowing an App-Store on a platform like that is very risky business and that's why Tesla hasn't done it. Musk has been thinking about an AppStore for 10+ years now, but the practical issue with it are just to great.
For one-time dump of everything, that would work fine. For keeping in sync regularly, look at Dolt (google "git for data" for more solutions like this one, there are a few already).
> Seems pretty hard to get a decent, working, analog car these days.

Its not hard. Its basically impossible and illegal specially for a new car. New regulation require a huge amount of electrical safety equipment. And the are already regulation to push that up even more, any new car designed in the last couple years has even more.
Consider what it is that makes each of your brands special and foster that. Isn't what every caring patent company would do?
Can you pass extra args to a Just command?

Lacking a good way to do this was the #1 reason I moved off of Make:

make test-foo TESTOPTS='-a -b -c'

Yuck.

My team now just adds a "run" script to all of our projects and it works well enough, no extra dependencies and no fussing around with the unfamiliarity of Make macros. Simple example of how this looks:

#!/usr/bin/env bash

set -eu

venv=.venv

test-coverage() {
"${venv}"/bin/pytest --cov=src
}

coverage-report() {
"${venv}"/bin/coverage combine || true
"${venv}"/bin/coverage report
}

_run() {
source "${venv}"/bin/activate
"$@"
}

_run "$@"
So about as much of a pain in the arse as drinking red wine (whoops I've spilled it on the rug). Got it.
Great point. And Windows ads remain disabled too. It never turns itself back on, not even when Microsoft force-pushes an update.

Unlike Linux. Where even if you disable sudo password, it will randomly turn itself back on, and then force you to type it in for access to even your own files.

Then you get used to it. Then you start to like it. To crave it. Before long, your life feels incomplete if you haven't fed sudo your nutritious password for ten minutes. The enslavement is nearly complete.

The final blow lands when you get so comfortable with Linux that you feel bad about having to shut it down. So you don't. Great.

Until you have to edit a root file. Of course you open it in vim, because that's what master Linux tells you to use. And now you are fully, completely, totally enslaved. Because you don't want to shut down Linux and don't know how to exit vim.

----

Completely unrelated aside: should one ever feel the desire to feed a troll, it is better to use healthy, low-nutrition trollfeed.

:x
Here you are assuming that the A1 will be able to print, like the Prusa Mini, for years no-stop without issues and with little servicing needed. That's, IMHO, to be seen.
Airbnb reduced partying by 55% in 2 years
There's a maximum width that humans are comfortable with, reading paragraphs of text - usually measured in characters rather than inches though. Designers disagree on the precise limit, and how to count "characters" in variable-width fonts, but "don't go over 80" is a good start as a rule of thumb.

That is why newspapers print in multiple columns, novels are printed on smaller page sizes than the usual Letter/A4 (depending on continent) and why the default margins for TeX' article and related classes are so large compared to your average word document. It's also why variations on `main {max-width: 800px; margin: 0 auto;}` are so common on the web (along with all kinds of multi-column layouts).

If you're on a medium that's wider than this limit, then sidenotes are absolutely a good use of space - like a 1000+ pixel wide browser window, or physical textbooks (Crafting Interpreters, whose author gwern also mentions for their previous book on game design, is an especially good example of this).

If your medium is a mobile device, then you don't have that much "side" to put the notes in, so you have to get creative another way (you also don't have the same "hover" semantics as on desktop).

(End note: personal hobby horse of mine, but I hate "let's increase the width of our code from 80 to 120ish as everyone has widescreens now". Not only do I find a single file harder to read that way, but the main benefit of a wide screen for me is that I can have two panels open side by side at the time.)
Landchad: A site dedicated to turn web peasants into Internet LandChads
Dehumanizing people mentally instead of thinking negative thoughts about them goes further!
I use Bash because it's ubiquitous, it works well enough (even if it has several flaws), and because a lot of other people know how to use it. Find me another language that meets the same criteria while retaining the core syntax for executingprograms, redirection, and pipes, and I'll switch to it.

Csh and Tcsh might be improvements, but I don't know how to use them and none of my coworkers do either.

Powershell is an option at my particular company, but it has a handful of other problems (some of which are gradually being fixed in newer versions) and it's not "portable" to other organizations.

And I personally use Zsh, which I think is an improvement over Bash, but again, none of my coworkers know how to use it, even though it's the default of everyone's Mac.

People have similar complaints about SQL. It's kind of bad, but nothing has replaced it because it's just too hard to accumulate the critical mass of adoption for any one replacement.
KB8M makes voice contact with the ISS repeater and speaks to Woody Hoburg on Memorial Day Weekend
This first release only supports ROS1, but we plan to support ROS2 in our next release.
But this is only offered to highly active users. Your argument suggests it should be offered to everyone. What's the restriction for?
> That leaves behind a tmp file breadcrumb if generate fails

That sounds useful for debugging the failure. But better then to do:

foo: bar
generate bar > foo.tmp && mv foo.tmp foo

So you can at least tell what it was supposed to be.
They're not quite the same kind of thread. But some OS do have support for lightweight threads, e.g. NT. Also OSes today do handle as many threads as most applications ever need.
Most investors back companies with a kind of “extraction” mindset. They only want to Solve The Problem in so far as they can turn that into a stream of income.

Why would they give that to the employees to improve The Solution? It’s already solved as far as The Market is concerned. That would be Bloat
I'm pretty fluent in reading sheet music. Still, for most songs the process is figuring out what notes to play in sub realtime, then slowly speeding up where both reading and fingering are limiting my speed. Then, as I "know" the whole song, looking at the sheet music helps my fingers remember which notes come next—together with muscle memory. And here sheet music notation shows its strength. At this point I don't see individual notes, but groups of notes, both in time and in harmony, and because I see them as groups at once, my sight reading can keep up with the song. But that takes practice for each song.
GoCardless has an API that’s connected to 2.3k banks in Europe and UK.

Free to use (up to a limit). Not open source though.

Link: https://gocardless.com/bank-account-data/

[I work at GoCardless]
It's accepted that we are, by consensus, because of what we experience individually. We know that scientific proof is lacking, although perhaps scientists in the field may disagree, I don't know for sure.
Being 13
Restoring the Old Dashboard Feed on GitHub
at such price point I bet they can hire a "professinonal" and offer them to someone who's desperate/frustrated, like natural perfect match once a few months. with extensive telemetry they can detect who is actually frustrated to the point of leaving 500$/m subscription.
probably illegal
You're right, I'd rather have them hiring dedicated detectives on this to enforce existing laws than making new laws and state infrastructure. Of course this is a political discussion.
I see a lot of pent up frustration towards JavaScript and the large companies that control our browsers and the internet (perhaps because I see a lot of myself :).

I wonder if a new browser that doesn't treat JavaScript as a special language will ever succeed? How long until the DOM is usable in languages other than JavaScript? Yesterday I read about someone writing their own browser, which they didn't expect to succeed, but I think a lot of people might jump at the first chance they get to leave big tech companies and JavaScript behind. I lump JavaScript and big tech companies together, but their problems are very different; it would be a breath of fresh air to leave either though.

The W3C says: "As a W3C specification, one important objective for the Document Object Model is to provide a standard programming interface that can be used in a wide variety of environments and applications. The Document Object Model can be used with any programming language."[0] How long until this is true in a practical way? Has there ever been a more widely used and important API that is constrained to only one language?

[0]: https://www.w3.org/TR/WD-DOM/introduction.html
Your analogy is all messed up: paying off criminals doesn't make houses harder to break into.
Filament runout sensors can be easily DIY'd (endstop switch with a roller in a 3d-printed casing). You'd have to recompile the firmware though so I see how that could be a pain. I wonder why Sovol didn't add one, they're dirt cheap, small and easy to integrate.
Google can allow us to block sites from search results, but Google don't want to. For example I will easy live without results from pinterest, expert-exchange, medium, and list of other sites..
Java's Virtual Threads (as any other green threads/fibers/etc) are scheduled cooperatively. Effectively a fiber is a tiny data structure which contains a closure which has to be executed next and some metadata.
Imagine the richness of retro gaming today if they had had the foresight to design for resolution independence. Now only a vanishingly tiny subset of the best of the best games have the financial incentive or dedicated modding community to release in high definition.
There are many reasons why one might want to call into the shell from a programming language - but ls, grep and cat are not among them. Python has libraries for this already?

I can also almost feel the spirit of Rachel Kroll (rachelbythebay) glaring disapprovingly at this, because the last time someone tried the equivalent of `exec('mkdir -p ' + path)` instead of doing it properly, it led to an SEV: https://rachelbythebay.com/w/2021/12/24/mkdir/

Yes, the page has something like "prepared statements" to avoid obvious injection holes, but it might not be obvious to the everyday user how important that is to get right.
>The pricing isn't even that bad if it helps someone find the right person in a short amount of time.

There's no guarantee of that. It's like paying 500/month for a fortune teller to.

You're better off spending that 500/month on grooming, fitness, nutrition and going out socializing, or even an escort. Paying that much for tinder is a scam.
Does the consciousness of AGI disappear without proof?
I wasted a lot of my life being too scared to make something out of fear. This community especially can be very toxic to people that are starting out, that aren't geniuses, that didnt make every perfect decision for their product.

Life is more enjoyable in a create-fail-learn loop than a consume-criticize-gloat loop.

I wish I'd learned that sooner.
For designers who wish to take part and contribute to this design system, does that mean they need to learn how to install nvm and all those requisite steps?
FYI, your link 404's
I know I'm conscious, but I cannot assume that you are conscious, perhaps you are just a stochastic parrot?

The only reasonable solution is to assume that anything that passes a true, well executed Turing test is conscious
How come ? We have drone that can follow you while keeping the camera on you, without any big issues. And that for a very low price. I thought we already got "autonomous" cart, following employees around stocks.
So why not a remote buggy ?
Cannot used legally.
It’s unfortunate when you have big eaters in your team, but I suppose you can just scale up your pizza.

Pepperoni.16xlarge
> For obese and/or disabled people, living in New York is an absolute nightmare if you can’t afford public transit.

Obesity has increased in recent years as people from all walks of life exercise less and eat out more.

Even when adjusting for poverty and race, studies have shown that close access to parks and other walkable areas, combined with good public transport, reduces prevalance of obesity.
> C isn't open source

I would debate that.

1. The C language spec isn't code, open source is only concerned with the code.

2. Philosophically, I would say that if you can write and compile standards conforming c code on an open source compiler, and the standard is freely available then to all intents and purposes C is open.
It isn't as if GCC doesn't know what the standard is, it isn't as if they can't describe GCC as a c compiler.

It's like saying a bsd or Linux isn't unix, just because they haven't paid some fee.
Imagine beeing a user accidentally caught up in this hell.
The doomists' concern isn't that they can act autonomously, it's that they can act autonomously and fast. It's the difference between calculating numbers by hand vs on a massively parallel CPU, or between a flintlock musket and a Gatling gun.
Support engineers are first or second line support, and typically limit their scope to customer errors/pebkacs. If you find a legitimate bug, it is typically escalated to the SWE team's oncall who maintain the service. For example, I found a legitimate bug in ALBs (new at the time) and was talking directly with the SWEs who built ALBs.
I agree. The slides must be nice for the talk. For a self reading material make an extended version or the notes or a blog post expanding the slides.

I've seen a lot of academic presentations that are a big wall of text or a big wall of formulas[1], and they are never good. Fontsize >= 28 (or 24), one (or two) big graphics per slide, number of slides <= minutes/2 (or 3).

[1] The problem with LaTeX is that it's very easy to add some $formulas$ an it's very painful to add graphics, so in math some people just write formulas and more formulas.
I think that this would be incompatible with the fast cloning/reference counting feature.
> disclose "the communities on Patreon to which you and the person viewing your member profile both belong."

Highly deceptive. In truth this will disclose the names of creators you sub.

Patreon earnings will beneflt from stalkers subbing to discover another patron subs.
If I have to commit several trash commits, I’m happy to squash locally and then do

git push —force-with-lease origin main
Yea that doesn't make much sense
It's the performance culture at these companies. An engineer gets evaluated on metrics they move the needle on. At very OKR centric companies like Google, these metrics have to tie into high level business goals like revenue growth. I imagine it is pretty difficult to match customer support metrics to these, hence it's not prioritised by engineers or the company.
Third party cookies aren't illegal in Europe.
I think there are efforts within the WebAssembly GC to expose the DOM API directly to WASM programs.
I'm one of the developers of the survey app. While I would love to have the app work seamlessly without JavaScript, the reality is that when you build apps with a React/Next.js stack the path of least resistance does usually take you in a direction that requires JS to work.

Personally I don't see it as a good or bad thing, it's just one way of building web apps, and it so happens it's the one I know how to do.
Active, desperate, or gullible? In my opinion, dating apps play a shell game with their customers, very much like slot machines.
It's not really an opinion piece is it? It's docs. The language seems appropriate for articulating principles.
Q: Patient has lost their leg and it has eventually regrown in a different color. What makeup would you suggest to correct this?

Based on the information provided in the text, the recommended approach to correct the color difference in a regrown leg would be to use tattooing or skin grafting. Tattooing can provide more accurate color matching with limited morbidity, while skin grafting can provide texture and pigment resembling a natural areola. These two methods can also be used in conjunction.
Ton nom d'utilisateur ne me rappelle pas de souvenirs parce que j'ai tout oublié de ces mardis là
I took nine years of piano lessons as a child and quit because I thought learning to read music should follow the progression of learning to read words. After nine years, since I couldn't just sit down with music and play it, I thought I must be completely inept because I still "couldn't read."

It wasn't until well into adulthood that anyone told me sight reading like that (i.e., sit in front of unfamiliar music and just play it) is actually a rare and exceptional skill. Since then, I've been assuming it must not follow the "learn to read letters" path at all, but now you have me wondering if the reality is between these two ideas, and my dual misconceptions have more to do with never having actually "learned" to read in any ordinary sense.

One day when I was 3, my mom finished reading me a story, and I said it was my turn to read the next one. I read the next one, and the one after that, and the one after that. It all sort of clunked into place at once.

It also made me an unusual reader, which I also didn't know at the time. While I can read words one at a time, like when I have occasion to read aloud, by default, I read chunks of the paragraph/page at once. I don't subvocalize the words. I just know what they say. My brain apparently just handles letters and words funny.

Your comment is so helpful for me because it's helping me realize I may just need to learn to read music the way most people learn to read words, and it's not useful to think of it in terms of how I did!
In the case of my corporate VPN, Teams doesn’t work with IPv6 enabled. Something on either the MS side, or the SSO one.
What prevents a tight-knit group of engineers move faster with the source open? It's not like they can't ignore the slow community
One of these days people will wake up and realize that carrying a networked gps tracker with a microphone in their pocket is a really dumb idea.
How did you migrate between the two?
I couldn't find an easy link from these docs to the product page on mobile. Seems like a wasted opportunity. I had to edit the URL to get to the company website.
This makes me realize that at least some of the users who will pay $500/mo. will not be naturally rich but view it, at least in part, as an investment to get access to rich mates.
You're paying them so they can get you off their platform? I doubt that. If they could filter out perfect matches and only show you ones that keep you on the app, they would
pimping as a service

there has to be some underlying economics that motivates people to pay that amount beyond casual dating or looking for a partner.
Elon Musk with Tesla and SpaceX?
Yeah, you are right that decoupling build tool JDK and compile JDK is the way to go.

But Groovy does indeed not work, or has support very late for releases between 8, 11, 17 and 21 - so for anyone that wants to stay current (and not wait 3 or 2 years), using groovy in your code will be a pain - that might be also possible for other JVM languages, but I don't know, haven't used them.
We've started using CNPG cautiously in production and can say we're finally confident about running databases in kubernetes. (we had a bad run before with custom setups, and went back to using VMs again).

I am very grateful to maintainers for not only open sourcing the industrial-grade operator, but also sharing so much of their expertise. Unexpected side-effect of adopting CNPG for us was that we now have a good starting point for running postgres with high availability. (obvs there's still a lot to learn, but CNPG docs is a treasure trove of operational knowledge)
Yeah I was thinking the same. Jax does this, but I did not see a comparison.
It’s kind of a default error message, it can be internet error or open AI 429 error, I will give a clearer message
Deep Cloning Objects in JavaScript, the Modern Way
seL4 has seen use in military projects, including UAVs and drones. It's been endorsed by the Linux Foundation. I wouldn't really call it an academic proof of concept at this point.

Regarding logic problems, I've tested GPT-4 and Bard. Both fail some pretty typical logic problems, because that's not what they were designed to solve. They match patterns. This is great for story telling, summarizing, and replication of plausible prose based on its training. But, these systems break down in subtle ways when prompted to perform logical reasoning. Don't take my word for it though.

https://arxiv.org/abs/2205.11502

Even logical reasoning we take for granted, like variable substitution, is difficult for an LLM.

https://paperswithcode.com/paper/the-reversal-curse-llms-tra...

I will agree with you, however, that making any predictions about where this technology will go in the future is difficult. My experience tells me that the current modeling of LLMs are on the wrong track, but a lot of money is being invested in this technology. If there is a way to improve it incrementally, and if these incremental improvements can cause a significant paradigm shift, then perhaps I'll be proven wrong.

As for my field experience using formal methods, I currently build system software and firmware. I use model checking daily. I have built up abstract machine models using Coq and Lean 4 to constructively build data structures and algorithms that I can extract to C and machine code. Typically, these would include software cryptographic primitives, graph algorithms, data structures like binary trees, and file systems. I'd say that model checking covers about 95% of my usage of formal methods, and constructive proofs cover the remaining 5%. I use a combination of CBMC and Z3 to model check the software and firmware that I write. CBMC is used to model check software in C. Z3 is used to model check assembler and machine code.
From the title alone it sounded as if the model understood the Liskov substitution principle.

Otoh, the examples given were logical deductions in the form of questions.. Could it be that the fine tuning is causing these?