skysight-inc/HackerNews huggingface dataset:
Well “leaks through metal” sort of misconstrues things, “dissolves in metal” or “diffuses in metal” would be a better phrasing.

I think a more relevant issue is hydrogen embrittlement, it is definitely a problem for many alloys. I don’t think it’s a show stopper for fuel cells though, and it’s an important research topic that’s been worked on a long time
Hmm well that's good to know. I like the idea of being able to have mismatched drive capacities and easy expandability which is why I had been looking at Btrfs. I will have to look more into the checksum options.
I do not have the right background to be an authority on this, but from going through school myself and paying a fair amount of attention to math reformers over the years, it seems like they usually believe:

1) The problem with math in school is that there's not enough "real math".

2) Relatedly, insufficient exposure to "real math" in compulsory schooling is also (a major part of) why people think they don't like math.

My suspicion (again, without the actual background to make this claim with any authority) is that they are dead wrong on point 2—the "real math" parts probably contribute strongly to most folks' dislike of the subject, and the parts the mathematicians didn't like are probably relatively popular among people who don't go on to become mathematicians. This puts point 1 on some shaky ground (though it could still be true and well-justified, for other reasons).
Russia's state news threatening theft of foreign assets in Russia seems inherently plausible. It's one of the saner responses to sanctions they have available.
There are a lot of radars tracking objects in low earth orbit. If there were objects the Nimitz radar could see in orbit "for centuries or more" we'd have seen them a very long time ago.

Radars are probabilistic systems, and with military radars these days the processing is quite complex and sophisticated. There's a going on to reject clutter. This sometimes goes haywire for perfectly banal natural reasons. Assuming alien probes should be item 10 thousand something on your list of likely causes, if not way lower.
Ask HN: What is the Duck Duck Go of smart speakers?
Google : Google Home :: Duck Duck Go : ?

Does this product exist?

Is privacy compatible with a "smart" speaker?
"The Trouble with Physics" by Lee Smolin also talk about this, and the general "group-think" situation of theoretical physics.
What I usually end up doing is just using python3 (specifically not python2 because I think python3's handling of division is better for general use). I haven't finished reading your article, but it's really good. I really like that I can open up my "calculator" and use it with just the keyboard, plus it has an immutable history and variables.

Does anyone know of a good RPN calculator for Android? I currently use RealCalc, but it isn't nearly as good as PCalc on iOS. I particularly liked that PCalc was programmable with custom functions.
Hessdalen Lights
Until we genetically re-engineer humans to eliminate these primordial instincts, kinship will continue to matter (as the author notes, it is not unique to Europeans). In the current world, it is a short-lived society where it doesn't.
> FYI, btrfs does support reshaping pool with the btrfs device commands.

I've found it trivially easy to get btrfs stuck in a state where the commands to do so refuse to function.
Cobalt Qube
On the other hand I sometimes wonder why Calculus is made a big deal out of. It was probably the easiest among all the parts of maths. You just have to imagine an small unit and how to extrapolate for integration and imagine how to break it down to small parts for differentiation. When I originally learnt Calculus in high school it was couple of days of learning the concepts and the a week of deriving everything from that and move on!
It depends what you mean by "production." There are many kinds of plastics. Common filaments like PETG do have production uses.

A 3D printed part is unlikely to be better quality than something you can buy, assuming you can buy it. There are also lots of limitations; for example, watertight prints are difficult and limited. Also, making something food safe might require a special coating, so it's probably not worth it. (I haven't tried.)

As a consumer, there isn't likely to be anything you need that you can't order online. However, if you want to make something new, with just the right dimensions, 3D printing can be very useful for many random parts you need. Also, you can make improvements to things you buy.
I do not know anyone that would consider contacting them for anything, nor do I know any business owners that would care if someone did contact them. Google reviews/yelp/TripAdvisor/twitter/etc reviews seem much more impactful. Or a chargeback with payment card company is the problem is really serious.
That's assuming that there is enough personnel and spare hardware available, which is not a given even outside of an ongoing supply chain crisis.
Bitcoin solves inflation with deflation and transfer of surplus from labour to Bitcoin holders. Add inelastic coin supply, low transaction rate, no anonymity, high energy consumption, whales owning most coins, tendency to concentrate mining capacity in the hands of few players (7 pools own 50% of mining capacity), undemocratic governance and it looks even worse. Bitcoin is not money. At best it's a digital collectable. After a decade of trying Bitcoin's only application appears to be facilitation of ransom payments, speculation for rich and insecure middle class and evasion of sanctions by the likes of Iran or North Korea. Hard currencies simply don't work in practice and are fundamentally undemocratic. We tried this with gold and it didn't work.
My favorite theory comes from Douglas Adams where the UFO sightings are the alien equivalent of teenagers going for a joy ride making fun of the weird animals.
Of course you can simply create a module with something like the above snippet as a function for reuse. Or I can add a built-in function for flattening like this or as in pandas.
That doesn't seem to be the claim the paper is analyzing, they are looking at the forces when gaining elevation to the flight level of the pilots and in circling around the pilots at a several-mile delta as confirmed by radar data.
Matician | Palo Alto, CA | Full-time | Onsite |

https://matician.com/

Positions: Mechanical Engineer; Technical Recruiter; Sourcing Manager (Electronics); Office Manager; Firmware Engineer; Linux/Embedded Systems Engineer; Computer Vision Engineer; Machine Learning Engineer; Platform Systems Engineer; iOS Engineer; Speech-to-Text Engineer; SLAM Engineer; Controls Engineer; Electrical Engineer

Matician is bringing Level 5 autonomy to consumer electronics for in-home use. We're a small team (just over 30 full-time) led by repeat founders (Mehul Nariyawala and Navneet Dalal).

Our user-first mentality is bringing autonomous robotics into the home to solve existing, real-world problems. We're building products meant to be incredibly useful first, and cool second!

Apply directly or send resume and a blurb to exec@matician.com and let me know you found us on HN :)
https://jobs.lever.co/matician

-April (Talent Lead, Matician)
YES! This is exactly my complaint about math. I find the abstract proof-oriented math kinda interesting (although How to Prove It is an exception that I discuss below) but I _really_ want practical real-word applications of these maths.

Even though I've learned linear algebra decades ago, Andrew Ng's example of using a matrix to encode 5,000 images then doing linear algebra on it blew my mind. I've since used that perspective in many other fields. Not once have I applied a proof to solve a programming problem.

I've thought of publishing, i.e.blogging, examples that I've come across but that would just be a mish-mash of stuff I've read elsewhere with no overarching theme/framework. Besides, someone else must have done this, no?

EDITED: Used the correct book title.
1. That point is actually one of the reasons behind Litebulb! For most LeetCode-style tools, getting 100% is easy if you just google the question, copy the top answer, then change up a few variables. For Litebulb, a legitimate submission has multiple commits, so when we do git history matching, no two legitimate submissions will have the exact same commit history, which means submissions either have a <5% or >95% match. The >95% matches are plagiarism and will be flagged.

2. Litebulb is meant to replace the initial LeetCode question + the mid-funnel technical screen. We still recommend doing a hiring manager screen at the beginning and team onsite at the end, but using Litebulb correctly should lessen an engineer's interviewing burden, not increase it.
I don't understand this. What do /bin/bc or /bin/dc lack? (It was hard to tell from the article, because most of the graphics did not load.)

A good thing about these bin tools is that you can cut and paste from a text editor, for scripting, and you get a transcript. And, GNU readline works, for history.
See, even the flamewars were more epic back then.

And yes I'm aware of that comment and it's a personal favorite of mine. Not the message by itself, but in the context the tantrum is the ultimate tacit surrender and humiliation of the big professional corporate clunky slow old proprietary OS to this open source upstart.

Miller's post was pretty strong out of the gate ("Solaris is a pig") but it had a lot of interesting technical content.
May and October are my favorite seasons in Utah. The other two are Summer and Winter which can be brutal.
Sure, I could see money laundering. I could also see leveraging the technology play if he needs to convince someone...first of all himself. Tech people sometimes need a tech-curve angle to feel safe about a financial play.

Well, or (thing) people need a (thing-interest) angle to feel safe about (anything) is a pretty good rule.
I started my career, kinda, as an unpaid admin (I was 14) for Panix.com, one of the oldest ISPs anywhere. Coincidentally, my wife started hers at Software Tool & Die / The World - the actual first ISP!
Yeah! This kind of reasoning is why it's exciting to think that we could use the GFlowNet machinery to construct latent representations--ones that map more directly to the notion of "beliefs" that we're used to think about as humans, something "discrete" and relational.

Concretely what this could mean is using these tools to generate causal hypotheses, like what's been done here: https://arxiv.org/abs/2202.13903
On 1, Yep, just like commercial pilots re trained to recognise somatogravic illusion, but there's still perfectly good planes falling out of the sky due to it - training is one thing, successful application is another.
Search for “america car remote shut off law” and choose whichever source you find reputable.

Summary: US government intends to have a remote kill-switch for all new cars.

This isn’t just Tesla having an OTA backdoor: it’s going to be every manufacturer.
I thought it would automate the process for the person being interviewed. No more leetcode crap to worry about... Too bad.
A Browser extension that changes the word “billionaire” to “oligarch”
Particularly as in this case I did read the fucking manual. I read every relevant page of the btrfs-wiki and the man-pages before building this filesystem. What I've found is there are still relevant implementation details documented only in the dev's head or the endless mailing list archives.
A coup is not an act of democracy. It was illegal, and against the Ukrainian Constitution. Everyone understands that Ukraine can never be part of NATO. And yet this new regime that took over after the coup has explicitly said that is what is going to happen. They even changed their Constitution after the coup to declare as much.

Since Crimea is not recognized as Russian by Ukraine, then having Ukraine enter NATO means they will immediately be in conflict with the Russians in Crimea, leading to a World War.

Russia will never let Ukraine have nuclear weapons, nor join NATO since it effectively means the same thing. So what is the solution, in your mind?
I mean that your back seat passengers are sitting[1] on a giant tank of highly explosive (when combined with oxygen) gas at 10000(!!!) psi when full.

[1] https://en.wikipedia.org/wiki/Toyota_Mirai#/media/File:Toyot...
These VFX artists have a fun video where they analyze some Pentagon UFO footage, one of the hypothesis they have is that is just parallax.

https://youtu.be/jHDlfIaBEqw?t=274
Really appreciate the support here and you make some excellent points! We're trying to make something that already exists just a bit better. :)
> This is a fine example of the abuse of the word "literally"

It's not. The problem lies with the way the respondent rephrased the original. The original, as written ("very literally ends up with less money"—not to "very literally take money out", as the respondent chose try to use in a bizarre and underhanded setup), is in perfectly reasonable accord with the correct use of the word "literally"...
Even as a small startup at you.com we pay our amazing engineers more than that (full pay package = salary plus equity). Of course, startup equity is hard to plan with since it's not public stock.

These days, being "outside the hotspots" should be an issue since many companies (including ours) are fully remote.
Are there any forums with high-quality geopolitics discussions, as HN is for tech?
>America was not politically unstable in the 90's. It may have been rocky, but not unstable.

The 90's laid the groundwork for our current instability. Newt Gingrich showed that fiery and aggressive politics could win in an era of CSPAN and 24-hour news.

>Only a fringe element would have cheered John Hinckley Jr's attempt to assassinate Reagan in 1981, but today an attempt whether successful or not on either the Democratic or Republican front runners would get a resounding cheer from a not-insignificant section of the population.

I don't remember anyone noteworthy celebrating, even as a joke, the congressman shot during a baseball game in Washington. People may fantasize and joke about something happening, but stay solemn and respectful when that specific turd hits the fan.

>amplification of the screaming masses thanks to technology

The masses never needed amplification. They had large and loud crowds. Technology amplifies the screaming meagers, who sound like masses but still only have one vote each.
Hawaii is small so it's fine to giveaway, isn't it?
What about Sonos or Bose? Speakers that you can configure without any assistant? What's are the requirements of smart speakers according to you?
1600p, 16:10
https://www.panelook.com/LP170WQ1-SPE1_LG%20Display_17.0_LCM...
Interesting indeed, at least 6 couples.
sorry how do you mean with outlook? is there really a way to remove the "modern" design and unveil the 90s beauty beneath?
You’re confusing probationary period with contract to hire.
What a weird list of bare minimums. What child requires a car or phone?

If they want one, surely they can get a job and pay for one?
Mindset for Creator Economy [audio]
Engineers also love to add function over simplicity. They love the swiss knife solution over just having a blade that cuts. Keep in mind that most users just want to get a job done by using your product not earn a PhD on how to use it. There are exceptions so that's why you really need to know who your target customer is or will be.
Mathematics is a social activity, in the sense that mathematicians create proofs to convince others that their findings are valid. Some proofs are easier to verify than others. Some proofs are "believed to be true" because no one has yet managed to prove them wrong yet.

So if you think about "real world usage", you can either use the math results and implicitly trust that they "just work", or you can dive a bit deeper, see if you agree with those results, or at least gain some insights from the proofs that have been presented.

And just to be clear, there is little to no "real world usage" math without academic math.
> Not once have I applied a proof to solve a programming problem.

There are people in this very thread insisting that proofs are extremely useful in programming. I dunno if I just picked up the same skills elsewhere (Logic? Philosophy? Just... IDK, thinking and developing an absolute shitload of heuristics through years of experience?) or am entirely missing out and in fact don't have a clue how to program, but I don't see it (outside some rare niches where it probably is useful—coq exists, after all).

Sure, the word "exhaustive" can apply both to accounting for all (reasonably) possible problems in a block of code, and also to proofs, but the former doesn't feel at all like working on proofs, to me, to pick just one example (and some posts have seemed to imply that accounting for e.g. edge cases is exactly one case in which experience with proofs come in handy, but man, they feel like very different and barely-related activities to me).
Discussion, sure. Discussion here, not necessarily.
There is lots of potential in terms of safety and density in solid state batteries [1].

[1] https://en.wikipedia.org/wiki/Solid-state_battery
I spent a few minutes a day over a couple of weeks tweaking my i3 desktop. It's still a thing :)
I think a key feature of a smart speaker is the voice assistant. The only privacy aware I know of is Almond (AKA Genie) from Stanford[1]. I don't think there is any commercial speaker using Almond out there. However, Im betting you could DIY it.

[1] https://genie.stanford.edu/
Epik helps patterns.com owner recover stolen domain via UDRP
Biden executive order on cryptocurrency expected this week
They aren't that many, but I'm assuming he's starting up so not sure how many he can handle. I recall Crashplan having enough >10TB guys that they decided "unlimited" wasn't, and that was many years ago.

Personally I have 3TB of essential data, and about 10TB if I wanted to backup most of my computer.

Interesting graph though, thanks for sharing!
> There are a lot of radars tracking objects in low earth orbit. If there were objects the Nimitz radar could see in orbit "for centuries or more" we'd have seen them a very long time ago.

I'm struggling to make sense of your argument here. People have reported seeing them for a very long time. The core elements of the "ufo phenomenon" appear to be pretty well-conserved across space and time.

>Radars are probabilistic systems, and with military radars these days the processing is quite complex and sophisticated. There's a going on to reject clutter. This sometimes goes haywire for perfectly banal natural reasons.

you are ignoring the fact that the pilots saw these objects with their eyes. Unless the radar systems on multiple planes and the eye-brain systems of multiple humans all failed exactly at the same time and in the same way?
Patterns was stolen around the same time as Perl.com was stolen. I suspect it was the same individual that stole both domains as the same time, along with a few others as well.

https://news.ycombinator.com/item?id=25940240
Ask HN: If Bitcoin can be sanctioned, what’s the point?
What about Calca or Soulver? They don’t have keypads at all. They’re more like REPLs for calculation languages.
Sorry I actually wanted to link to this one from the same channel, thanks for noticing. https://www.youtube.com/watch?v=3IPR50-soNA
Depends on your budget. If you have a shoestring budget, then I recommend Honeycomb or Sentry if you don’t want build your own solution
Always check when the next apple event is before purchasing an apple product!
>Viewpoints like these really do seem to be proliferating at a concerning rate.

The progressive left championing the benefits of radical and toxic authoritarianism while screaming frantically that everyone to the right of them is a fascist and that fascism is coming up fast.

The irony.
I will not be lectured by India, a country who has taken in 10000[1] refugees from Afghanistan (a country a stone's throw away from them) while Hamburg alone as taken 35000[2] Afghan refugees alone.

[1]: https://en.wikipedia.org/wiki/Refugees_in_India#Afghanistan

[2]: https://en.wikipedia.org/wiki/Afghans_in_Germany
How can someone with an MBA and 50+ employers be running a business as a personal liability instead of an LLC?

Is Amazon's business model basically arbitraging overconfident people who don't know how to properly set up a business and run the numbers?
Why is Russia so into hacking? Would it help if there was a startup community there to absorb the talent? Or is this the inevitable byproduct of bright people living under a brutally corrupt and dishonest dictator and his cronies for most of their lives?
Search is, by it's nature, something which "must" be centralized. We can't all run our own search engines- it'd take too much data & compute to index & rank the internet. So there's a bunch of managed services, like Google Search, like Duck Duck Go.

I don't think there are any notable products that compete with Google Home. Google Home is a very big tent operation, with a vast array of devices from all manners of companies under it. Trying to imagine where we'd start at building products against that is almost unimaginable.

Instead, look to protocols. What protocols might be created that could allow communities & ecosystems to start up? Chromecast itself was built on an open protocol, DIAL[1], spearheaded by Netflix, for taking over screens. Today, the web has a very successful protocol the Presentation API[2], that allows for sending content to screens/speakers about us. Currently the proprietary Chromecast protocol is the primary & perhaps only implementation of this. The same Secondary Screen Working Group has however shipped a draft[3]- a year ago- of Open Screen Protocol, an service providing interface for devices to expose & consumers to push content to the devices from, which is an open, intercompatible way of making the Presentation API happen.

[1] https://en.wikipedia.org/wiki/Discovery_and_Launch

[2] https://w3c.github.io/presentation-api/

[3] https://www.w3.org/blog/news/archives/8973
I can't get my head around why the govt. is now talking openly about this subject after casting it into the "basement" after project blue book. You have these patents the Navy recently applied for and received that indicate(if believed)[1] that the govt. now has craft that can also achieve stuff like what was described by OP. So for me it really comes down to 3 scenarios:

1 - The crafts are non-human technology, the US knows what they are(non-human technology) and at first ridiculed anyone who confirmed a sighting, and now is putting out phony patents to save face.

2 - The US or some other earthly government created these objects and is running dis-info by stating they are unknown, and now talking about these patents to scare other countries about this technology.

3 - The US has no idea what they are and hence why they shelved project blue book as the idea of a craft that can penetrate the US's defenses at any time is uncomfortable, they are now playing statecraft games by these patents and now getting interested in UAPs.

1 - https://www.thedrive.com/the-war-zone/28729/docs-show-navy-g...

1 - https://patents.google.com/patent/US10144532B2/en
I loved How to Prove It. Not for the proofs - which are interesting in a gazing-at-your-navel kinda way - but rather all the little _practical_ tidbits. "So THAT'S what a partially ordered set looks life in real life!"

And the last(?) chapter where he uses induction to determine how to place an L-shaped figure on a grid...I never knew how to even approach that kinda' problem.

So yeah, I want actual practical applications ("exercises" != "applications") for math.

<climbs down from soapbox>
I’m starting to think crypto is a FBI honeypot. Decentralized my ass, and the ledger is public. The inventor is ‘mysterious’.
Gotta be Lion’s Mane, or something with it.

edit: haters will downvote me but look it up for yourself and upvote if you agree