skysight-inc/HackerNews huggingface dataset:
The Thorlabs kit looks like a very decent Michelson interferometer that can be used for a lot of demonstrations such as measuring wavelengths and studying the coherence properties of light sources.

However, repeating the Michelson-Morley experiment is not easy since the expected signal is very small. If there was a stationary aether, the relative length difference for the optical path along the earth's motion compared to the path perpendicular would be (v/c)^2 ≈ 1E-8, where v is the orbital velocity of earth (3E4 m/s), and c is the speed of light (3E8 m/s). The arm length of the Thorlabs kit is just a few cm, so the shift would be on the order of one nm, or one five-hundreth of a (green) wavelength. Thermal drifts and vibrations of optics on a typical optical table are much larger than that, especially when trying to rotate the setup. Michelson and Morley achieved the necessary stability by constructing their interferometer on a solid stone slab, and made a near-frictionless bearing by floating it on mercury. The resulting stability is still impressive by modern standards, but the construction technique is not very practical. Nowadays, large and passively stable optics setups (for example telescope mirrors or laser gyros) are usually made from massive pieces of Zerodur which has near-zero thermal expansion.
Unfortunately, deep learning and the testing for deep learning have some factual evidence that are just the opposite of the author's own practice.

To test deep learning we have to get at the meta-objects that humans form of that subject and the only way to do that currently is essay testing. If you graduated in the 1980s and 1990s it was called blue-book testing for the blank blue books sold that just had pages of blank paper for such a purpose.

Multiple choice testing was chosen for IQ and SAT not for testing performance but to make grading tests faster as when SAT was originally applied during WWI they used it to separate officers from soldier grunts.

Or in short words Teacher interaction with the students meta-objects can at times indicate degree of deep learning.

Now hold on, let me give a twist. How would one test deep learning in a grad course in civil engineering? Since the meta-objects are going to be about building specific things we could have a contest to build a bridge that survives having so much weight applied. In fact, there are MIT classes that do exactly this way of deep testing and you can find the videos of it on Youtube(they are fun to watch).

Those are creative, are going to turn Higher ED upside down and go the interactive testing of human meta-objects rather than choosing to multiple choice test among other deep learning testing strategies.
Either get a new phone or don't use Signal. You already know the answer. Of course it would be nice if companies supported old hardware, operating systems, and applications forever, but that's not the world we live in. Neither Apple nor Signal will give any attention to the desires of a tiny niche they aren't profiting from.
I’ve designed many interfaces. Icons and use of icons is a difficult story. It used to be simpler, because many of the operations the icons would represent were digitized actions that previously had a physical component. For example: save was iconified as a diskette. Later we had upload icons being a cloud with an arrow going up to indicate ‘upload to the cloud’.

Today we design Interfaces for Machine Learning software, where an action might be ‘load language model’. These are actions that don’t have a history rooted in physical space. Or in the case of the upload icon, a visual metaphor.

So the iconography space is currently in an interesting phase. We have to create new metaphors if we want to keep utilizing benefits of icons in UI.
> as there are only three such countries (Germany, France and Italy)

Bedsides being wrong, as another comment points out, you’re describing the EU’s largest economies.
That's one of the biggest roadblocks: hospital & healthcare entities will not not have permissible mass sharing of data. When switching hospitals, its really hard to get a full copy of the record for single person. Try that for whole population. I may be wrong, but hospitals also could have incentives to tightly hold on to their proprietary data - where they spent a large sum of money. I worked in ML+Dermatology & getting data was a lot of regulatory check.

Also, DICOM is the format for maximum interoperability from different radiology modalities & manufacturers. But annotation & markup methods vastly vary between institutions. There is no commonality or agreed upon standards on information interchange.
I remember an analogue phenomenon in recent years on UK election polls.

They would consistenly underestimate Conservative votes, because conservative voters would shy away from publicly admiting their voting intentions.
> It's a personal judgement based on personal experience.

I'm not sure I understand what you mean. Are you saying that nobody likes you? If so, then maybe that's a "you" problem and not a "them" problem...

> I asked those same questions before deciding that maybe dating or marriage was not for me.

Forget marriage for a second, you don't even want to date? If so, I'm not sure you're really one to be giving advice here, to people who are interested in having relationships.
While Lean4 is meant to be much more of a general purpose language than it's predecessor, it is still built with being a proof assistant in mind. That being said it is self hosted and has been in development and use for quite some time, which says something of it's readiness.

Tooling around it great (it is installed with a rustup fork called elan).

As far as performance, it uses a particular version of ref-counting that allows mutation of unique references based on run-time tracking rather than compile time. If you accidentally keep a reference to an array and modify it, then you end up copying it rather than just mutating it.
What's nonsense is Basel III using market capitalization as fulfilling capital reserves.

Those asset classes are heavily collateralized. If you want to get technical, what really happens when you convert the same underlying asset to be collaterilized multiple times and aggregate it in a single security or several steps removed so no one is the wiser?
Also I suggest to use:

):xpath(following-sibling::tr[1])

instead of:

) + *

as the latter bugs out sometimes if you use an autopagination browser script/extension.
> Let's say I get a USPS account and attempt to cash a bunch of fake checks

No-credit banking. That means the funds are not available until the cheque clears.
I love seeing architecture that uses wind to cool and condition buildings, but it's not very helpful for older buildings. I wonder if we can mimic some of the benefits by creative planting of trees and plants?

I've seen mentions of whole house fans in the ArsTechnica comments and was intrigued as to whether that would be useful for my house. Here in the UK, our houses are designed to keep warm and don't have any A/C built in and that's becoming more of an issue as summers get hotter. However, I've discovered that OnlyFans is not the correct website to find whole house fans.
Google Analytics is also a thing. Not in this context but I had to think about it before reconsidering
> The fact that GPT-4 can pass his tests says much more about the tests than about the capabilities of GPT-4.

"Deep Blue beating Kasparov shows that ultimately, chess is just brute force calculation..."

"Stable Diffusion 'art' being indistinguishable from human art to most people shows how little most people know about art..."

"ChatGPT fooling people into thinking they're talking to another human shows that those people weren't paying attention, so the Turing test is actually useless for determining..."

"I mean, I know that everyone used to say that doing X means being intelligent, but now that software has done X, it becomes clear that..."

What is the real criterion for a machine to be considered intelligent? What does it have to do for people to not retroactively downplay it by invoking mechanistic pseudo-explanations?
Currently the AI is not even able to improve my work... How should it replace me? I think the statement "AI is finally at the place where it can replace brain-power for many tasks" is ridiculous.
> Basel III utilizing leveraged market capitalization as fulfilling capital reserves

Are you referring to SLR? In America, this is a second test [1].

Also, this is a total non sequitur.

[1] https://www.newyorkfed.org/medialibrary/media/banking/intern...
Keynote video: https://www.youtube.com/watch?v=QSWzSRnGEFo
I found a book a while ago, that made me change my perspective about how I see the world as a whole.

This is the book, it's called Factfulness: https://www.goodreads.com/book/show/37850908-factfulness

There are a lot of bad things that happen around us (war, hunger, discrimination, etc), but we are at the best time in the entire human history, even with that. Compared with every metric in history, we are better. Even where it's bad, it's less bad than it used to be.
I don't know how many recursive turtles you want.

You have a debt obligation like a utility bill. You want to pay it with your credit card, but you can't because you are over the limit. The end result is you don't spend that money. Your spending is limited, by the debt limit.
Source, if anyone is interested: https://web.archive.org/web/20211205064314/https://www.freed...
"Slightly drain the swamp"...

Slightly?.... What a dumb title...

This is the consequence of electing mediocrity. That mediocrity twists and turns and echoes through time...
I think you have an idealistic interpretation of Apple's PR. No one is forced to upgrade, your phone presumably still works as a phone and as a camera, music player, etc. Apple has nothing to do with Signal. They do offer a trade-in program, though an iPhone 6 won't get much.
>WASM vs a container runtime isn't a meaningful comparison because they're at different layers of the stack.

It's not just comparing pure WASM (bytecode) but the WASM+WASI (runtime) which is what this article's WasmEdge (runtime) is about.

It's a meaningful comparison when the original creator of Docker containers also compared them:

>Solomon Hykes / @shykes@hachyderm.io @solomonstre

>If WASM+WASI existed in 2008, we wouldn't have needed to created Docker. That's how important it is. Webassembly on the server is the future of computing. A standardized system interface was the missing link. Let's hope WASI is up to the task!

-- from 2019-03-27t20:39:47
https://twitter.com/solomonstre/status/1111004913222324225
I've never heard of Craps or Electronic Craps so I googled.

The last time I searched for a game that was gambling related, the ads I got for the next 2 months were nearly all gambling ads. It was craaaaazy.

I don't gamble and never have, but the thought crossed my mind that if this happened to someone recovering from a gambling addiction, he wouldn't have had a chance.
I disagree. To "solve" their CAPTCHAs I had to register by providing a working email address. I don't encounter HCAPTCHA problems that often, so when I need to solve a new one usually my cookie has expired and I have to reopen the link to get a new one before being able to continue. I just store such links in my password manager, but imagine you have to find an email with the link they sent you over a year ago before being able to just continue on with what you were doing. And even then, depending on ad blocking/privacy settings their cookie may not even work.

I think this whole thing is a big hurdle just because I'm unable to solve visual puzzles. Besides, having a company collecting email addresses of people who are disabled in one way or another and giving them an identifying cookie is a privacy/data disaster waiting to happen.

That being said, I think the audio alternatives for visual CAPTCHAs are also unacceptable. Even if you can hear them, they may be hard to solve especially if they are not provided in your mother tongue. I think we can and should be able to do better by now
Can someone please explain the context behind this?
Nice overview, though I would advice against using device-specific breakpoints even beyond giving them device-specific names. Phones continue to get larger every year so designs made for 320px specifically started to become unoptimized when phones became 375px wide, and those in turn started becoming unoptimized when 414px became the norm, then iPhone 14 came out at 428px wide and that'll just continue.

The best strategy then is to let your site's content and layout guide where your CSS breakpoint should be, and designing for the _range_ between them.

If you want a full overview of CSS Media queries, I maintain an evergreen article with everything there is to know: https://polypane.app/blog/the-complete-guide-to-css-media-qu...
Lean is currently moving to the 4th iteration which is the first intended to be a general-purpose programming language. It "is currently being released as milestone releases towards a first stable release". For now the main goal is to port mathlib to the new version, and then they will concentrate on the compiler. So it is not production ready. But that doesn't mean it is not suitable for building any programs now. There is a simple raytracer written in Lean [1]. I have built a chip8 interpreter with it and the only problem was the lack of an ecosystem, meaning I had to build the necessary libraries myself.

Now it has a RC GC and boxes everything >= 64 bits (including struct fields and IO/ST results), and as the compiler isn't polished it is probably significantly slower. In the referenced raytracer repo you can find rendering time compared to the C implementation (Lean is 25x slower, but that was a year ago).

[1] https://github.com/kmill/lean4-raytracer
> I’ve spent much of my career arguing that the main function of education is not to teach useful skills (or even useless skills), but to certify students’ employability. By and large, the reason our customers are on campus is to credibly show, or “signal,” their intelligence, work ethic, and sheer conformity. While we like to picture education as job training, it is largely a passport to the real training that happens on the job.

How about just keep your hot takes out of the article if you're not going to substantiate them?

Also the "real training that happens on the job", lol. I've learned so many more things in university. I'm struggling to remember the last time I did something challenging at any company.
It's exactly that, if you look up some of the people who have had their life savings taken because they happened to be moving it as cash.
Oh yeah, if i were in a position to use nmap every day...
Fortunately or unfortunately nmap --help has been good enough for me so far :)

> if i were in a situation where I needed to do complex stuff with nmap

Note: I've never been in such a situation. My network admin duties are like 0.5% of my time.
There is reason to suspect race is a factor: the facts of who was disinvited and how they were treated. There is also reason (the word “uncomfortable” in JT’s post) to suspect people are weaponizing DEI language and sensitivities as an “I win” button to boot the speaker, which ironically is having the opposite effect than what DEI initiatives generally intend.
> Similarly, as the number of particles in a system increases, the less you have to worry about Heisenberg uncertainty bounds on your momentum/position measurements.

I don't think this is correct. In fact, in certain systems, the Heisenberg uncertainty can get amplified as the number of particles increases - which is why we end up needing the addition of the Born rule in QM to predict classical observations, and can't just deduce them from the base equations. And also why we end up predicting a particle can go either left with some probability or right with one minus that probability, instead of being able to say "that particle will go right".
I remember seeing a paper that explained that while the a business needed 7 employees on average to reach something like $1MM in revenue in 90s, it was now 3.

So I think it still has the potential to replace some people. And even with AI and AGI eventually perhaps.

This is a progression.
Besides, employment is a bad measure in general if one does not compare it to others such as cost of living, poverty etc...

Like non farm payroll doesn't say anything if everyone is employed living with the minimum paycheck.
My cellphone is sentient - it cries very loudly when it wants to be fed and groomed.
AnyCubic distributes re-branded Prusa Slicer software without any credits
It's not satire. It takes enough self-control/willpower that, for example, a lot of people suffering from ADHD have problems with it. There are a lot of people out there who just aren't capable of habituating the tasks of brushing their teeth to the point of being done on autopilot - they have to consciously make themselves do it every time.

And that's after more than half a century of brushing teeth being a cultural expectation and something kids are taught in schools.

And that's not counting people in dire economic conditions, where frequency of brushing teeth with fluoride toothpaste is something to trade off against e.g. eating.

It's the 21st century. If we know anything about people, we know that self control and "free will" are overrated, and you can't rely on them at scale. On the contrary, you can rely on people having very predictable reactions to right nudges and incentives. It's the basis of modern economy and policymaking. It's the entire reason marketing and advertising are as big and well-paying jobs as they are. Etc.
> We can't have this because people won't unionize and exercise collective bargaining outside the bounds of the law

This is a non sequitur from why we can’t have postal banking.
Fair point about the scaling but a 9-5 job is pretty much the opposite... Very predictable usage and even on better priced cloud providers you can quickly provision new hardware when needed, e.g. some kind of load testing (which would be more ops than dev anyways)
1. Download lua sources https://www.lua.org/download.html

2. Define your build for the sources (just compile them! No dependencies! Brilliant!) (don't compile lua.c and luac.c if you provide your own main)

3. Integrate with e.g. this main.cpp (if using c++ is your thing, just plain main.c or whatever is binary compatible):

#include <stdio.h>

extern "C" {

#include <lua.h>

#include <lauxlib.h>

#include <lualib.h>

}

// Native function to be called in Lua

static int add_numbers(lua_State* L)

double a = luaL_checknumber(L, 1);
double b = luaL_checknumber(L, 2);
lua_pushnumber(L, a + b);
return 1;

}

int main() {

// Instantiate a Lua interpreter
lua_State L = luaL_newstate();

// Load Lua libraries
luaL_openlibs(L);

// Register native function in Lua
lua_register(L, "add_numbers", add_numbers);

// Call native function in Lua
luaL_dostring(L, "result = add_numbers(10, 20)");
// Read out the result of the function application
lua_getglobal(L, "result");
const char* result = lua_tostring(L, -1);
printf("The result is: %s\n", result);

// Define a function in Lua
luaL_dostring(L, "function concatenate_strings(s1, s2) return s1 .. s2 end");

// Call Lua function in native side
luaL_dostring(L, "result = concatenate_strings('Hello, ', 'world!')");

// Read out the result of the function application
lua_getglobal(L, "result");
const char* result2 = lua_tostring(L, -1);
printf("The result is: %s\n", result2);

// Close Lua interpreter
lua_close(L);

return 0;
}
The non quantized models look relatively large, 800 MB. So you'd probably need to do inference on a server and somehow monetize that. Sounds difficult
Slide to unlock ... a new puzzle
Assuming you have looked at all these tweets, you believe that it is proven to be 'disinformation'? Is this what you are just showing me?

What exactly are the 'claims' that these 'conspiracy theorists' are making that is in relation to the WEF movement about digital identity wallet that it is indeed marked as 'disinformation'?

Exact links to tweets this time. Not a random 'Go search on Twitter' link since the burden of proof is still on you.
> I guess if you agree with those reasons, it’s “curation”, if you don’t, it’s “banning”.

Curation is part of the job for librarians, and it's a specialized skill. I don't have to agree with an ideology to accept what they do is curation - a Librarian in a Taliban library still curates their collection regardless of my endorsement of Sharia. If they are instructed by Kabul to remove specific texts, then it's a ban.

Someone decides what music gets played on radio and what the TV lineup looks like and calling that selection "banning" is reaching IMO . When the legislature is coming up with a blacklist, then it's blatantly "banning" to me
Is there an online tool/piece of code that can find words like this in a string?
Worth the price. Keep em coming.
Federated learning (with implementations such as FEDn [1]) is supposed to solve this problem; Only sharing training weights, but not sharing data.

Sure requires some coordination, but the legal parts should at least be solvable in this way.

[1] https://github.com/scaleoutsystems/fedn
I always found it bizarre that health care is so expensive, and yet here we are given unlimited, free medicine, on tap!
They give that to babies in France...

I have swallowed my fair share of fluoride pills.

Are you to tell me that I should have been a galaxy brain but am now a smooth brain? Fvck!
which class do you recommend ?
If they can work out a proper apology and accountability, and restore the keynote, great. But the damage is done, and simply inviting the speaker back is not going to make amends.
Yeah, had a fun time yesterday when writing a tutorial. Was kinda reliably switching between good and bad every few seconds.
It goes beyond making their kids happy. If you see your family as an expending unit, helping your kids finance their education and buy a house is probably the most impactful thing you can do financially. Having a house early saves you a ton on rent and that’s even more important when you are young and have a low salary.
I've used both apagard and boka toothpastes with nanohydroxyapatite and I've enjoyed them, though my tooth sensitivity is not totally cured. I still get a jolt of pain from sweet things on certain teeth occasionally.

These n-Ha toothpastes seem at least equal to if not greater than high-fluoride options (in effectiveness) I tried previously like sensodyne and prevident (prescription-strength). I would say the boka mint toothpaste tastes better also, and as a bonus their electric toothbrush is much nicer than the old one I'd used a few years ago.

I still drink water with fluoride in it as well, mostly because it's the best tasting water I've come across. (From a city I grew up in, and I still fill jugs full to drink at home) I have well water at my house, which is safe as far as I know, but I still feel hesitant to swallow it.