skysight-inc/HackerNews huggingface dataset:
> They are sequences, not sets.

I get what you are trying to say here. If we were talking only about calculus, it would be a reasonable thing to say. In this context, we are talking about calculus in connection with its set theory foundations, and so this statement, in context, is simply incorrect.

Imagine I dropped a tomato on the floor and called you in to help me clean up a “chemical spill”. You’d say that’s not a chemical spill, that’s a tomato. On any other day of the year you would be correct, but today we are in chemistry class, talking about how ordinary matter is made of chemicals. Today you are wrong, because we are in chemistry class, talking about what tomatoes are made of.

> Putting types into a model of mathematics seems to add a very welcome firewall between algebraic structures (like the reals) and the underlying formalism that was used to justify their existence and properties.

The firewall only works if the underlying structure is sound. People have, historically, spent enormous amounts of time working with mathematical objects that turned out to be trivial, turned out not to exist at all, or had contradictions. For that reason, real mathematicians spend some time fussing about proving that the real numbers exist using set theory, before they turn around and work with exactly that firewall that you’re discussing. In upper-level undergrad courses, you’ll be expected to do this. (At least, I was asked to do this in undergrad.)

Again, today, the topic of discussion is the axiom of infinity. If I ask, “how would we do calculus without infinite sets,” we need to revisit the set-theoretic construction of real numbers and calculus before we can put that firewall back into place.

> But I don’t have to worry about Banach-Tarski when integrating a function.

Unfortunately, the Banach-Tarski paradox is exactly the kind of paradox you must worry about when integrating functions. In a loose sense, what the paradox shows is that you cannot cut up a function you want to integrate, rearrange the pieces, and then integrate the result.

For a long time, mathematicians had all sorts of incorrect beliefs about calculus. For example, “a continuos function defined on an open interval is differentiable at some point on the interval”. These incorrect beliefs didn’t disappear overnight. We created a rigorous foundation for calculus on a carefully-crafted list of set theory axioms (ZFC) and slowly rooted out the incorrect beliefs with proofs and counterexamples.

It’s worth asking whether ZFC is the foundation we want for calculus. Maybe it’s time to adjust the foundations. Maybe you think—what if I had a version of calculus that didn’t have non-measurable sets? Working backwards from that idea, what axioms would I need in order to still get work done?
To explain: The rcr instruction performs a right rotation and shifts the CF (carry flag) bit into the most significant position. Together with the preceding add instruction, this effectively provides an n+1 bit operation on n-bit registers.
Project to tackle "replication crisis" by shifting incentives among scientists
A basic, simple point on Web page user interface design: (1) Easily 1+ billion computer users understand the HTML controls. (2) Initially maybe only the front end developer understands the novel controls they develop with JavaScript.

Lesson: Use JavaScript where necessary or where it really helps a lot and otherwise stay with just the HTML controls.
Very much relevant:

CppCon 2019: Marshall Clow “std::midpoint? How Hard Could it Be?”

https://www.youtube.com/watch?v=sBtAGxBh-XI
You can always run Nix in Docker to build and run any software that uses it. Without Nix, however, I am forced to either install a bunch of bloat into my system such as Haskell compilers or libraries, or run Docker anyway.
With proper infrastructure and cycling culture a helmet adds little benefit. Meanwhile it has several negatives including making cycling a more burdensome activity. Such as having to have your helmet, have to carry it with you in the store or leave it on the bike in the rain or to be stolen, etc. Mandatory helmet laws do more to reduce cycling then they do to protect cyclists.
It has to be capable of doing it thousands of times to be considered safe enough to remove the driver. Just one drive without disengagement doesn't count. FSD is not repeatable currently, so it's not close L4 self driving. For reference, Waymo and Cruise have a disengagement every 30,000 miles. FSD requires orders of magnitude improvement in reliability to match that.
In retrospect, i.e. going back a month or six when you mined that crypto that you're now spending?

What nation states even have the capacity to collect (a lot of) metadata on all connections that happen anywhere on earth? They'd need to see you connecting to the VPN (easy), and they'd need to see the VPN server connecting to the mining pool server (hard unless you have access to a lot of backbones), and then correlate that data. Add additional VPN servers to make it harder as you wish.

I'm pretty sure we could narrow it down to a handful of states having the ability to get data from a lot of the web, so unless your beef is with one of them, you're pretty secure.
>guess any dev who can write Rust today is also a good C dev, ain't it?

Quite a number of Rust devs I've read about, have never been C devs. They came from dynamic languages or Java or similar, and stuck with Rust and learned it, as a more modern features-wise and less error-prone systems language than C.
Shit I click this by accident on my corporate PC. Goddam.
Hiding in plain sight? The argument for invisible aliens (2020)
> piracy does considerable harm to large institutes

What do you mean by the word "institutes" here? First thing that comes to mind is academic and research institutes, but surely piracy doesn't harm them. So you must mean something else?
It's a bit of a shame that programming languages above assembly don't expose the flag bits. Would be an interesting feature to explore for a "medium level language".
It might look similar but this typing [1] is totally not what I want to see in this device.

The fingers must be springed and some clicking mechanism needs to chose between one of 3-5 rows of keyboard for each finger. Then one of 2 thumbs has to tell the keyboard to read the position of one of 8 remaining finger. Index fingers and pinkies might have a strafe (one more level of freedom for each of these 4 fingers) to support 2 columns of keys per each of these 4 fingers. This is how I'm going to implement my gloves keyboard with enough keys to type on English.

[1] https://youtu.be/UzRjtvMQds4?t=106
Hi Walter! You have (evidently) a tonne of experience in the aviation industry. Is there anything you noticed the 'engineer's engineers' had in common? What made them such great engineers.

I was looking to a career in Aerospace Engineering - but it's an interest. I'm still in college, but I'm not sure if it's what I want to do. Regardless - what do you think makes an engineer an engineer's engineer?
Yeah I use arch (btw), I'd just be worried that I would run into stability issues more frequently while having to be productive on stuff. Being a tester can be frustrating at times.
Why did FLIR catch on instead of just IR? Is it because it sounds cool to be military-like?

Does anyone expect the IR to look any other direction than forward on a phone?
That's correct, and here's a further illustration.

Consider adding two single bits, X and Y - you'll get the following sums, denoted in binary (column CM):

X Y | CM
----+---
0 0 | 00
0 1 | 01
1 0 | 01
1 1 | 10

As you'll note, the M-bit is just XOR and the C-bit is AND (google "half-adder" if you're into hardware).

And as we remember from school, the carry (C-bit) always has to be added to the next column to the left, that's why we shift it by one bit (aka multiplication by 2).
No, it's still fine because you can run commands and test them for yourself or read the docs. Just yesterday I asked chatGPT a question, then asked for a reference. It gave me a relevant paper to look at, and I discovered that it mis-quoted the paper.

It's fine as long as you don't take it at face value, just like interacting with a human :P
I was part of a team working on a CBDC and I'm glad I left that project. The possibilities of abusing a CBDC are massive and gladly we had tough time finding a benign use case for it.

We are already cashless let's keep it that way
"May" is the keyword there. Also there may not be elephants in a city, while there may be terrorists on planes (I think some incident happened in the past, but I'm unsure). The conclusion is that it's unknown, and calls for a proper evaluation of the matter. The argument by itself is useless. Why are you using a seat belt to prevent mortal incidents, when there aren't mortal incidents with seat belts?
Agree with this. Flew to Australia in 2015 on a 777. The return flight was on a 787. The increased air pressure and higher humidity made a huge difference in comfort and fatigue.
I guess they burried this study, otherwise you would definately have seen it.

https://thorax.bmj.com/content/early/2021/09/12/thoraxjnl-20...

Compared with never-smokers, current smokers had higher risks of hospitalisation (OR 1.80, 95% CI 1.26 to 2.29) and mortality (smoking 1–9/day: OR 2.14, 95% CI 0.87 to 5.24; 10–19/day: OR 5.91, 95% CI 3.66 to 9.54; 20+/day: OR 6.11, 95% CI 3.59 to 10.42).
2022 Design Tools Survey
If home delivery wasn't the default maybe there would be incentives to improve that.

By all means, pay for it. That is great, but it should cost money (rather than subsidized) because it is so wasteful, and it shouldn't be the default.
Sorry, but this comment is so funny, it feels like I'm reading something from back in 2005, on Slashdot.
correct. I just don't want to.
Have you checked AWS' Graviton?
The name is very close to [VS]Codium, the open source version of VSCode.
So, your "Apple hardware is terrible" wants the Thinkpad "keyboard and far better aesthetics", but stil prefers Apple internals especially "the CPU".

In other words, you claim "the hardware is terrible", but your actual case is "I prefer the external design of the Thinkpad".

I guess, I'll give you the keyboard. Which is more than compensated with the far greater touchpad, incredible speed, battery life, and coolness while all of the previous (of the M1).
I'm wondering if anybody has tried adding PNG filters on top of QOI[0]. I have an idea of how to do it, and it should be fairly easy to build on top of a QOI encoder/decoder, but didn't get around to trying it out myself.

Per the QOI spec it already has the "SUB" filter built in, in the form of QOI_OP_DIFF. Which is great, because that leaves exactly four PNG filters instead of five (meaning they only need two bits to store): NONE, UP, AVERAGE and PAETH.

Here's how to add the filters: on a per-line basis, create a transformed line for each filter (so the original pixels, plus UP, AVERAGE and PAETH transformations). Then see how each of the arrays would compress, then pick the best one by treating it as if it was the original pixel input. In a separate array we keep track of which filter we picked for each line.

When we've done this for the entire image, we basically have a plain QOI image but if we decompress it the output would show each line in its new transformation. To recover the original image we just have to reverse these transformations bottom-to-top.

So we just have to append that array where we kept track of the filters we picked for each line, four picks per byte. Since we know the height of the image we don't need to mark the end of this stream. The added size overhead is effectively one byte per four lines. I expect speed overhead would be roughly 4x for encoding (since we brute-force try four transformations), and something very tiny for decoding (since all we need to do in the end is one single in-place pass over all pixels to undo the transformations).

Also, because SUB is covered by QOI_OP_DIFF, this approach would implicitly support mixing each of these per-line filters with SUB, so it would be possible to have SUB+UP, SUB+AVERAGE and SUB+PAETH, and it would be on a per-pixel basis. Might be beneficial in some cases.

[0] https://www.w3.org/TR/PNG-Filters.html

[1] https://qoiformat.org/qoi-specification.pdf
The most significant thing about a CBDC that it's a liability on the government or the central bank in this case. It's a legal tender while a checking or savings account isn't
Perhaps they've mastered the skill of not pointing the display at a light source...

I'd take a glossy display anytime of day, and have so, since 2005 or so, including external displays. Better color saturation, no artificial fuzziness (which is exactly what the "matte" is in the matte displays, they literally reduce glare through a mesh that also kills contrast and clarity).
> then ask yourself - what have you done in order to have interesting job, projects, challenges, etc?

This thousand times for all the whiners. Learn an esoteric skill, get hired for esoteric job.
This is correct for unsigned integers, but incorrect for signed.

For x=INT_MIN+1 (0b1000...1) y=INT_MAX (0b01111...1) this gives INT_MIN (0b1000...0) instead of 0.
The story seems to just assert the claim that this is to promote the CBDC, but the linked directive does not.

I mean, they definitely wish adoption was higher. But is there evidence this isn't just CoinTelegraph assuming things?
Raman is inherently difficult as it's so weak compared to normal scattering, so careful optimization of SNR is required.

Another DIY Raman setup (on a breadboard so expect few kg): https://www.thepulsar.be/article/openraman-starter-edition/
> But in the meantime, the importance of WYSIWYG document preparation as a main thing people use their computers for has greatly declined.

No, it hasn't.

In developer circles, yes, slightly, because of Git, Markdown, etc.

For regular folks (90%+ of folks out there), not at all.

A doctor or biologist or quartermaster aren't about to write Markdown any day soon.
The material difference between E2EE (where the network controls the client completely and pays lip service to reproducible builds) and encrypted traffic to the network itself: is not actually all that different in reality.

If signal wants to be seen as better; third party clients are a huge step.. Failing that: provably P2P messaging.

As it stands it's only really "better" on paper, you still have to trust the network provider.
I wonder if it can run Solvespace (CAD). It's fairly simple but IIRC requires ES 3 or similar. I'm kind of embarrassed not knowing our GL requirement myself ;-)
Whether you have a beginner bow or are still using arrows from decades ago, staying up to date on archery equipment is a crucial consideration. Your run-down, dingey gear might do the trick, but new shooting technology can take you to the next level. Keep reading to determine whether it’s time for an archery upgrade.
The marketing distinction between FLIR and IR is that one provide thermal imaging and the other one doesn't. That's besides any scientific/"technically correct" definition.
x/2 + y/2 + (x & y & 1) should work.
Hopefully, implementing Serge Saveliev's idea of cerebral sorting would give a way to detect geniuses in an evidence-based way. Unfortunately, this is still technically impossible (MRI resolution is still too low).

Another issue is that many would like their kids to become one of the geniuses, even if they're fake, as long as this gives them some advantages. Such people would reject the idea of cerebral sorting. Also, according to Saveliev, for ideological reasons neural science in the West hasn't advanced in mapping brain fields and sub-fields (postmortem slicing and photographing) as much as in USSR. That is even if one gets both Saveiliev and an hi-res MRI scanner from the future, the whole idea of sorting would be considered unacceptable for similar reasons.
You are like a somatic cell to states. Your well-being isn't a concern, only your usefulness.
Any exchange -> XMR -> ETH -> TON, the XMR step should provides sufficient anonymity.

My gripe is that how awkward the whole process is, especially the fact that you're locked into using Metamask to be able to transfer TON into their network via bridge.

I wonder if relatively small number of people who are able (and willing to) jump through all these hoops will stand out like a sore thumb and this in turn would actually reduce anonymity.
I can assure you when people talk about signing up without a SIM what they have in mind isn’t landline.
Why, do you often work at random unfamiliar rooms, or cafes that impose a specific seat to the patrons?
The article and video addresses this:

> On Windows and macOS you can run command line tools like arp -a to get a list of some devices on your network and then you can run an nslookup on those device IP addresses to get the names of the devices on your home network.

Basically it can get a list of device names on your network, including VMs.
Well I don't know what exactly is wrong with me but I typically have to interview for months with several companies before I even land one offer. I have more years of experience than you (for perspective).
> The question you should be asking yourself is "why? why does my C++ project need 18 programming languages to build and java needs an xml file, javascript some json, or rust a toml file".

But your C++ project never needed 18 languages.

If you feel it does, you need to take a step back and take a serious look at the mess you're making because you're making at least 17 mistakes.

Tell me, what exactly does your build need that is not met with the following:

project(foo LANGUAGES CXX)

add_executable(foo_exec
${SOURCE_FILES}
)

target_link_libraries(foo_exec
${MY_TARGETS}
)
You mean female recruiters? For some reason, all the female recruiters I know (on Linkedin) are rather attractive. Maybe there is some logic behind it.
It's just not monolithic. We've made serious improvements in a number of areas, but there are a few areas where we've clearly stepped backwards. Neither opinion really contradicts the other.
Interesting, to use docker as way to package and run wasm stuff. Actually makes sense from the point of view that it's yet another thing that needs networking, security, etc. Why reinvent all that when we already have docker, docker-compose, kubernetes, etc. as an API to drive all of that. It doesn't matter if underneath it uses wasmer instead of whatever kernel containerization is used for docker, or both. It's just another process that launches.

And it kind of solves cross platform distribution since unlike docker images, these should run pretty much on any cpu architecture (as long as it has a wasm runtime).
Seems they tried to raise money but failed, so unlikely to launch maybe?

https://www.pozible.com/project/zpecsen-mobile-spectrometer-...

> AU$0 of $19,800 target

> 2yrs ago

> Closed on 9th Feb 2021 at 5:00PM.
I don't see how recognizing the fact that life can never be 100% fair means that therefor we shouldn't do whatever is possible.

If someone will have disadvantages compared to me no matter what I do, so what? I still don't have to help make it even worse, or even stand by and not help move the needle at least a little in the better-world direction.

What's wrong with simply having that goal as an ideal and a direction that you aim? Forget about how far you can actually get, you still have a choice which direction to walk.
Fake it till you make it. Be confident, human will follow anyone confident enough no matter how wrong they are, and that includes women.
> Max Blumenthal (...) who is the editor of The Grayzone website (...) is a regular contributor to Russian state-owned Sputnik and RT

Oh well.
My 2019 Intel Mac Pro is really flakey about actually going to sleep when I close the lid. It seems to require me to reset the PRAM occationally to get it to work again.

I'm glad they moved to their own chips because these Intel Macs are the worst hardware I have ever owned.

My Thinkpad works fine under Linux, I didnt need to do anything to get great battery life and perfect sleep.
It’s been great to generate ideas rapidly without having to search. Google is 100% going to build this into their engine somehow.
I've also on multiple occasions had to send pitches to upcoming games while we were still a year from shipping the current game (as it takes a while to actually get money, if you want a smooth transition of team members you have to do it gradually and plan it well ahead of time). And when finishing up an existing game is when you have the least person-resources to invest in prototyping new ideas.

And if you're a small company/startup without a lot of money you can't chance getting stuck without funding, so play with the cards you were dealt and try what you can...
"Attractive" is in the eye of the beholder. But going to the gym regularly could be a good idea.

One aspect this article didn't mention is that people who are smarter than average may have an asocial reason for it. For example, a kid being bullied at school may spend more time studying math or reading instead of with other kids. He will do better at IQ tests, but his social skills will be so-so. It's not always the case, I've met a few very burning-hot-smart people that were also exceptional socialites.

Here is what I would tell my younger self:

Make your intelligence work out for you in a social setting, and not the other way around. Listen more than you talk, but go above and beyond to be emotive, sympathetic and understanding. People will notice you if you notice then. When you talk, do your best to be sensible and sharp about the things you say.

The most important thing I've learned though: widen your tastes, learn to love quirks and defects, and to love in general. Be adventurous, and don't listen to the Pope.

Ah, here is another hack. Some people exude intelligence in the way they talk: long sentences, exquisite grammar, good diction. But my experience aligns with the article: despite what they say, women select for average or low intelligence. So go to live in a foreign country where you struggle with the language; women will automatically divide your IQ by 2 or 3 when you speak with a heavy accent and your grammar sucks, and they won't be able to help it. When they discover that your salary is in the high quantiles, they will go as far as to attribute it to your good luck and good looks. They may even logically deduce that you are smart, but it won't percolate to the part of the brain where instinct and hormones are produced.

And speaking of it, all of it varies with age; hormones have a lesser grip on us as we age, so it is possible that women above 30 would be consistent and really go for the smart guys.
>unnoticeable

If I know you put steganography in there I can make damn sure it doesn't stay in, for small enough chunks of text.
not really..
low resolution and focused in short range

i dont even get a blip when looking at airplanes with my thermal camera
The subtraction could overflow.
The inaccuracy and the confidence when they respond, are the worst aspects of these transformers.