skysight-inc/HackerNews huggingface dataset:
Locking down what, exactly?
You can still kill yourself with an isolation transformer fairly easily if you don’t know what you’re doing. See my other comments about earth assumptions.
Which Autohotkey script do you use for tiling wm on Windows? bug.n? komorebi?
Spacewalk Postponed to Thursday, Managers Discuss Soyuz Leak Inquiry
We disagree strongly then.
Certainly my exposure to them is limited and I'd like to keep it that way, but in my experience you've got it backwards.

The literal Bible is the goal, not the base assumption. They want to prove that the Bible is literal truth. Evolution disproves the literal Bible, therefore they must disprove evolution and/or prove creationism.
Mastodon is written in Rails, I think. What makes you say that it will be an instance written in Django?
When I was a little kid one of my favorites was staring at the back of the huge tube based radio. It had boatloads of glowing tubes and the whole thing looked to me like a small city.
Ahem PTC PERC still in use, and we're probably at least... 10 people using it!
It's not a war between NATO and Russia. It's a proxy war (on NATO's part). The difference matters.

If this were a war between NATO and Russia, all those bases that Russian missiles are coming from would be gone. So would Russia's air force. And then the ground-attack planes would start in on all the Russian troops in Ukraine. And they'd feel free to go after every mass of troops that Russia brought anywhere near the border.

None of that is happening. That's how you know it's not a war between NATO and Russia.

To your larger point: You think Russia has the power to destroy the world, so we should let them have their way with Ukraine. You're like a business owner who doesn't interfere when the street gang rapes people outside, because they might burn your business if you did. Can't you see how morally bankrupt that is?
Reddit and Discord are absolutely awful on this. Hundreds of the most valuable subreddits have been destroyed by corrupt mods, lifetime appointments, and absolute power over the subreddit. We should find better solutions and in no way seek to replicate their flaws.
Yeah - my first thought, on seeing the list, "the project is completely out of control and it's amazing that it works as well as it does!"

I guess it's a tribute to what you can get if you throw enough money and effort at something! They must be running flat-out just keeping the project going and the ever-changing product running.

Just imagine what they could have done with that money & effort, if it was spent on clear, focused projects.
I don't have a trail at the end of my dead end (Through oddities of lot sizes, I don't live on a cul-de-sac so much as, we need to put a road here so one guy can access his property.)

People have still come and looked through my car despite the clear lack of escape route.
FOSS software doesn't mean that it has to be free. We have to remember this. It's perfectly fine to ask for a payment to have the source code. Also the fact that the software is free it doesn't mean that it can't still be covered with patents, for example a lot of patented software is free software (think about video codecs, for example, there are a ton of FOSS implementation, still it's patented). Basically you patent the algorithm, not the implementation, that is anyone that uses it still has to pay you royalties, but anyone can produce it.

If you think about it, it's the same thing with drug formulas: after a period of exclusive then any company can produce it, of course paying the royalties to whoever owns the patent. It can be the same for software. Of course we have to talk about algorithms that are not trivial, as it's the case on most medical devices (most firmware just does very trivial things, that could be in principle be done by dedicated analog circuitry)
Funny to see that some of them use `_`s instead of `-`s as the separator character.
So.. if you're a PhD tourist from India, you gotta follow very strict bureocratic rules: 60 days grace period, adjustment of status and other nonsense. At the same time, if you entered the country thru the southern border, you may ignore the law and, in fact, uscis will help you with that.
I guess I don't see the point of your psychiatrist trying to do an n of 1 study on you.
Imagine that you has a pnemonia/cancer/whatever that was in remission halfway through treatment with antibiotics/chemotherapy/whatever. Would you want the doctor to stop the med just to make sure that it was the med that helping? What happens if your pneumonia/cancer/depression comes back and you suffer serious consequences? Put simply "if it ain't broke don't fix it". There is nothing to be gained from a n of 1 study aside from satisfying your intellectual curiosity.

Of course these studies should be done, but through a scientific trial, where the risk of remission can be balanced with potential gains to scientific knowledge.
Note that a decent amount of these are ChromeOS specific. The whole visual UI is orchestrated by the "chrome" binary.
How do you set that to run on auto-run when the OS starts? Or in general, when Chrome is launched in some other way than you typing that on the command-line?
The web is probably among the best platforms you can bet on. Browsers are super slow to deprecate/remove APIs and it'll be pretty easy to install a browser from today in 20 years.
They might, for instance, get tired of Russia sending missiles at Ukraine, and decide to go after the launch sites.
At the airport I regularly fly out of the id check is performed as part of the inspection area. There is a TSA id check station directly before each body/carry-on scanning station.
Some software has good documentation nowadays. Back in the day, it was de riguer; no-one would dare to release something without a full manual, if only because they knew it was they who'd end up fielding user questions if they didn't.
Competitive advantage?
You can read all the articles you want, but eventually you'll have to take the bike for a test ride, and you'll realize that you have no idea how anything you read translates to how the bike feels to you. You don't have the context to interpret all that information until your physical abilities and skills have outgrown a bicycle at least once. Get what fits your budget, your body, and the type of riding you'll do.
I've taken to saying that the ~emergent behavior here underscores what an incredible bootstrap written language is.

I think of it as a savant-esque capability. A glimpse of what we might be like if some slices of our language/memory faculties were turned up to 1111 while others are completely absent.
Besides what other response have said, the X chromosome passed from a mother to an offspring is not typically identical to either of the X chromosomes in her own body. Rather, the X chromosome passed on through her eggs is a blend of her two X chromosomes. This process is called genetic recombination and is basically what allows sexual reproduction to roll new genes.

Since men (typically) only have one X chromosome to start, the X passed in their sperm is identical to that of their somatic cells. So two sisters with the same parents will share one identical X from their father, but the second X from their mother will be different combinations of her two X's.

Edit to add: if genetic recombination didn't happen, then lots of siblings would end up as genetic twins. (50% chance within the same gender). And that would also be identical to the offspring from one crossing one grandparent on each side... Fortunately this doesn't happen!
> Young adults need (and should be looking for) character-building independence and freedom. Including and not limited to paying rent on time.

This implies the rest of the world who move out later don't have the same character building. There can be alternative ways to achieve the same end result.
Cloudfire sites redirect to porno sites
People are complaining that GoDaddy is randomly redirecting their sites, often to porn websites.
Children master bike riding in a few days. Let’s not overcomplicate things.
I fail to see the connection - new runs of the compuuter proof isn't going to randomize the code (like it does in zkp), so its not going to reduce the probability of error (excepting cosmic ray induced errors of course)
What is PID?
Greenshot is my friend everyday.

But I now want a tool as simple as it, but for animated GIF.

[Any piece of advice is welcome]
And at 110v, thats a risk I'm willing to take.

I wanna note, I worked as an FSE for a telecom, I've been 'bit' more than once by 130v, and by 160v B+ in shit, the sparks from crossed neutral are fine.

Anyone who is deeply concerned can buy an isolation transformer.
Author here.

Thank you for mentioning Argon2, I didn't know about it.
https://en.wikipedia.org/wiki/Argon2

> There is no reason not to use Argon2

In this case, the reason for not using Argon2 is that it's not available: https://www.w3.org/TR/WebCryptoAPI/

> Well if this product isn't for mass-market

This is a demo for self-contained HTML encrypted secrets. Do with it what you want.
Definitely not a product in the current format.
Some airports still have separate lines (including to customs and immigration) for some frequent flyer status holders. Some are plainly visible, like in IST, some are better hidden with a separate entry into the airport itself.
Wait til you find out who's driving the cars on the road
It has it's place:
https://www.youtube.com/watch?v=h9YyazDg9YM
Yes they are terrible. Should be consigned to museums and never celebrated.

My grandmother had a tube TV with a hot chassis. The Bakelite controls were on chassis connected metal shafts. The only protection you had from being killed was beeswax you had to rely on the TV repair guy to apply to the grub screw holes on the shafts.
Rust unfortunately has that whole H. R. Giger syntax about it, though.

things.into_iter().skip(1).each(|wtf| { are_you_kidding(wtf) })?

Compared to a more reasonable language, like, say, Perl:

map { do_something($ARG) } @things[1..$#things];
Utah, thanks largely to the LDS church, has pretty much the exact same grid naming system for every town in the state. It's a bit boring since all streets are numerical, but you could never get lost if you understood the system, even in pre-gps days.
Yup, absolutely useful. Also good for companies to know how they stack among peers in their industry.

Some are more difficult to figure out than others:

- Cost per tenant/customer
- Cost by environment
- Cost of/by change (i.e., introducing changes to app or architecture)
- Projecting costs into the future
- Margins, once factoring in other OpEx costs (huge implications given fast rising cloud costs and companies market cap being reduced as a result of increased costs)
- Pro forma capitalization can also be useful, if not required by some finance teams.

I could go on about this for days...
Flash really was that easy for so many people. Why isn’t there a true replacement?
Well, crap. I just bought his book about version 1 lol.
Reading takes a lot more focus to enjoy and is therefore less accessible
Grandparent said

> Your level as an engineer should be based on how much deep work you can do without screwing the pooch.

A really good engineer can do 6 months of head-down work without a disaster. A really good engineer does not need technical feedback or advice in that time, as long as the problem is clear enough in the beginning.

Here, try this as a though exercise: "Create a new distributed nosql database that uses WASM modules for non-interactive transactions." A really good engineer really, really, doesn't need "technical feedback" during the process to implement that.
TIL: drillium, https://en.wikipedia.org/wiki/Lightening_holes
110v can fuck you up. Don’t take your own advice please. At least no one else should. Isolation transformer will only stop you getting killed one of three ways.

Worth backing my experience up as well. Ex EE covering RF and power in defence sector.

There is no room for arrogance or assumptions in dealing with safety.
What makes you say that Firefox isn't a top tier browser ? Including on Android ? (Where the cards are stacked against it, better dump Android at this point anyway.)

This goes double for when Firefox OS was around : 7-9 years ago.
Tbh unless you seriously need your duds to be totally closed breathable and waterproof, silpoly with pit zips etc is a cheaper / more eco alternative that is lighter / stronger and does the same job in most scenarios.
The original home of the UK space programme was the Isle of Wight.
While radar and hovercraft were being pioneered nearby in Hampshire
and on the island, British scientists were launching early (mostly
unsuccessful) attempts that fed into the US projects later [1].

[1] https://en.wikipedia.org/wiki/British_space_programme
I bet with the right kick backs and working with the right unions, they could get millions. It’s also an incredibly corrupt city
Not necessarily. The main filter caps can retain a high voltage depending on how it’s wired and if the designers installed a bleeder resistor and if the production guys didn’t remove it to save a few cents.
> Unless you can point out a static code analyzer which performs the sort of check that complies with your personal beliefs, it will remain firmly in the realm of practical impossibility.

Here's a list:

https://en.wikipedia.org/wiki/Symbolic_execution#Tools

Also related:

https://en.wikipedia.org/wiki/Abstract_interpretation

> C is now what? 5 decades old? Wouldn't that be enough time for anyone to roll that out if it was in fact feasible?

Depends on how you define "feasible".

Abstract interpretation and symbolic execution are crazy complex¹. Academia decided that this isn't realistically "feasible" and moved on to some much simpler approaches like pure functional programming and prove systems bases on depended types.

Trying to make static guaranties about imperative code is indeed a dead end by now.

The problem is that proving any properties of imperative code needs much more effort (and therefore code) than what is expressed by the code that needs proves, so it's actually likely that you haven than bugs in the code that proves things. So this approach is not really "feasible" in the end.

---

¹ Just have a look at the documentation around the KeY tool used to prove things about Java programs.

https://www.key-project.org/thebook2/

That's the most complex stuff I've ever seen! Depended type systems are "trivially simple" in contrast, no joke. But this is just about a "simple language" like Java… The complexity of C is much much higher.
I bought two electric mountain bikes.

You don't care about "weight in grams" for each part.

You can get good exercise by lowering the assist level. You can raise the assist level for tricky parts or to get back to the car.

But the best part is getting TWO electric bikes - it lets you take someone with you, optimize for fun and minimize things like different ability or fitness levels.
At least on Windows, you should be able to modify the target property of the program’s shortcut to add any desired flags. Then use that shortcut to launch, or drop it in the startup folder.
On Linux idk, maybe an alias?
As the sibling comment to this says, you must still be confused about something here. Let me expand.

The proof that every planar graph (equivalently every map on a plane) is five colourable proceeds as follows.

Cleverly produce a set U of small graphs S that have the following properties:

1: For every graph G, there is an S in U such that S is a sub-graph of G;

2: If G is a counter-example to the theorem, and S from U is a sub-graph of G, then there is a smaller graph H that is also a counter-example.

This is enough, because now let M be a minimal counter-example. By (1) there is an S from U that is a sub-graph of M. But by (2) there is then a smaller counter-example, contradicting the minimality of M. So there can be no counter examples.

With that now in mind, here is the original statement:

We proceed by showing that there is a small set of sub-graphs such that every graph must contain one (an unavoidable set), and then showing for each of those that it cannot be in a minimal counter example. This is easily done by hand.

I hope that helps.
Last year we got up at 4am to view a supposedly-spectacular comet. Or meteors, or something. It was cold and we lay in the garden for the best part of an hour. We saw nothing.

Just as we were about to give up, I saw a satellite. I pointed this out to my partner. Cool.

And then we saw another ... and another ... and another! Turns out one of the Starlink launches had just happened. We must have seen 30, 40 satellites cross the sky. As each one reached a point, the angle produced a spectacular flare. We couldn't have been luckier.

My partner said that this is what it'll look like when humans evacuate the planet. It was amazing.

(Note: I have very mixed feelings about Starlink and am genuinely worried about the Kessler syndrome. But that doesn't take away from the visual effect.)
The only reason we picked okra is because a lot of our downstream vendors had Okta integration.

I’m starting to wonder if there’s some kind of incentive given out or whether it’s one of those “let’s support okta cuz everyone uses it.” And then SaaS customers also say “let’s use okta cuz all our SaaS products keep mentioning it”?
With a big up-front layout you can still leave big enough gaps to put a road in and create a grid if you need, too: it goes both ways. Keep government ownership of pedestrian and bike paths with some nice trees on either side, and if you really need to you can put a road there later.
I used TypeORM and ended up regretting it because of bugs and regressions. I felt that it was unsalvageable. Prisma is from a company so I did not consider it. I found MikroORM and got very interested with.

Relations can be resolved directly from an object (ie. user.org.load()) reducing the dependencies for a service (ie. just need an OrgService, not UserService).
Making mutations is a matter of simply changing a property. Normally, updates are flushed manually using em.flush(), but I have a hook to do it at the end of every requests.

Its request storage means that a lot of queries get deduplicated, which happens a lot on fat codebases:

// in FooWarehouseProcessorExcelExportManager
// performs a SELECT
const org = await user.org.load()

// logs 'ACME'
console.log(org.displayName)
org.displayName = 'ACME Corp Inc.'

// later in BarStorageMiddlewareS3UploadSession
// no SELECT! fetched from the request cache
const org = await user.org.load()

// logs 'ACME Corp Inc.'
console.log(org.displayName)

// at the end of the request, in PostgreSQL
begin
# other mutations
update org where id = 'blah' set displayName = 'ACME Corp Inc.'
commit

Finally, the maintainer is very responsive and generally great to interact with. It's probably the library that improved my work the most for the past two years.
> "Why not a password-protected zip/rar/7zip/..." on your page

Great suggestion!

> not having to debate this myself

eh eh.. good luck with that...

I think the problem is that it can be used "good" and can be used "bad". Some people focus/fixate on the ways you can shoot yourself in the foot with this. Other think of the good use cases it enables.
FYI, plural of cul-de-sac is culs-de-sac. It means bottom-of-the-bag in French, so the plural form would be bottoms-of-the-bag. Like the plural of sibling-in-law is not sibling-in-laws. Worthless fact of the day!
In Windows, at least, you can make a batch file to launch Chrome with that option, and then use a shortcut to that batch file to open Chrome.
“3M to invent whole new categories of forever chemicals”
It was added in macOS 13. You can access it in Preview (Tools menu->Remove Background) or as a Service/Quick Action in Finder (right click an image, Quick Actions->Remove Background, or click Customise... to enable it if it's hidden)

You can also do it on iOS by long pressing the foreground subject of an image in the photos app.
I am sure this is wrong. You cannot use asymptotic analysis on this problem. The assumptions it makes in section 4 does not necessarily prove or is specific to the 4-color theorem. Just splitting vertices etc. does not suffice to prove it for 4 colors, it can also prove it for 5 etc.
Most cryptographic algorithms worth their salt have a pseudo code implementation on Wikipedia too. Just save the article along with the encrypted payload, bam future proofed :)
It's pretty decently deployed as far as I'm aware and I've yet to find anything that is in the same class without getting into some of the more esoteric modulation schemes(although LoRA is pretty impressive on it's own, for instance the different spread factors are orthogonal so you can have multiple devices transmitting at the same time without colliding if they use different factors).

I've found the AT modem command[3] based modules[1][2] to be fairly drop-in and usable, I was even able to pair via BT on my phone and use the BT serial TTY to send/recv without any specific software. It's pretty hard to beat ~$20 modules that you can just drop in and run over UART.

Keep in mind these are mostly for point-to-point although if I remember correctly you can also configure them for a standard LoRA deployment through that command interface as well.

[1] https://store.rakwireless.com/products/rak4200-evaluation-bo...

[2] https://www.seeedstudio.com/LoRa-E5-mini-STM32WLE5JC-p-4869....

[3] https://docs.rakwireless.com/Product-Categories/WisDuo/RAK42...
Try Roblox, I guess.

And to be honest Unity is really easy at the tutorial level. Shipping a real game is the hard part.
Symbolics 1991/92 Client Reel 11/27/91
Oh neat, I really enjoyed reading his blog years ago: http://matt-welsh.blogspot.com/
Obsidian!

My new job is a matter of surviving a TON of information sent by a ton of different people each day.
And Obsidian has been the tool to organize that information deluge.
What shortcut though? Auto-launch is automatically set by Chrome in the registry, and Chrome really doesn't like you to mess with things it manages in general, and would eventually overwrite this in any case. Also I _think_ messing with shortcuts sometimes has weird effects with Chrome, like on taskbar grouping, though it's been a while since I've tried.
flag creep
warpd avoided me spending a lot of time going from the keyboard to the mouse,for simple point and clicks. Honestly it is super useful.

https://github.com/rvaiya/warpd
FYI;

Food Coloring / Color Additive : https://en.wikipedia.org/wiki/Food_coloring

List of Food Additives : https://en.wikipedia.org/wiki/List_of_food_additives
I read Suttree a few years ago while on a long roadtrip around the American south and loved it. Thanks for that link - I can identify with his perspective. It is more about experiencing a world and a time than anything else.

Just started his recent release, The Passenger.

Years ago, I remember reading The Crossing to my young children, at least up until it starts to get a bit violent. I'd act out the bits where he'd wrangle the wolf, etc so they'd understand the action. They found it quite gripping and kept asking when we would continue.
> But it fucking sucks. Like, it’s truly awful to write

I feel like I'm the only person among my peers to think this and I don't understand why.
Elon Musk joins Twitter Engineer call 12/21/2022
Yes, usually easier near sunrise or sunset if the angle allows sunlight to reflect back to you. ISS is also a bright object that can often be viewed one a week or so if you are willing to be awake at the right time.
You have two problems.

(1) It's a function of audience. I am writing on Medium with moderate success (~1.4K followers, prior top 5% of business writers worldwide), and I noticed that content discovery on the platform is just broken. The same applies to Twitter.

(2) In 2022, we are competing with content farms that drown out smaller "creators" ...start to hate that word.

It used to be true, that I would write an article about Apple's product launch and gathered 40K views. Not anymore.

But then, I am now mostly on Youtube for content consumption. So I guess, that makes me part of the problem.