skysight-inc/HackerNews huggingface dataset:
MISRA-C is barely better than a coding style for which people wrote partial enforcement tools.

Studies suggest some of MISRA's rules if followed reduce significant bugs in software, some others increase bugs and many are neutral because they forbid things nobody who isn't entering an Obfuscated C Contest would think to do even in C.

e.g. IIRC MISRA says don't put variable declarations inside parts of a switch and then use the variables in other parts of the switch. Nobody does that, it's very silly.

Or MISRA says you must have a default switch case. So your three-way switch for the headlights enum, OFF/ DIPPED/ FULL fails because it needs a default. What's the default? Well, I guess you can assert it's never hit? But your C compiler has enum checking already, without a default it would have flagged if you forgot SPECIAL_HACK which is in the enum, but thanks to default the C compiler thinks you remembered about that and at runtime in somebody's car the SPECIAL_HACK is enabled and their car's CPU crashes.

The automotive industry wanted to write C. Or at least, the programmers it hired did, and nobody said "No. That is a terrible idea, stop it" instead they came up with MISRA C to continue excusing the inexcusable.
No. Idiomatic means "the normal way of doing things" basically. So in that context they are trying to say "et cetera" is the normal way to say "and so on" even though it's not English. It's a big stretch though. You wouldn't use "idiomatic" to describe that text unless you really wanted to find a word starting with i.
Hardly .. the letters make clear that Kerr was serious about dismissing Whitlam well before supply was blocked:

> After decades of speculation, the letters show once and for all that the Queen and Prince Charles, now Australia’s King, knew as early as September 1975 that Kerr was considering dismissing the government, two months before he did so. This timing was damning.

> They knew a dismissal was being considered by Kerr in the absence of any crisis in government, since the Opposition had not yet made its decision to withhold supply in the Senate.

Thank goodness Australia had serious cutting edge journalists covering The Dismissal [1].

[1] https://www.youtube.com/watch?v=A4jfR2u_9Kk
And a 125-char password erodes in a brain-cellular storage over time thus ensuring no leakage of data, and an equally loss of liberty as well.

Doesn't always pay to have longer password unless a corresponding threat exists to mandate such... a longer password.
Surely the mission of those companies act as a motivation. Going to mars etc. Twitter is just a utility. It isn't exciting in that way .
Pascal was(is?) not memory safe in that it still allows use after free. It was safer than C though thanks to making it more difficult to do weird casts or pointer arithmetic. These were normal in C code, in Pascal rather something you go out of your way to do.

Also I think the arrays had bounds checking?
What about double-descent :D
Hmm. Recently I have been using my api-keys as actual function names. Maybe that's not such a good idea
How to Trust Again: Deepfakes, Misinformation, and a Possible Way Out
Hi Hacker News, this is the first blog post I’ve ever published. I’ve been sitting on this for a while, but reading a few comments on the MIT Moon Disaster post a few days ago convinced me to post, particularly:

> “What are some ways to verify video integrity? …”
(@photochemsyn)

> “… It would be useful for some people to have cameras which do this at the moment of recording, along with GPS, cell location data, and so on, to get really bulletproof documentary footage. I don't want that built into my phone, necessarily…”
(@samatman)

> “Even just a verifiable time stamp would be a big win.”
(@HPsquared)

This is a topic I’m generally interested in, so I’d greatly appreciate discussion and constructive criticism on the ideas I’ve thrown out here. Thanks for reading!
> But I suspect that they are unlikely to mutate an already mutated gene

Could you elaborate? I'd like to understand what you mean, as I don't work on onc. Aren't recurring mutations in response to treatment in f.e EGFR is the reason we keep developing multiple generations of small molecule therapies for it?
A docker image would be great to help self-hosters. Looks like a great tool!
Are you aware that GCC, clang and MSVC C standard library is actually written in C++?
> The only other use case is lots of truly concurrent io within one request/response cycle. But again that is unusual, most apis have low single digit db queries that are usually dependent on one another removing any advantage of async.

Why just "within one cycle"? What about situation where you spend 1s in single db query and are 100ms cpu bound during request handling?
Or just copy Microsoft's design for BitLocker, and adapt it to Linux. They solved all these problems a long time ago.
Because few companies have insights on how much each branch/change affects the download / installation size. And I can imagine that at a medium-large company, noone is really taking the lead on overreaching topics like this.
I commit with CMD+Enter Git shortcut, no commit messages, straight to production
We all have different needs and levels of technical proficiency.

My first thought was also “file -> save as” and share the html.

But does he necessarily know how to host an html page? Maybe he needs the tags page to be updated throughout the semester?

Regardless, he is right to feel that pinboard owed it to him to give him a heads-ups on depreciation of a feature.
Awesome! I built something like this for $JOB-1 too. Unfortunately didn't get to open source this before I left.

I built in an a mechanism for policy checks too, e.g. to check that only an allowed list of repositories was public, and that permissions were only assigned through teams.
In short, if you want to avoid making errors, just don’t use <cite>.
It's Americans voting in American elections, they can do that in here in Malmö, Sweden. That doesn't violate our sovereignty.
Regardless of how you feel about him as a person, this statement is a long stretch. Tesla, SpaceX, and his other companies have been able to accomplish pretty amazing things. To add to that, Musk wasn’t just some investor or people manager, but he’s been actively involved in engineering decisions, at least at SpaceX.

I feel like posts like this are pretty low quality and better suited for Reddit (or maybe even Twitter).

I’m personally not a fan of Musk or any other celebrity/billionaire buying out companies just because they feel like it, and potentially gutting what many hard working people probably put their soul into building. On the other hand, there’s a more nuanced, stimulating discussion that can be had instead of “bankrupting him would give me infinite joy.”
So not actually open source yet, just a non binding statement …
While obviously true, this misses the point. There are very different ways to go, one can fizzle out after providing a useful service for decades for example, or get acquired for a lot of money by a larger entity, or one can get dissected by the DOJ to serve as a warning to everyone else.
Under Usage notes it says:

- Ship or vessel names in Western writing systems

Am I the only one finding this a bit overly specific?
That is the usual excuse to keep writing C code, because alternatives aren't 100% bullet proof, we just keep using the unsafe one.

Yes, it suffers from use-after-free, lets ignore everything else that is safer than C.

Bounds checking are enabled by default and if one wants to shoot themselves on the foot there is always {$R-}.
Swift doesn't actually specialize things like C++. If you look at the ABI it will pass generic arguments around at runtime.
So having a read-only USB-media OS to boot into the either the-50G-in displacement of Truecrypt-hidden or just the unmoved regular standard-filesystem volume on a standard OS boot onboard magnetic media ... is best?

Sounds like it is an OpSec risk to do the "resecuring of 50G re-displacement upon orderly shutdown" for "safest" traveling mode. One could forget or didn't have time to do that proper shutdown sequence.
Very chill domain name... ;-)
>We support both sync and async mode. The Python ecosystem is in a state of flux at the moment between sync and async, so it seemed like the best approach to offer both and let developers choose.

Correct me if I'm wrong but it doesn't seem like async will really offer anything a pipeline framework might need?

>Could you share a bit more details on what you mean, to make sure I understand correctly?

I often find myself debugging pipeline complex release workflows that get triggered by a git tag or something.

If I use this thing with github, how can I debug that workflow when it fails?
-Obviously, public opinion differs in different monarchies, but living in one constitutional monarchy - Norway - I feel that precisely as the monarchy is gutted of real power, its resilience is strengthened.

One could quip that we need someone to inaugurate new infrastructure works, provide soothing, apolitical speeches in time of need and serve as an unelected symbol of our country - the 'unelected' bit being important, as otherwise we'd just end up with some has-been politician put out to pasture, someone probably the majority of the population had never voted for and don't see as 'their' head of state.

Now, on principle, the monarchy is laughable, anachronistic and undemocratic - but donning my pragmatist glasses, I see it as probably the best way to ensure we have a (symbolic) head of state for performing just those duties where you need someone not overtly political. As long as the royals feel like doing the job, I say let them.
Technically there is sarcasm tag in HTML specification, it's one of tags that is specifically handled in https://html.spec.whatwg.org/multipage/parsing.html#parsing-... ('An end tag whose tag name is "sarcasm"').

However, a problem with sarcasm tag is that it wouldn't really help accessibility compared to say saying "Sarcasm:" or something like "(The preceding remark was sarcastic.)".
The docs themselves are fine, but when I'm building an app and focused on using the tools available by the framework, I had trouble finding what I needed. Perhaps it was even discovery of not knowing what I needed to even look for. I might know a concept under a different name for example. I don't expect anyone to cater to my exact needs, but I want to find everything in the same place.

Someone else left a sibling comment talking about the documentation for different modules not being colocated (Phoenix.PubSub vs Phoenix.HTML, etc) and maybe that was my issue. If literally every module is new to me, that could be a lot of jumping back and forth just to try and reason about what a couple of Plug modules are doing. Granted, it's been at least 6 months since I've tried to play with Elixir and Phoenix so maybe I'll have some time to try again over the holidays.

To go back to your original point though, yes Hexdocs is a great tool and the ecosystem encourages documentation, but maybe in this case I'm looking for a more curated guide and I should have been explicit rather than lump it all under "docs".
Most iOS developers symbolicate their crash reports with separately-packaged symbols.
I guess it's Tracker Weeks at Hacker News? :) (MilkyTracker reached the front page just a few days ago)

OpenMPT has been my most extensive spare time project for the last 14 years. Excited to see it on the front page!
The problem with the centralization (regulation) approach is that it assumes one body can be chosen that will be optimal at risk assessment. In practice, the process of developing good risk analysis frameworks - that strike the right balance between cost, risk and efficacy - is often best discovered through trial and error, and that requires the freedom to try new products in the market.
CSS purists will tell you that you shouldn't tie your CSS to specific structures in your code, and it should be as generic as possible :)

> Whereas with Tailwind or HTML < 5 you name you elements based on what they look like. ".font-bold" or "<b>"

No, you don't. With Tailwind you use the semantic elements in HTML. And you style them using generic primitives
They are not embassies or consulates in Antarctica, and operations relating to them should not be performed there.
There are a couple of useful things missing here at a glance. One is shrinking, where the library will attempt to find simpler cases of failures rather than just brute force a random one. Second is how to create related pieces of data that are constrained in some way, above and beyond pure random bytes, but I assume there’s some way here to manually interpret the random bytes. But sometimes you have to hand-tune these things because you don’t just want to wait for the RNG to guess the right combination to create valid data.

I’ve had some success with property based testing, at least for heavily algorithmic code. For example I wrote a kNN implementation after finding all sorts of edge cases in others (floating point shenanigans included). You can succinctly capture properties like: returning the right number of clusters, each point being closest to its cluster’s mean, each cluster being centred on its centroid, all points being assigned to a cluster, and all clusters being non-empty. But even then you could game things if you wanted to.

Where I’ve struggled is in the general case. Most tests don’t have good property based alternatives, beyond just repeating the logic of the code under test, which seems pointless. And so you have this constant tension of wondering if a particular test could or should be property based.
In the old, good days of del.icio.us social aspect was really robust. People were putting lots of stuff online. It was easy for me to find an academic or author I liked and dig through her bookmarks to my delight and betterment. It was still just the old good internet with real people online, sharing really interesting stuff. I would also post lots of stuff and we used sharing features with friends a lot (you could actually add #for:username).

I would be happy to have access to some delicious dumps, I know people made them before delicious went down.
Binary search and similar forms of successive approximation. It can be used to solve such a wide array of problems given just a minimal amount of information.
Remember the whole reason Bitcoin and blockchain was made was to remove the need to trust a centralized counterparty who could succumb to greed, like a bank. Crypto banks are no different than regular banks, but with less regulations and insurance.

Learn to self-custody your coins, "not your keys not your coins." DeFi platforms like Aave and Compound are still working fine and will not just pause your withdrawals.
This neglects to address WHY bitcode was removed. Wasn't this supposed to be a big deal, and required of all app submissions only a couple of years ago? I thought it was to facilitate the porting of applications to whatever architecture Apple saw fit to deploy.

Update: This sounds like a pretty good explanation: https://stackoverflow.com/questions/72543728/xcode-14-deprec...
There are several people in this thread in positions to know who have already responded in the negative.
But why does that "mainstream adoption" matter?

Why do people only consider Mastodon (or many Open Source Software) a success when Joe Average wants to use it?
malloc() on an embedded platform can still present pitfalls. This article explains why:

https://mcuoneclipse.com/2022/11/06/how-to-make-sure-no-dyna...
You said you spend leftover money on advertising. Could you tell us a bit more about it? What methods are you using to promote it?
Fantastic! Big thanks for developing it in the spirit of open source.
https://www.purposedriven.com/
The cour de cassation giving a decision in its plenary formation pretty much means it's over.

The case specifics still need to be judged based on that, but as far as jurisprudence goes, this is it.
This page is great, but a minor note: the page navigation buttons should be attached to the bottom of the viewport, currently when trying to quickly press the "page back" arrow the block moves out of place, so quickly moving back multiple pages is a bit clunky.
>He's a billionaire with plenty of resources

He was a billionaire at 25, and a millionaire at 30 :^)
With the crypto world on fire, anyone could be there... More surprises to come? }:-)
If looks weren't important we wouldn't have so much RGB or different colour/style keycaps.

But you're right on feel. These don't feel bad but I want to develop this further into custom printed keycaps. Baby steps.

Thanks for the comment!
Mozilla stopped spending their money on making a good browser, instead started blowing all their Google-cash on “inclusivity” and “diversity” efforts many, many years ago and fired technical staff which would not tow this new political line.

Looking at stuff like this, I think the results are pretty obvious. Despite the “diversity”, the value of what Mozilla offers hasn’t simply stop increasing, it has now started decreasing and in cases like this actually brings negative value to the internet overall.

This is what firing/alienating the actual people who did the actual job does. And no amount of “diversity” can make up for it.

What a shame. Mozilla used to do so much good.
I would imagine dissolving their corporate charter, seizing the domain, and looting the HQ for evidence before putting the company into chapter 7 but that's all speculation.
I really don't understand this comment. Where is the colonisation in this case? Did you see what this person had to do to vote?
A puzzle box made entirely out of inline CSS
US-based pharmaceutical companies maximise their margins in the US to make up for smaller margins in other markets. In many other countries, most prescription drugs are purchased by the government, which gives the government a lot of bargaining power which it uses to drive margins down. Prescription drug purchasing is much more disjointed in the US (negotiating with many private insurers instead of just the government), giving more bargaining power to the vendors and supporting higher margins.
Which are all quite minimal costs compared to many other features with very little or negative utility.

Like anything with cars it's purely a matter of fashion, ego, and perception. Noone who isn't making a purely emotional decision buys a new car. Adding a thousand or two and 5kg is completely irrelevant. If people don't percieve an extra 10-20 miles a day as worth the ugly blue rectangles, then the one with them could be 200kg lighter and $5000 cheaper and it still wouldn't sell.
In terms of typography, italics are also applied for titles, for quotes (in some contexts), for foreign expressions, sometimes for dialogs, and sometimes simply because they are easier to read. For a screen reader, you don't want to emphasize these use cases.
>>Appropriate regulation, not deregulation, is the name of the game.

Based on what case studies of industries? Look at the prices in the most regulated sectors. In medicine, it makes the most effective treatments inaccessible to the wider public, with innovation that reduces costs progressing at a glacial pace.
Tolkien actually wanted for the pural of "dwarf" to be "dwerrows", but compromised to the neutral "dwarves".
Gotta pay off all the right people.

Get that covid one on to the childhood vaccination schedule? Emergency use authorization, unknown long term effects, more harm than good for this age bracket, no problem.
Thanks Jose! I know writing docs/guides is really hard and 1st class search can make a huge difference. Another thing I love about the Laravel docs, is searching via a keyword that I know may exist on a specific page; the list of available methods on a `Collection` is one I use all of the time.

I see in the Github issue you specifically call out _not_ searching text content from related modules, but I think if you can make it performant, it's worth the extra effort to allow full text search. I suppose the harder part might be ranking if you're not using a system that is built for that use case, but I think it would be helpful.
In what way does this relate to embassies or consulates? You can vote from wherever you have access to the universal postal service, it seems.
Voting has absolutely nothing to do with consulates or embassies. If there is one, maybe they do simplify voting, but the right to vote should go beyond the presence of any office.

This is what the US government allows to do: no matter where you are, we (try) to guarantee that you can participate.

It's actually awesome that this is allowed.
Ask HN: Non-techie friendly way to store crypto outside of exchange
Hi HN,

In light of the recent failure of FTX, what's currently the most non-techie friendly way to store crypto outside of an exchange (and control your keys)?
I'm merely asking for my friends that keep some crypto around on exchanges and I can't give them decent advice as I'm not really familiar with recent best-practices.

Thanks!
This is a great point. It all depends on how you define “success”.

There is also the tendency for the mainstream successes to suck all the life out of niches. It’s not inevitable, and becoming a mainstream success can itself remove what was valuable to you in the niche.

But if I want to use Mastodon, I’d rather all the people I want to follow are on there.
Why did we never end up with a normal folding smart phone form factor? By which I mean take two square touchscreens and attach them with a hinge, like a pocketwatch.

Is the bar down the middle really too much of a hassle? I suspect it would not take too much engineering to make one with bezel free screens, you would still get a seam, but no ridge.

In most other metrics it would appear to be a winner, protects the screen, compact. Don't get me wrong the folding screen is an amazing bit of tech, but from the durability standpoint, i don't like it a bit.
Put your own oxygen maks on first
>They are creating money only via lending, and there are laws regarding how much they're allowed to lend out (called reserve requirements).

I thought "reserve" literally meant to set aside part of your assets.

If I have to set aside, X% of the money I create, how does that stop me from creating infinite money? I just create enough to reserve part of it.
So true. Trying to explain to them that the latest fad will only add complexity seem to be a loosing battle.
If they touched a cent of FTX.us client money, he will end up doing 5-10 years hard time.

If not, nothing that matters will happen, and he can take some positive encouragement that stablecoin launched stablecoin 2.0 a few days after the first one went to 0 and even the wework founder can raise a billion without a plan.
Over the past couple of years, lots of things have been happening that weren't believable. Satire has been struggling to keep up with reality.
Silicon Valley layoffs are a reminder that your job won’t love you back
A controversial moment in Australian history.

I can't be too exercised about it considering the government of the day fell for an advanced fee fraud scam. https://en.wikipedia.org/wiki/Loans_affair

More reading: https://en.wikipedia.org/wiki/1975_Australian_constitutional...
Voting by fax from a convenient store in Japan and immediately buying a beer to drink on the way home is a fond voting memory of mine.

> A few weeks later, I even started receiving political flyers in the mail. I guess you can just buy a voter registration database for this purpose, and it includes temporary addresses.

Also spam emails to the address you asked the ballot to be sent to. Either that or an unrelated data leak…
Location: New York

Remote: Yes

Willing to relocate: No

Technologies: Python, Rust, JavaScript, Sveltejs, Perl, Postgres, Linux

Résumé/CV: https://files.ceal.dev/kaiser_craig.pdf

Email: craig@kaiserengineering.io

Hello!

I am looking for a fully remote position where I can join a team that works on complex and interesting coding problems. I have experience in the open source community and startups. I have a passion for technology and learning new skills.

Thanks!