skysight-inc/HackerNews huggingface dataset:
> How could something so mundane as a metal detector be banned?

Obviously it's not...

The actual law says:
"Nul ne peut utiliser du matériel permettant la détection d'objets métalliques, à l'effet de recherches de monuments et d'objets pouvant intéresser la préhistoire, l'histoire, l'art ou l'archéologie, sans avoir, au préalable, obtenu une autorisation administrative délivrée en fonction de la qualification du demandeur ainsi que de la nature et des modalités de la recherche." [Code du patrimoine Article L542-1]

"No one can use material allowing detection of metal objects to look for monuments and objects which can interest prehistory, history, art or archeology, without having, beforehand, obtained an administrative authorization delivered depending the qualifications of the applicant and the nature and modalities of the search."

So basically you cannot use a metal detector to do illegal archeological search. This law is weird though, since it actually condemn the intent and not the act. I'm no lawyer but I'm guessing it's pretty hard to condemn anyone with this law since anyone thoughtful enough can hide his intent (or at least prevent producing any proof of such intent).

https://www.legifrance.gouv.fr/codes/article_lc/LEGIARTI0000...
State machines can be metaprogrammed: https://github.com/mratsim/Synthesis

You describe the events, transitions and even interrupts and this compiles to optimized goto statements with no allocation, no indirect function calls, no switch statement.

There are compile-time checks to make sure you don't have state with no transition from and it also produce a visual graph of your state and transitions.

It's been tuned to be used as the core of my high performance multithreading runtime so zero overhead compared to handwritten.

It is suitable for any state machine with zero alloc constraint and state machines can be composed (they are just a function).

I hope in the future to be able to add model checking using Nim Z3 integration so that we can reach Ada/Sparks formal verification prowess: https://github.com/nim-lang/RFCs/issues/222
This just smells of completely misunderstanding who you're targeting.

Good luck, you're going to need it.
The ultimate result of the YT algorithm for me has been that the videos are increasingly a jukebox for background noise. Sometimes the noise is music(as in the popular "lofi hiphop study beats" or old anime soundtracks, or 80's pop hits) and sometimes the noise is man talks into camera(as in tech reviewers, music theory teachers, and video essayists) but it's basically inoffensive, interchangable background with an occasional moment that makes me pay attention or even comment.

By their metrics it probably looks great: lots of watch time! Interaction! But it's basically leaving the possibilities unfulfilled.

Now, I remember early days YT as well. It was much better at getting you circulating through a niche, but it did have the problem of getting stuck in a cycle of the same few videos. Modern YT just gradually moves you towards popular categories. Occasionally it does surprise, as with the months where "Steamed Hams" edits were recommended daily, or more recently, the train station ghost story song with no title. But that's mostly the exception.

Edit: And a big part of why I seem to have this feed is simply because I have "liked and subscribed" to channels in these categories. If you do that, the recommender biases heavily back towards them.
It really doesn't matter if anyone bothers to look for it. If it's on public land, it belongs to the state. You're also not allowed to chop down a tree or dig a hole.
"The SEC’s order officially censures Robinhood for its actions, fines the firm $65 million, and requires that the company work with an independent consultant to ensure that henceforth it will satisfy its duty of best execution."

So, could this mean that Robinhood's business model just went bust? If they are getting the majority of their revenue from, and they will now be required to provide, presumably, some form of execution that is closer to best execution, then the other firms they are trading with will lower the money that RH receives, no? Naturally it may not matter - they are a SV darling and have quickly made Schwab et al look like dinosaurs.
The midrolls are nearly always in an awful spot in the video and especially when watching something on a serious topic so jaring.

At least most television ads are placed in a slot designed for ads to be there. Though I still find them jaring for shows that arent up-beat.

To be honest, tv ads are the reason we dont watch a lot of TV anymore. The ad:content ratio is too high, and youtube has definitely as high or higher without an adblocker.
Replace “laws” with “customs” and the sentence works. The Chinese leadership doesn’t care about its citizenry as long as $$$ keeps flowing. They are hardly unique in that, of course, but they’re more blatant than others.
It matters much more for large orders, but there's always some additional risk with a market order regardless of size.

Depending on your broker, they may have built-in safety mechanisms for market orders. I use Fidelity and they have a price improvement feature. They basically execute your order at the best possible price available at that time.
Must be some EU/U.K. rule imposing clarity on risk but usually I find this stuff buried deep in terms and condition.
Probably not in your scenario. But if you're making a larger order say $50k. you may see even like 0.5% difference in fill price between brokerages so $250. Also depends on liquidity of the stock being traded, if it's relatively low volume you may have even larger differences.
Yeah, the EU tried to fix that and now we have to accept cookies everywhere and nothing really changed.

IMHO it's better to have an account and configure it. The GDPR-like approach is much better than the do-you-mind-cookies-banners approach.
I use Guru Maps for that. It's neat & fast...
> But people who watch stupid and destructive stuff (even once) are doomed because they are going to get the same and worse kind of content recommended over and over. This is a particularly underestimated social problem indeed.

Indeed. It's a bad enough problem that one wonders whether the company is liable for its effects upon society.
I mean you are providing free sell options to the market if your limits are below the current price. I‘m not sure thats much better.
I just place limits way above the current price to get a market order with no risk at getting rekt by a bug or a sudden market movement
You're not Australian then? (Down-under type people sometimes don't wear shoes either.)
> "I want this stock right now, you can decide what the price is"

No this is too pessimistic, there are best execution rules which say the broker must get the best price possible. It can trade off exchange with a hedge fund, in a dark pool or internally with another customer, but the price must be better than that of the exchange bid/ask.
How does it make you money?

My money-making idea from this is AI to detect sentences or fragments from your emails that could be taken out of context and made into embarrassing headlines if the email gets leaked.
> The search function still exists...

The search function recommends results that match your query. It's part of the same system!
Company does not need to fail for short to be profitable.
Beware the Danger of ‘Vaccine Euphoria’
These are called super apps.
Has answered multiple times, including to your previous comments.

- bounds checking enabled by default for arrays and strings

- real enumerations that aren't implicit converted into numeric types (fixed in C++11, if one bothers to use enum classes)

- enumerations can be used as indexes (C++ can work around this with enum classes and some boilerplate templates)

- most data conversions must be done explicitly

- ability to actually define subtypes that are enforced by the type system (C++ offers this, provided one does the required boilerplate class/template code)

- memory allocation by default doesn't require doing math with data sizes (C++ as well, yet there is too much malloc()/free() pollution in C++ code bases)

- no need to deal with pointers for out parameters, thanks reference parameters, which even in C++ there isn't any guarantee they aren't null, even though that would actually trigger UB)

- in some of the dialects, namely Modula-2 and Oberon and the languages derived from them, unsafe code requires explicit import of SYSTEM package

- if one wants to do crazy C like code, all the necessary gear is available, pragmas to turn off bounds checking, pointer arithmetic, unchecked casts, unions, mapping variables to explicit memory addresses, pointers to callbacks, it is everything there in the package. The original bare bones ISO Pascal wasn't no longer relevant in the mid-80's, unless the teacher didn't knew any better.

In fact, IBM i, z/OS and Unisys ClearPath have done pretty well with PL/S, PL.8 and NEWP, only adding support for C and C++ after the market started to care about POSIX support on mainframes.
With a market cap of 50T the stock would return 2% dividend eventually. And banks can currently get loans from the US government and other funds for around 0.03%. So if you were a banker and you got a loan for 50T from the US government as long as interest rates remained low for the next 21 years you would have a company making 20B in profit and a cost of 15B servicing the debt. And the next year it would be 40B in profit and 15B costs.

So the question you are asking is what are rates going to be for servicing debt over the next 20 years? If rates go up to 8% 50T is probably too high for the stock.

The reason TSLA's stock is so low currently is because there is no guarantee that it will continue to grow at the same rate over the next 15 years.
Sure, you can report it and there is even a reward, but only if you found something accidentally without searching for it. For example farmer dragging stuff up with a plow, or builder digging a well. Reporting a find with metal detector is a crime with up to ~$100K and 2 year prison sentence, or up to 8 years if experts deem you destroyed something by accitend.

https://www.adwokat-prawo.com/post/nie-legalne-hobby-poszuki...
"Gebru’s weak paper"

Could you please back up your claim as to the paper's quality - do yoy have credentials and background that enable you to cast this judgement, or is this pedestrian?
That possibility can't be the main explanation.

Allowing abortion in the US did not change anything in other countries. Crime rates have dropped in every country shortly after leaded gasoline was phased out.
Bought a used HP Elite Thunderbolt 3 Dock for ~50€ off eBay and never regretted it. Watch out to get the correct cables and chargers though!
They've offered CalDAV and CardAV since June, they just don't advertise it particularly well. Check the Thunderbird documentation.

Oh and it's in Beta.

It's just much easier for me to host that myself, as opposed to email, so I do.
Nim is wonderful to use and it's a shame it doesn't enjoy as widespread usage as languages in a similar space (rust).
Nice domain btw
Forgive me but I'm completely missing what you're saying here. Are you saying that ZFS has a write hole when reslivering?
I've looked at the Dell WD19TB, after using the previous gen Dell one from work. But I don't know about 4k support, since I only use 2560x1440 screens, which seems to work fine.

EDIT: Ah.. I saw now it was well above 400 CAD from Dell Canada
Perhaps in that case the algorithm finds the local extremum, not the global.
I want Youtube to recommend educational videos, a la Extra History and 3B1B. That's most of what I watch on Youtube.

Youtube recommends stupid crap based on what other people like.

If I watch one stupid video not in incognito, ALL of the recommendations become stupid videos because those videos have better metrics. Youtube actively guides me away from educational content.

Even within educational videos, if I click on a click-baity channel once, that channel dominates things I've watched MANY more time. It seems to all be about click-through metrics.

I've never had Youtube recommend really upscale educational content like Zach Star before. It's quality stuff, but you gotta find it yourself.
Which CPU did he use? And why is there a Macbook on all drawings? How is it related to the actual silent PC?
It seems like corruption that does billions in damages and costs lives
Show HN: Lsos – open-source, financially sustainable and independent
Ask HN: Software used on NASA's Perseverance mission to Mars
What software is being used for the various systems on the Perseverance mission to Mars? What are the design principles and mission constraints that have influenced the choices that have been made?
I have no idea whether the internal process at the FSF changed or not, but the rules are the same for the FSF endorsing a distro and giving its Respects Your Freedom certification to a piece of hardware.

This page has stayed the same:
https://ryf.fsf.org/about/criteria

However, I raised a question about how to interpret the RYF criteria with regard to proprietary firmware updates, and I'm hoping the FSF will clarify the RFY criteria in a way that allows proprietary firmware updates for components that don't execute on the main CPU cores. See: https://forums.puri.sm/t/does-respects-your-freedom-certific...
I'm honestly just thrilled they correctly labeled millennials (as opposed to conflating them with Gen Z).
What? Scientology has never been stronger. They're on their way to literally owning an entire downtown city in Florida (forget which one).
The recommendations are now almost completely inescapable if you want to continue using their service. They recently did away with email notifications for new content [1] and now the RSS export feature for subscriptions has been removed [2].

I refuse to interface with their algorithm, so I've begun hunting down alternative video hosts and the personal sites of the creators I can find and am preparing to leave their platform.

Alternatives are now very viable, with a platform such as BitChute soon to offer functionality such as live streaming [3].

[1] https://www.androidpolice.com/2020/08/15/youtube-will-end-em...

[2] https://support.google.com/youtube/thread/85275454?hl=en

[3] https://www.bitchute.com/funding/livestream/
I open private tabs as well for some videos that interest me, but that I wouldn't like to keep receiving recommendations on similar videos. I thought I was alone :)
I'm a customer which is why I got the email. I posted it because I think it's a pretty fascinating and unusual product announcement from a fairly well-known startup, and the way it's written (and its length) is a big part of that.

I could've summarized the claims, but I don't think that would've done it justice haha.
I skimmed/read the entire article (dated June 2019). It does not not contain anything new or surprising for most of the HN audience (not a critique of the article itself, which is aimed at a broad audience).

There are some very fundamental questions that I don't think we have really good answers to yet.

- Like all social media, Youtube's algo is aimed at maximizing aggregate view time, and people working there are directly rewarded for that so it's difficult to change. You could bring up some obvious criticism, that recommending crap will destroy the value/brand in the long term. But that's extremely hard to measure/proof, especially when all short term KPIs point in the opposite direction. So you need the top leadership (who still has to answer to the Board/shareholders) to take the contrarian position on faith.

- The article/Chaslot claims that Youtube's recommendations are not about "what the viewer wants". The obvious question is then, how do you measure "what the viewer wants"? Youtube / social media's main metrics, engagement minutes does not seem obviously flawed. Even if they were, I have not seen any practical alternative (either in this article, or many other discussions). People often bring up analogies with nicotine and other addictive substances, that engagement is largely involuntary. But the main issue with nicotine is clearly harmful for health. If it weren't, there would probably wouldn't be much legislation around it, even given the adddictiveness. The more apt analog may be soft drugs like cannabis, where the legislative momentum seems to move in the other direction.

- The fundamental issue is not that social media is not giving people "what they want". It's that often people want things can be bad for themselves and/or for society. This is very difficult to resolve without taking a strongly authoritarian/paternalistic standpoint.
Author here.

I've thought a lot about this. I believe the future we want is:

1. Open Source.

2. Pricing for larger companies while staying for free for anyone else.

Many believe that trust mode [1] cannot work. But that's not true: Sublime Text's business model is entirely based on trust and they yield in the 7 figures.

Ideally, all Lsos projects would use trust mode only but, if larger companies don't play along, then we'll switch to enforce mode.

[1]: https://lsos.org/faq#trust-mode
Social networks? :)
I don’t know op, but if they don’t do paperwork, maybe it means just that. They wont use a bank due to requirements that violate their code. People can and do live without using a bank. Maybe they have a loose definition of paperwork that allows for a checking account.

Instead of using your base assumptions and ruling out what they said, ask probing questions to validate your understanding. At the end, you may just come to the same conclusion as before (but this time with data!) or you may learn something.

As for “the rules don’t apply to me,” there are many rules that really don’t apply that many folks just assume to be required. It is ok to eat breakfast for dinner for a silly example.

I agree that rule breaking should not involve pissing in someone’s cookie jar, but if you are not inconveniencing others, it seems all fair game to me.
Remember that this is the government that has been claiming that they are ready for no deal and willing to go for it.

Yet this is effectively no deal one week early and it's total chaos. The level of unreadiness after 4 years is shocking. Or perhaps the plan is to cave at the last minute.
No, it's not. It's like saying smoking is good for you because there's this one 120 year old smoker.

COVID misinformation is being tackled with specific manual attention because the algorithm was prioritizing it, and because it's receiving fairly unique amounts of attention.

Google's (and Facebook's and Twitter's) hands were forced here. They'd much rather be leaving it alone like they do with other conspiracy theories.
What I don't understand here - if the US need their aircraft to work in combat operations spheres, surely it needs to be robust against this anyway? Nothing to stop an enemy nation state using this to confuse
I don't see how this is an indictment of day trading (not that I recommend it). Fees are not specific to "how" you trade (e.g. day trading vs buy-and-hold), for one thing. But also, many brokerages don't have any fees at all. Successful day traders will be using limit-orders for which the issue described in this article would not exist.
If you're going with a smaller email provider, you kind of have to know what you're getting.

Keep in mind that several large email providers blacklist competitors by default and _literally charge an extortion fee_ to get off the blacklist. Migadu's issue is that they refuse to pay it.
Ask HN: Will Apple's presence in EV hinder Tesla?
Only Seven of Stanford’s First 5K Vaccines Were Designated for Medical Residents
PART V: THE EMPIRE STRIKES BACK
They should integrate direct payments/donations.
As a matter of law, brokers have a duty to seek what’s called “best execution”, meaning they’re required to both shop around for better prices and pass all of the price improvement they can find onto their customers. Payment for order flow is still kosher in many circumstances; there's no clear duty to go to the people offering it and demand price improvement instead. But what you definitely can’t do is accept a worse deal (or stop trying to find better deals) in order to protect your payment for order flow revenue stream.

It’s fair to say that this rule cuts off some interesting business models which might better serve different market segments, but that’s largely the point. In the SEC’s judgment, the potential for abuse is too high if stock brokers start acting like retail stores.
Marketplace for our regenerative post-capitalist future is up and running
Happy to discuss my fellow HNers!
Some of the benefits of this come from separation of values from the keys. This is an increasingly widely used technique: it is described in the WiscKey paper [1] and is also used in the PingCAP fork of RocksDB. It seems Chinese companies like forking RocksDB, I am not sure why, perhaps the combination of firewall+language barrier just makes it easier to fork and move fast than try to work regularly with upstream.

By separating out large values there's less write amplification and things get faster because more of the SSTs fit in RAM cache. RocksDB wasn't historically a great choice to hold things like file uploads - you'd use the traditional filesystem for that. But that's quite constraining. When large values work better, it not only is a performance increase, but it enables new software designs too.

[1] https://www.usenix.org/system/files/conference/fast16/fast16...
I'm not much into Steve Jobs, never been an Apple user, but I get the impression that Steve Jobs was a very judgmental person, also on behalf of others.

Having said that, I personally also think that it would better if the non-molding was a conscious choice, and not due to lack of thought. I personally often see people suffer due to lack of possible molding.
Since it is a group thing it would likely only be encrypted to the server. Telegram only does end to end encryption for "Secret Chats" which is a different mode.
I have a feeling people like to hate on CSS because making GUIs is hard and tedious work in general and introducing bugs is way easier than fixing them.

And since many applications nowadays run in your browser, people end up having to use CSS, thus getting blamed for the general pain it is to make a good GUI. I have used native GUI kits like Tk and Qt and found myself fiddling just about as much as I would with CSS.

YMMV of course.
Even events like Glastonbury will have toilet bottlenecks.

Also most cabs have their own, including beds, so not sure this is the type of article for this platform.

Had they did a contrast to normal lorry driver conditions throughout the World and what they have to endure as a daily norm. That would of, for me - made for a fair read.
That's basically what the article says.
This is really annoying. A couple days ago, my wife was having trouble sleeping and I selected a competitive Tetris match video for her as a joke. Now I can't stop getting recommendation for all tetris-related stuff. I want my Tetrisless life back.
I had multiple corruption on a "server" at my parents, checked the disk and reinstalled from scratch 2 times, then I ran memtest86+ and found out one of the memory stick was faulty. Btrfs allowed me to detect that and be confident that all data recovered from the disks were ok because of the data checksumming. With ext4 I might have never found out.
link is broken, it should be https://twitter.com/dhh/status/1341420143239450624
Even if interference is accounted for, it seems unnecessary to apply it knowingly, no? It might only increase the probability of failure by a tiny amount, but if applied constantly, I'd be concerned too.
I did not experience any inconvenience with putting apps into the iOS AppStore. Rather, I found the process quite easy and my apps got approved faster than expected (within one day).
This is the worst syntax I've seen in a functional language, by far. Semicolons, braces, symbolic soup, et al.

It's like if Scala, Java and Haskell had a one night stand in the center of Chernobyl.