skysight-inc/HackerNews huggingface dataset:
They need to use radiation hardened processors. That means the chip will be in special packaging (I think ceramic), use bigger process geometries and, use redundancies in logic design within the chip. Also running at lower clock rates will reduce the chance of failure. These are not mainstream chips so they will be expensive and slow development. And lastly certification takes a lot of time and there are risks to the mission to switch from a proven technology to something new. A single glitch can end a mission that took a decade to accomplish.
I cannot wait to be the type of developer who just never makes typos.
Because all the Charlottesville people vote for that party.

Because people on that stage, even, openly agree with the things the Charlottesville people marched about.
Not much in principle. It is just that literate is language agnostic whereas knitr seems dedicated to R.
The point of submitting the transaction would be to incentivize mining by posting a bounty for it, in the form of a transaction fee. It would be just like paying other people to mine at a loss on your behalf.
That does not accurately model the world we live in. Responsibility is diffused to people across organisational boundaries, and victims are even conditioned to blame "the algorithm".
"The N word" is the verbal equivalent of asterisks.
I’m pretty sure if you gave the devs creating slow ui on the web would create slow native apps too. I’ve created web apps that are on average faster than the desktop apps they replaced. I’m willing to bet nice simple fast programs are way cheaper to write.

Current situation is people creating abstraction at the wrong level and not understanding the performance cost of things like reflection and ORMs.
SEO Trademark Registration Terminated
You could simply assume that any significant deviation from the planned flight profile is due to bit flips and reboot.

That might miss bit flips that don't affect the flight profile, but those do not need a real time response. Bit flips in collected data for example could probably be found afterwards when the data is analyzed.

Heck, it might even make sense to figure out what the minimum time, T, is such that something can go wrong that a reboot will fix fast enough to save the mission but only if the reboot happens within T seconds of the onset of the problem. Then just reboot every T seconds regardless of whether you know of something actually wrong.
I was wondering if they use some Machine Learning/Artificial Intelligence to prevent hard drives for failing, or move the data more efficiently around,...
Or you literally just need to run a sequence of commands to create some stuff in the filesystem without doing any text processing whatsoever, which is my use case for the three or four large-ish BASH scripts I've written professionally. Make was totally inappropriate in that case because I would have had to enumerate a lot of intermediate files and would have wound up with a parallelizable series of mini-scripts that would need to run serially to work correctly. And Python would ultimately turn into a DSL that looks almost exactly like BASH because the problem domain is "run a bunch of commands in sequence" which is what BASH is designed to do.
I'd say 1500 dollar TV is a viable purchase given that a TV has a life of 15+ years as against to 1000 dollar iphone or any other mobile which actually has a life of may be 4-5 years.

It would be the best of Apple product to show off.
A few rebuttal points that came up for me while reading this.

SemVer is a promise by the library author to the user. It is a social construct, not a technical one. The maintainer might break that construct accidentally. If users report it and the maintainers agree, a patch is created fixing the issue (or revoking the old library & putting up one with a fixed semver). Alternatively the maintainer may say "no" to this social contract (ZeroVer) or may decide they no longer want to say they're using SemVer. They can of course be dicks and choose to continue claiming they are using SemVer when they aren't, but in those scenarios, hopefully & I think usually in practice, their communities abandon them for being untrustworthy.
2. Rust does allow for conflicting package versions within its dependency chain. That it's a problem for Python is clearly an issue within how it does packaging, not something inherent to all packaging or at all related to SemVer.

So I would say pin the dependencies of smaller packages or ones whose communities you don't trust to be large enough to enforce the social contract. For larger libraries with strong user communities, rely on the social construct.

This social construct, by the way, goes both ways. Users of a library should really make sure they're set up to make sure their any dependencies older than some time period (at least a year) are up to date or find alternatives if not worth the maintenance cost. Maintainers of smaller projects (or really any project) have no responsibility to support anything but the latest release unless they have a policy around that.

As a point of context, Linus has famously made guarantees around ABI stability with userspace. That is used not just to quickly make decisions on arguments about kernel changes. When the kernel has been found to break userspace they talk about it, quickly pull the release & develop a fix or pull the change out for further development. This ultimately is a social contract. Some times you can enforce parts of it automatically, or at least to validate that the contract is holding, like an ABI compliance checker [1] that at least can be used to check that the syntactical parts of the ABI are following the versioning rules the project is committed to. At its core though it's still a social contract & should be understood within that context. The fact that promises & social contracts could be broken (intentionally or otherwise) doesn't undermine their utility if you can build trust of your stewardship within your community of users.

[1] https://lvc.github.io/abi-compliance-checker/
It's worth noting that this (good) example is unrelated to unsoundness, too -- it's related to built-in APIs using 'any'.

Within Google we include a "strict" d.ts in every compilation that shadows this API (and one other) with one that instead returns "unknown". We have talked about going through the whole TS API and removing all the 'any' in this manner for this reason.
Stuff like this is so cool, and also highlights the importance of archiving the internet.

I've never used Lotus 1-2-3, but this makes me want to try and get it running to try out older software that is brutally efficient.
All true. Speed is what users want. Not fancy graphics and certainly not endless confirmations and security assessments.
> pointing to them doesn't magically make the bug different from other categories of bugs that plague all kinds of projects, even in other languages

Undefined behaviour is responsible for a non-trivial fraction of the security vulnerabilities of C and C++ codebases. Undefined behaviour in an application can be entirely eliminated by writing the application in a safe language. That's the point.

> The major compilers already have ways to test for undefined behavior such as -fsanitize=undefined. Projects need to use these flags and test more.

Do you really think the Chromium team isn't aware of that flag in GCC and Clang? If there were an easy fix to the problem of accidental invocation of undefined behaviour, the problem would have gone away years ago.

It's useful for a C/C++ compiler to offer to add runtime checks for a subset of the possible causes of undefined behaviour. We agree more projects should use such tools. As we're seeing, though, this isn't a silver bullet. Even extremely well-resourced and security-sensitive codebases end up with UB issues.
Do universities like Smith College see themselves under threat of being cancelled? The reaction by universities to canceling has been considerably placating. I wonder if the university actually fears itself being cancelled and students not wanting to attend.
Apple buys a company every month, sometimes two. https://www.bbc.com/news/business-56178792 This isn't a case of voting with your wallet because there's no one left to vote for.
Ok then, everyone will just need to pay 3x as much for software. C and C++ will never return as mainstream UI languages for applications without extreme performance considerations because the cost of developing in such languages is too high. Before anyone gets their hopes up, I've written quite a bit of Rust and don't believe it changes this. Rust's type system is very difficult to teach and learn even compared to other complex type systems. Difficult to teach/learn = $$$. Even after writing a lot of Rust, I'm also still not very fast at writing it compared to my speed in other languages.

The only change we might see are more "native" UIs written in C#, Swift, etc. Also, Swift will not be a suitable replacement in its current form. Any replacement needs to at minimum work on MacOS plus Windows and by work I mean you can create a UI without crazy amounts of platform specific code.
I've never programmed Ada, but I've read pl/(pg)sql are based off it, and those have pretty wide use in their niche.
So its principals may live on for quite some time in those other languages.
Why Word of Mouth Is Cheap and Unreliable
That's very different from "Your supporters used a Nazi symbol, then your stage had that symbol, and you won't say explicitly that you aren't connected to Nazis."
I am using Clickhouse at my workplace as a side project. I wrote a Rust app that dumps the daily traffic data collected from my company's products into a ClickHouse database.

That's 1-5 billion rows, per day, with 60 days of data, onto a single i5 3500 desktop I have laying around. It returns a complex query in less than 5 minutes.

I was gonna get a beef-ier server, but 5 minutes is fine for my task. I was flabbergasted.
nailed it. most people outsource their beliefs and simply echo the positions and words of their tribal leaders.
Thought this was about accessibility stuff.
I invite people to checkout BestBuy's online shop. Just about every single item has a rating from 4.0 to 4.8 out of 5. I have yet to see a single listing under 4 stars. There are of course, unrated items, but can you honestly believe that virutally every product they carry is nearly perfect? Who actually writes a 5 star review for a no-name brand of tape and cable ties?

When everything is perfect, nothing is, and I don't trust BestBuy's review system at all. I can't help but think there is some kind of false advertising law against fake reviews that they're breaking.
You are assuming that the attacker would not gain more from a general loss of faith in Bitcoin than they would gain from controlling Bitcoin itself. That is a bad assumption. What if the attacker is trying to push a competing system? What if the attacker holds short Bitcoin futures contracts?
This feels less like a case of Hungarian Notation being a bad idea and more like a case where developers are making irresponsible updates to their code. If a variable/function/class/whatever is being updated, the naming should be updated as well, if appropriate.

Blaming the original author for the actions of the maintainer is not fair.
I could probably learn a lot from you.
SpaceX has not sent a rocket beyond the protective field of the earth so apparently the requirements are less stringent.
I strongly disagree - while juniors are more than welcome to look at the PRs, if you allow juniors to approve PRs of other juniors you quickly find your codebase deteriorating.
I would NOT expect someone to talk about it publicly. That's why CPAC would hedge and not openly deny they used a Nazi symbol. This is how a group that knows they need to hide communicate with one another.
Gideon Lichfield named global editorial director of Wired
Generalized mesh networks should solve this problem quite nicely in the next decade.
>So you're driving out renters, who are typically less affluent, in favor of the wealthy.

But the landlords who owned (often own many) them were also wealthy. So you are replacing landlords with people who actually live there.
What is it about Google apps that made the Android phone unusable?

I have a personal Android phone where I don’t use the default Google apps and feel really good about control over my data.
Because it's the one that's caught on. There's no actual need for inherent utility of it that can't be papered over by running everything through one of a few big exchanges. Or, preferably, ONE big exchange, where all settlements can take place off-chain and the blockchain sits in a big vault and everyone just trusts you can redeem your account balance for Bitcoin if you ever want it, but you won't want it, because the balance is more valuable than the actual Bitcoin.

(I'm drawing a comparison to gold here, but this is also true for other commodities, and for that matter, stocks.)
Baking SemVer in and having an ecosystem-wide convention to use SemVer (which I hope will in the future be strengthened by machine-checking API compatibility and defaulting to rejecting incompatible changes) gives you sane defaults. You can still specify weird dependencies if you choose to: `foo = ">= 1.2.3, < 1.4.5"`.

I definitely wish MSRV was considered in Cargo’s resolution algorithm. This is definitely the biggest issue in Rust package versioning. But if it was, that’d leave the security arguments in play, as now you could be being silently fed an old, insecure version of a package.
Alcohol distribution was also controlled by violent criminals who you guessed it, had a strong physical force.
What could you possibly mean by 'no chance for consensus'?

Let me get this straight. One group of people has all the political power in an area. That group of people repressed another group. The second group wants to be treated like human beings.

To me, it seems that if you want to avoid conflict and strife, the first group should immediately give in to those demands. Those demands are just, and the status quo is indefensible, and the first group has the political power to solve the problem, and anyone obstructing the immediate implementation of those demands is the one causing strife.

Since they have a monopoly on power, the onus is on them to make the society they built just, not on the people they are repressing.
As someone else said. Practical Malware Analysis is great. The ghidra book by Eagle is also decent as well.

The best thing for RE learning though is to use Visual Studio to write a few programs. From the debugger view you can use the assembly, and see what your program ends up in.

You also want to think about it as the programmer. You have a MASSIVE program. You want to see where it creates files. You know that on windows, it HAS to go through CreateFile, or at least NTcreatefile function or system call. So you can watch for these, or look where they are called in Ghidra. Now you can mark all the functions in the chain using xrefs (What references this) and then get all the functions that use createfile out of the way!

And lastly, as a programmer, you know the apis. So think of what cases someone would use printf for example. There's not many. You know by the use of printf, there's some sort of logging at that location. If they use openfile. You have a good idea that all the code surrounding that call is going to be about the file being opened.

TL;DR. Start from api calls, and work backwards. Use your knowledge as a dev for what these api calls are used for. And walk that call chain and mark. Eventually every function is mapped.
How to Find a Reliable Writer
I need a reliable writing expert, which can help me out to finish my essay writing services online.
Simons*

Mostly known for being the founder of Renaissance Technologies which is one of the largest and most successful hedge funds.
I've thought about this a bit myself. It could be a publicly-funded service or simply a non-profit trust, but simply having a text based namespace, and links to where all other data are stored would be a massive benefit.

https://internetid.gov/personname

id -> https://mycurrentISP.com/iddata/personname

healthdata -> https://mycurrentinsurer/personname

photos -> https://apple.com/icloud/photos/personname

Whatever, but the idea is the Eternal Home Page can be mostly(only?) pointers to records and then the authentication and authorization can change and exist in the private market. The Eternal Home Page can implement some auth as well.

Setup a trust, charge/tax/fee enough to always provide the hosting and security, that's it.

For now, everyone should at least manage a personal web page of their own to keep the dream alive.

Anyway, legal and financial aspects are what will make it permanent, not technology (though it can help!).
My thoughts on that is that the problem is at a level below sscanf; in other words, what else is affected?

A mechanism for turning a string in memory into a string should not be taking its length.

GBLIC has an extension called fmemopen. The API is:

FILE *fmemopen(void *buf, size_t size, const char *mode);

This interface smells like it might have the flaw that if someone wants "buf" to come from a null-terminated string, they must measure that string in order to supply the size parameter.

I.e. the underlying mechanism is binary, and does not stop at null characters.

There needs to be a separate mechanism with a different underlying stream implementation:

FILE *fstropen(const char *str); // mode implied: "r"

This doesn't require a size.

That fmemopen extension points to a solution to the original problem, though non-portable: open the entire buffer of numbers as a stream in one fmemopen call, and then use fscanf to march through it.
The difference is, of course, doctors provide healthcare services and landlords provide middleman-who-makes-housing-more-expensive services.
Then it's only a matter of time before consumers start gaming the system right back. Write a poor review, await a refund offer, then write the real review.
Kotlin has type inference as well so typically you only write types in function signatures. It's rare that you write a type in a function body. Coupled with good IDE support for showing you the type of x in `var x = myFunc()` when you need it.
But it only replicates the functionality of the Wayback Machine, which is just a part of the Internet Archive's offerings.
>Human rights are not political.

I thought that statement would make it clear I am in support for all the stuff you mentioned, guess not
> but the creators are still there by choice so the viewers are as well.

Not really. Network effects keep them all there whether they like it or not. The creators need their work viewed, and that happens where there are both creators and viewers, which is Youtube.
People who don't recognize your username assumed you were making your request in good faith.
Yeah I wish the bitcoiners would just bitcoin off and bitcoin happily together, leaving the rest of us in peace. But pyramid schemes depend on continually hyping the product, so they can't.
I had an idea that I've been sitting on for a while and it looks like I'll probably never get around to it so I thought I'd offer it up for others to think about:

We've flirted with separating interface from implementation over and over again. We also talk sometimes about the tests being the actual requirements definition for the system.

If we versioned the tests and declared which version of the tests pass with a given version of the code, we might get closer to a workable system. Most of the time a bug fix should result in new tests, not changing old tests - unless there are backward incompatible changes. This may require us to up our test writing game, but that sounds like a good carrot to me.

Semver is mostly about 'increment a number on every change, increment another number when the changes are not backward compatible (covariant?)' for some definition of compatible. But if we have tried to define 'compatible' in a rigorous way, I haven't seen it. I suspect someone in Formal Methods has something up their sleeve. I'd be curious to know if they have anything we can cherry-pick.
Companies undermining consumer reviews undermines the justification for consumer capitalism. The idea is supposed to be that a merchant sells a product that solves some problem real or imagined at a given quality level. The consumer is supposed to be able to make a fair evaluation of the quality and fitness of the product and compare it with their budget and the item's price and make a decision.

If companies systematically and intentionally destroy the consumer's ability to do this, then why should their state charters even be valid?
Tail recursion assumed to terminate? Rustc 'solves' the Collatz conjecture
I've stopped using amazon for anything unless either I already know exactly what it will be or if its throwaway and I dont care.

Even books now are often something that looks like it was printed on photocopy paper from a word processor.

I think amazon is converging to its niche (maybe not a niche if there is ~a trillion in annual revenue at stake) as a Walmart replacement. For instances where quality matters, I think they are already off the table for many people.
You might be able to just put whatever you want into an Elasticsearch index, but I wouldn't recommend doing that. It could severely limit how you can query your data later, see: https://www.elastic.co/guide/en/elasticsearch/reference/curr...

Also it can cause performance problems if you have really heterogeneous data with lots of different fields https://www.elastic.co/guide/en/elasticsearch/reference/curr...
> The lightning network is incredibly buggy and won't actually solve the problems it's promising.

Not an expert but I found that a readable summary of different layer 2 scaling strategies and why Ethereum developers prefer Rollups instead of Channels (like Lightning):

https://vitalik.ca/general/2021/01/05/rollup.html
Never tried it, but Wolfram has a Mathematica plug-in for Excel.

https://www.wolfram.com/products/applications/excel_link/
Regarding #1 in the article, Elastic does have SQL query support[1]. I can’t speak to performance or other comparative metrics, but it’s worked well for my purposes.

[1] https://www.elastic.co/guide/en/elasticsearch/reference/curr...
Yep, it's a good point (thanks for the feedback). I'll see what we can come up with.
The author actively describes themselves as being "Anti-Typescript" and "hating" something they have no experience with. That's not skepticism.
Apple Confirms Comcent As First Community Media App
"Apple has confirmed Comcent, a locally made mobile application that connects community leaders to their constituents, as the first community media app on the Apple App Store, a significant win for the tech ecosystem in Ghana, Chief Executive Officer of Comcent , Kwadwo Dwomo II , has said."

This move has confirmed Apple’s stance as an equal opportunity company that recognizes innovations, irrespective of the race or gender of the developers.
Sounds like a good company to work in! :)

I would immediately apply but I'm not interested in Ruby or HTML/CSS anymore (although I still know the last two rather well and plan on making a return there to author my own blog theme).

Main focus are Elixir and Rust -- the latter exactly because I want to make efficient and ultra-fast software. Also very invested and averagely skilled in DevOps / sysadmin activities.

I hope there are more companies like yours out there -- and that yours is thriving!
They did that: you could disable performance optimizations but it would also mean you get random shutdowns.
You joke but none of these are passing fads. Bitorent continues to host and sever terabytes of data daily, I just downloaded my OS over torrent the other day. Bitcoin has been working great (now called Bitcoin Cash) as Peer to Peer Digital Cash for over a decade now. And ML makes EVERYTHING you do online possible. Try to image a modern search engine without ML.

There is no reason to joke about these life changing technologies unless you just don't understand how valuable they are.