skysight-inc/HackerNews huggingface dataset:
>Your encoding has really changed the meaning of the div function - it now always accepts any two arbitrary ints and always allows the possibility of returning None.

No it did not. That is simply your interpretation of it. I can rename "None" to "undefined" or to "Exception" and the etymological meaning is now more inline with your thinking.

The concept of exception or undefined can be encoded into a type or the set of all ints. What you are doing is saying is roughly equivalent to, "No I want to use the mathematical definition of Z, and I don't want to encode the reality of what's actually going on into the type."

You are getting hung up on a wording issue because you are stuck on the mathematical concept of undefined and division of Ints. Think of the problem from a higher mathematical perspective of sets and define a set (aka type) that fits the use case. That's just one perspective on the flaw in your thinking. There is another isomorphic perspective as well:

There is nothing weak going on here. There is no difference in saying that division by zero maps to "undefined" vs. Not defining it period. The concepts are isomorphic. When you construct the mapping in the english language when you talk to people. You literally say "division by zero is undefined" or "division by one is the same number" all these sentences are equivalent to saying "division by x/y/zero/ maps to undefined/z/somenumber."

Don't get too lost in mathematical conventions. Understand the higher meaning behind the concepts and you'll be much more flexible.

>This is 'safer' in the sense of avoiding crashes at runtime but doesn't actually help resolve the actual issue of avoiding a zero divisor when calling div.

You're not seeing the bigger picture. The only way to avoid a zero divisor is to use your made up type NonZero[Int]. There's no other way. Not even your exception handling can prevent a zero divisor.

The best way to do this is to FORCE the user to handle a zero divisor pre-compile time. This does not happen with an exception. Your program just crashes.

The pattern matching I illustrated above is a mechanism for forcing the user to handle any zero divisor related logic or the program won't Compile period. It is definitively better.

Think of it this way. Exceptions are cheating. It's some sort of escape hatch built into the language. It's better to have no escape hatches. Build all possible outcomes into the type.
I hope this post doesn't come across as a brag as it's not meant to be, being arrogant about security only ends one way after all...

I published this because I want to be open about how we do these things, because I think we safely can be and it shows that we care and don't just pay lip-service to security

If you'd like to show us up for our security though, please do peek at our HackerOne program. I'm a program admin on it and I'd love to read more interesting reports https://hackerone.com/monzo <3 (I know it doesn't have a paid bounty yet, I'm advocating for it)
If I understand this correctly, the "right hand" means antiparticles? Do I have that right?

And if so, then I have two questions.

1. Antiparticles don't participate in the weak force? So if I had antimatter, and I made a nucleus of some kind, then it couldn't beta decay? If so, does this say anything about the matter/antimatter asymmetry in the universe?

2. At various times, I have seen references to anti-neutrinos. They seemed to say that what made them "anti" was simply that the spin was in the opposite direction relative to the direction of motion compared to a "regular" neutrino. Were they wrong? And if they were right, what about the direction of spin should make them unable to participate in the weak force?
Honestly, yeah. But mainly because I don't see xml getting picked.

Xml is at least a markup language. Json is not. Encoding a document with it is terrible. Just look at Jupyter some time.
Anyone who has been making software engineer level money, but living frugally and dumping it all in stocks and crypto for the last 7 years is probably close to retirement. I guess his hack? is that he contracts and doesn't work very hard. I always found contracting more difficult due to the huge amount of hustle and bookkeeping you take on in addition to the actual work.
It's not that long, and you don't need to read the entire thing. The first few articles make it clear that you can't do this.

Article 4

> ‘personal data’ means any information relating to an identified or identifiable natural person (‘data subject’); an identifiable natural person is one who can be identified, directly or indirectly, in particular by reference to an identifier such as a name, an identification number, location data, an online identifier or to one or more factors specific to the physical, physiological, genetic, mental, economic, cultural or social identity of that natural person;

Creating a random identifier to identify individuals means you're working with personal data. (And it's coupled with the IP address, and hence crude location data – and OS information, and metadata about their behaviour…)

Article 6

> Processing shall be lawful only if and to the extent that at least one of the following applies:

None of them do. If you had consent, then this would be fine, but the whole idea is going behind people's backs to secretly reprogram their computers to phone home, for your own curiosity. That's not allowed.
My prior intuition was that rank-choice voting would be preferable to approval voting, but this [1] was pretty helpful. Thanks!

[1] https://electionscience.org/library/approval-voting-versus-i...
Malta was conquered by North African Islamic caliphate around ~800AD, and then 200 years later the Normans(yes, those normans weren't just invading England around the year 1000) came in and took it, and then 200 years after that they kicked the Muslims out. By that point the Arabic that the original invaders brought was the common language, and it developed independently from the Arabic spoken in North Africa, slowly becoming latinized by the Christian Normans.
> To answer this question, we propose LAPD (Laser- Assisted Photography Detection)
US law signed by President Biden will require new cars to detect drunk drivers
Interestingly, this approach seems to be gaining more traction in Germany specifically. One of the larger newspapers, Die Zeit, applies it for the free tier of its website. There’s a big annoying modal when you go to zeit.de if you want to see that approach in practice. Hilariously the choice I make in that modal never seems to stick. Maybe there’s a separate GDPR-compliant toggle somewhere to allow them to track that I want to be tracked ha!
Awesome example: most work can be interesting, when getting into the nuances.

However, all works and companies do not incentivize doing whatever work interestingly.

A few questions I use for potential employers:

- What's one idea that you came up with and implemented, in order to make your company better? What was that process like? (Read: find out how much the company supports bottom-up innovation)

- What's the process for getting adopting a new dev tool or standing up a new server at your company? (Read: differentiate between command/approval-driven companies and need/self-serve companies)

- All the basic boring stuff: What's your CVS system? Is code visible across the organization? What's your knowledge system? Are documents searchable and visible across the organization? What's your CICD system? (Read: make sure you aren't walking into a dumpster fire where basic hygeniene has been neglected)
Franklin was a pimp daddy player and a vegetarian too.

Edit: I also recommend Franklin's autobiography and associated correspondence.
I love the video game metaphor. Just because you're playing at the "easy" level in a video game doesn't mean it is easy to finish the game. You have to put in the time and effort, and the last boss can still be difficult.

This might be the origin of the metaphor: https://whatever.scalzi.com/2012/05/15/straight-white-male-t...
Because that is how it is done now days?

Browsers have supported video calls for years now. Heck there are plenty of Show HN posts about the latest in browser virtual chat rooms with full video and audio.
I wonder how hard it would be to engineer a material that you can put on top of the hidden camera lens that would greatly diffuse the specific frequency range of light that these ToF sensors use while permitting mostly visible light through? If so, it might be possible to defeat this approach relatively easily.

Looking at what the DL filter is doing, I wonder how well this really generalizes. It seems that many of those examples are virtually indistinguishable to a human (hence the high false positive rate for the naked eye experiments).
30 cent per user per month, maybe. Not 30 usd
Yeah I guess my phone is not in that tier... it looks to be marked up 2x from GSMArena's prices... but $150 vs. $350 pricing. Also the Moto G Stylus (my phone) is from 2020
Another issue Reddit abd Facebook seem to have is that in trying to host a legion of communities under a single umbrella they wind up having to moderate a mishmash of communities that are at best poorly understood by the higher ups (cultural differences and linguistic barriers, chiefly), and at worst are actively hostile to each other or even hostile to the platform itself. It's rather remarkable they even function at all.
The alternative to paying for an ad-free experience is ad-blockers. I very much doubt that they make anywhere near as much from me.
> Can you retire on $40k a year?

Maybe in Europe.

No, in the US. Not even close. Even with a paid-off house. Certainly not before "retirement age".

Health care is the reason.
got it, makes sense. For this usecase, it almost makes sense to use IE because they still have the adobe acrobat plugin which imo is the gold standard of pdf reader, annotating.
As an ex-InfoSec engineer for 12 years, my only concern is they seem to have no process to recover from a defective or destroyed HSM. But other than that it's quite good (though I have only skimmed the blog post.)
They also made their own SMB client after SAMBA switched to GPL3. Forgot about that.
That is the correct model of what wavefunction collapse is. And yes, there are huge amounts of research in how the effects of random entanglements -- https://en.wikipedia.org/wiki/Quantum_decoherence is the general concept.
German local governments have been playing this game for a long time. Usually they try off brand software and then the employee union complains and they switch back to Microsoft.

Microsoft Office is buggy, but off-brand office suites make it look positively reliable.
It's a hell of a lot harder to squat namespaces as you need to either spoof or steal or buy one domain per namespace, which is not trivial.

Maven Central has require PGP signatures since the beginning as far as I know! In the olden days, it didn't use HTTPS though (which has been fixed for several years now), so unless you validated the signatures and kept track of the PGP keys, you could still run into trouble.
I live in Poland and have immigrant friends. Rest assured there is very real physical violence towards migrants from both former Soviet Union countries as well as Western countries.

You have to watch out for your safety all the time. Just a few weeks ago my friend's bf was beaten up along with several of his friends in Warsaw. The police has done nothing, the embassy has done nothing (they are from on the biggest Western EU countries). You won't read about it in the newspaper either.
Article said "don't live in a major city". Besides, my understanding is that prices are still reasonable in smaller cities like Quebec City, Kingston, Halifax, Edmonton, Calgary, Winnipeg, etc.
> There's no respect to be earned from a public digital trail admitting you've traded real money for a link to a fake clout badge.

Except there clearly is. At the point where many of the world's most famous athletes, musicians and actors have prominently displayed NFTs that they purchased, then there clearly is real social status associated with them.

You can debate about whether that's unfair, or stupid, or just a fad. But it's pretty clearly undeniable that NFTs today are an indisputable social status market to a not insignificant fraction of the population. The fact that you find that you think it shouldn't be that way doesn't change the way things are.
"Facebook is bad at moderating the Latin alphabet. For the Arabic script, it’s a disaster."
Agreeing here, but to clarify, a million is probably more like $32,500/year indefinitely. The 4% rule is outdated and was designed for 30-year timeframes anyway.
I don't think Magento is relevant to my use case. I am creating an API product (something like Twillio or Mailgun). Magento (and Elogic) seem to be in the space of retail and ecommerce.
We literally have folks in office that called a violent insurrection during a peaceful transition of power following a democratic election "just tourists".

And that's not counting the elected officials who actively abetted the insurrection.

And most members of their party are pissed at the few who are willing to call it what it was: a violent insurrection attempting to overthrow the democratically-elected government.

I think you overestimate "how far we've come."
Alternatively, work at a company that doesn't use "the room" as a political tool, but actually values their employees' input and is eager to have them involved in decision making.
You don't have to answer but, I'm assuming by the phone's API you can steer the beam/have an exact precision known of the minimum angle you can sample? That's pretty cool tech to work with.
No one (today) really believes that it is the observation that 'causes' a change in the experiment. What is happening is that the observer is becoming entangled with the experiment.
Gitea is a community managed lightweight code hosting solution written in Go
I wrote some code for my site that 1) finds the most active link to the post on HN, and 2) uses the HN API to pull in and render its comments at the bottom. The site is statically-rendered, but there's a bit of client-side JS that loads the latest comments when you visit the page. Most of the work is done on the back-end; the front-end just grabs the content and drops it in.

Example: https://www.brandons.me/blog/three-types-of-data

Implementation: https://github.com/brundonsmith/website/blob/master/src/load...
That's why Germany is a great place that would adopt open source more, because they have prominent "own" projects like Suse Linux or that office suite. Now, nothing much has come of that in that way (but the German university I briefly studied at, did use Suse, of course).
> Millions of people raise families on 40k/year in the United States. These are your fellow citizens. Perhaps you can ask them how they do it and whether they are "satisfied" with that level of income and lifestyle.

I have. They are not satisfied.

$40k

Taxes - $5000/year.

Monthly budget: $35k/12 = ~$2900/month

Rent - $1200

Utilities (incl. tv + internet + phone + gas + elec) - $300

Car payment - $300

Car insurance - $90

Food - $300

Gas - $80

Health insurance - $500

Oops we're already at $2770. Hope you don't need your tires changed or have kids. Maybe you can just go without health insurance for a while. After all, having health insurance is really just the result of lifestyle inflation.

What about laundry? You have a free in-unit machine? Otherwise that's like $40/mon. You also better not have any other loans. Fell behind during Covid and took on CC debit? Good luck paying that off for 10 years. Went to school? Hope Biden cancels some of your debt, because that's the only way you're paying that off. Also, Trump era tax changes mean you now have surprise tax bills every year because less is being taken out of your paycheck. Now you have $80 in fees and counting on top of the tax bill that you still owe.

I'm not making any of that up. That's real. Why don't you talk to people instead of pretending like $40k is enough to be "satisfied"?
> Our innate sense of morality has evolved to show us what's harmful and what's not.

Who is this "our" and "us" you're referring to if everyone has a different sense of morally? Are you talking about the evolution of a "culture" or of "every individual." If these are all different, why would their "evolutions" have the same goal?

This all seems very empty. What's the difference between what you've said here and "all people have different moral frameworks, and they all follow those" (which I don't think is possible to dispute)?
> In short, GNU Guix is both a package manager you can use in any distro and a full-fledged GNU/Linux distribution, that is modern and advanced

Why not just use Nix, which is more battle tested?
Palm oil favors tumor expansion
As a happy customer of crypto.com this was a pretty big buy signal that has panned out really well so far.
Only 29% of Americans actually think the country is headed in the right direction. Everyone else thinks Civil War Redux is close at hand, because The Other Side is evil and destroying the country.

I can't remember the last person I met who thought the US was the best place in all regards. We're mostly aware of the problems, but completely opposed on how to fix them. The current political climate is born from that intense frustration with the status quo.
A lot of us InfoSec folks consider this very good practice to be 100% open about how security technologies are deployed. Ever heard about security by obscurity? It confers a false (dangerous!) sense of security, and prevents your security stack from being audited/reviewed even by casual comments, like it's literally happening right now on HN.
DoorDash Launches Autonomy Lab
We have multiple identical backup HSMs in multiple different sites. Any one of these + a keyholder quorum can recover the system. The entire safe room burning down is part of our possible disasters list.
Full autonomy is not possible with the current technology [1]. Unless Apple is sitting on some breakthrough in machine learning this is purely marketing material.

1: https://rodneybrooks.com/predictions-scorecard-2021-january-...
Sounds like reducing chloramines (the smell of chlorine isn't from chlorine). I may do like I do for hydroponics: mix half tap and half RO water.
I think it's more about asserting yourself to the degree that you're able to be persuasive, and no more. For example, it's possible for me to be correct, but not be able to persuade others to my point of view. If I take up a lot of group time ineffectively arguing my point, then that's a waste of everyone's time. If I eventually get my way because I'm persistent and won't drop the argument, then that's a short-term win but it comes at the cost of my social capital.
Good question. We evaluated the "K18" hidden camera detector, and not the SpyFinder, but they use an identical principle.
I don't think it's correct to say that they interact as particle events, because off-shell interactions are a thing, and interacting strictly as particles would prohibit that, no?
I'm having a hard time seeing how the obsolete and not exactly tiny OV2640 was crammed into that electrical plug. The integrated module is a 10mm cube with a 1/4" lens and to be useful it needs a power supply and either a storage controller or wireless network interface.
This whole thread seems to love the principle of LibreOffice, but ignores the fact that actually using it is a slog and a half.
Interestingly, Ramsey Solutions' study of 10,000 millionaires found that teacher is actually one of the top 5 careers for millionaires: https://www.ramseysolutions.com/retirement/the-national-stud...

(Disclaimer: there may be confounding variables the study didn't account for)
Sorry to hear about your experience with Workers. Be sure to get in touch if you have more questions about it. If you'd like to try out Pages, we recently announced support for setting custom headers with an `_headers` file. Check out the announcement here(https://blog.cloudflare.com/custom-headers-for-pages/). Docs are also linked in the blog!
I can only hope you've read statements from environmental organizations urging electronics makers to promote repair and reuse to reduce e-waste. The goal isn't to convince you or change your beliefs, the goal is to reduce e-waste. There are plenty of volunteers, but companies like Apple are also hiring lobbyists to block right to repair legislation by making false statements.

>I understand and share the desire to tinker with and repair anything regardless of complexity. However, as someone who also produces products, I also think that the law should be reasonable in what it forces me to do when I create something.

Sorry, but the environment comes first. The point with right to repair is to remove the artificial restrictions on expert technicians so they can service consumer electronics.
They might be, but only in very small quantities. The amount of dark matter that we would need to "fix" the galaxy rotation problem... would it affect the orbits of things in the solar system at all? (OK, yes, it would, but observably?) I haven't done the math, but I strongly suspect that the answer is "no".
I don't think Apple does this.
> … because they play dirty games with benchmarks, most of the times

No they do not.

Let me give you an example:

https://benchmarksgame-team.pages.debian.net/benchmarksgame/...

*** You ignored the Python code that does not use ctypes.

> I have seen the same unjust comparison with the majority of the examples…

No you have not.

There are 10 different tasks.

pidigits accepts the use of third-party libraries (GMP)

regex-redux accepts the use of third-party libraries (PCRE)

That's 2 out of 10.
I love that people keep making alternatives, but I can't shake the feeling that whatever displaces search engines won't be recognizable as a search engine.

(And I have no idea what it's going to be.)
Yale pressured a law student to apologize for Constitution Day trap house invite
The article has quite a few heavy statements and lots of predictions.

Who signed it? I cannot find it.
Ah push notifications, that's smart. Don't think that would really work for me as I actually use Discord a ton and use push notifications to only notify me of important channels, but cool nonetheless.

And yea I know client modifications haven't been allowed in years, although they haven't really cracked down on it much aside from completely separate third party clients.
C relies vastly on dynamic linking. C++ cannot dynamically link templates, so it's pretty common for a C++ library to be made entirely of header files.

Also, that's really only true of a small number of Linux and BSD flavors. Applications shipped on Windows, macOS, Android, iOS, or any of the Linux "application bundle" systems like the Steam runtime, Docker, FlatPak, will deliberately avoid using globally-specified dependencies.

It's also commonplace to avoid declaring dependencies in C by vendoring them, like how VLC basically includes its own implementation of a bunch of data structures [1], and the entire universe of single-file libraries [2].

[1]: https://wiki.alopex.li/LetsBeRealAboutDependencies#gotta-go-...

[2]: https://github.com/nothings/stb/blob/master/docs/stb_howto.t...
These worst examples generally revolve around the victim having a significant amount of money, which the "guardian" wishes to use for their own purposes under the color of law. Thus supplying the resources to create a justification to keep them under guardianship. Unless there is an elephant that somehow gets a windfall to their own name, the setup for moral hazard seems a lot smaller.
> could be addressed by running proc macros in a wasm sandbox

Kind of. That will stop the compromise on build, but odds are then you run the code anyways so injecting the code into the executable is almost as good. I guess if you are building an application that is always run in a sandbox anyways (like a wasm application that never sees sensitive data) then sandboxing proc macros could be good enough but I suspect that is a very rare case.