skysight-inc/HackerNews huggingface dataset:
Not really. You still need tests to check whether your application is actually achieving its targets in real-world usage, including feature completeness, usability, performance; and how all of these are impacted by the environment (e.g. network issues in a distributed application).

Formal verification only tells you that the application matches its spec, given a set of assumptions. Only testing can tell you whether the spec matches the business case, and whether the spec assumptions hold.

Paraphrasing Knuth, code that has only been proven correct but not actually tested should always be approached with caution.

Edit: Knuth, not Dijkstra
If the US had stayed a colony, it would have abolished slavery 30 years earlier than it did.[1]

Hong Kong would probably be better off if it had remained a British colony.

1. https://en.wikipedia.org/wiki/Slavery_Abolition_Act_1833
I'm surprised the corporate culture parody song Mission Statement didn't come up. Every person who's ever been in a corporation should watch.
https://www.youtube.com/watch?v=GyV_UG60dD4
> The latter does not inevitably follow from the former.

Some subject always loses out when you need to teach something extra. Education is not infinite.
(obviously, i'm not one of the panel members, just chiming in.)

if you're interested in looking at how C can be used in embedded realtime operating systems, i recommend diving into:

https://github.com/ARMmbed/littlefs

(i'm not affiliated.)

it's a lean, logging flash filesystem implementation and i recommend it because the research, rationales, documentation, organization, codebase, test harness, and public API ergonomics all impressed me a lot. it was written for the mbed OS, but it is so well designed that i could integrate it into any realtime OS without too much trouble. and the documentation is thorough enough that after skimming the wikipedia article for filesystems, and maybe an article on how flash chips read and write data, you'll be able to work your way through it. i learned a lot by reading through that repository.
That's not really fair, they ported their stack so front end and backend share type definitions. It was not a fashion driven decision.

Wrt to types and tests, "Types" means some verifiable annotations on the code. If a type system can encode enough information in them, perhaps with preconditions or other contracts, then would tests be superfluous? If so, I don't get your assertion about tests and dynamically typed languages.

On the other hand, since typescript is unsound, shouldn't you really test like a dynamically typed language?
Yeah, I'm hardly ever in a meeting where all participants would be in the same room unless it's a special circumstance like an on-site get together or a small meeting with people who just happen to be in the same location. Even if all of us came into an office--which many of us don't either formally or informally--we'd still be on conference/video calls. In some ways, the current situation actually works better because you don't have the mix of physically present people in conference room(s) and people by themselves remotely.

(Before this whole thing happened some of the teams I work with already had rules to the effect that if some people were going to be on a remote video link, everyone called in that way.)

ADDED: I suspect a lot of people on this board work for small companies with co-located teams in a single location. You get up to companies of even modest size and you end up with people spread over continents and, for many of us, the daily reality is coordinating and having discussions across those continents.
It’s up to a judge to decide. It has to limited in scope, responsable, and with serious individual suspicion. A lot like current quarantine rulings - mass quarantines are unconstitutional in the US - but we all forget.
And then you get so good at clojure that repl is "just another style" and it's not much different from Python in terms of effort or thought. After all, Python has a repl too, they just call it a shell.

I have gotten burned out of my personal clojure projects same as anything.

It's just a language people. Whether speaking Japanese or English, it's just a language. Yes culture is a part of it, but it doesn't imbue the speaker with some sort of superpower. Yes other languages are fun, but both get the job done. English has the word "love", Japanese has "yugen" but both peoples seem to get by just fine.
Take a non-trivial program written in a statically typed language, with 100% unit test coverage, pass it to American Fuzzy Lop and see what happens.
When you say cannot actually help fight the pandemic do you have any reason to believe they won't work from a scientific point of view?

Sorry if I have missed it, but to me your arguments were privacy issues and the technical difficulties (different platforms, Support) to get an app on enough smartphones to reach the critical number of participants.
Don't get me wrong I totally agree, these are things that we first need to find a solution.
But your post sounded to me like you have the opinion that contact tracing doesn't work.
Are there any plans to add support for multiple register return values to C?
Curious what were the requirements to select C as a first high school language over many other choices? I imagine there's a balance of practicality (after the class), and then the usual questions about tooling, sharp edges, and ease of learning.
My idea was to add something like the GoLang defer statement to C (as a function with some special compiler magic). The following is an example of how such a function could be used to cleanup allocated resources regardless of how a function returned:

int do_something(void) {
FILE *file1, *file2;
object_t *obj;
file1 = fopen("a_file", "w");
if (file1 == NULL) {
return -1;
}
defer(fclose, file1);

file2 = fopen("another_file", "w");
if (file2 == NULL) {
return -1;
}
defer(fclose, file2);

obj = malloc(sizeof(object_t));
if (obj == NULL) {
return -1;
}
// Operate on allocated resources
// Clean up everything
free(obj); // this could be deferred too, I suppose, for symmetry

return 0;
}
Salesforce (using their API). Our boss insisted on importing 4 years worth of past data in to Salesforce so he could print some graphs via Tableua. I tried to explain that it would be far easier just to leave Salesforce out of the equation completely, but they had paid a small fortune for it, so insisted on the wasted effort. Terrible platform from a developer perspective.

Then they bought Marketing Cloud, again terrible. Its supposed to be point and click enough that non technical users can use it, but its too complicated for them and absolutely terrible as it took 7 clicks to the edit page any HTML email.

These two things make my current platform and all it's technical debt seem like an absolute dream.
Waste of time article. Perpetuates myths that are inaccurate like with the information silos.
Sure I think that's a reasonable case to make. We could have - at some point - had a correction in the financial markets which might have caused a 2001 style disruption or maybe a 2008 recession.

But this is nothing like that at all. A stock market crash takes months to move through the economy.

A big crash means things like 700,000 new unemployment claims (2008 had that many at its peak).

The US just had 6 million new unemployment claims.

It's a whole new level.
I'm American, but didn't grow up with much mainstream pop music because I was raised in a religious environment. In my twenties, I discovered Weird Al, and like you, I'd very often hear his parody or polka version of a song before I heard the original. So sometimes, after hearing him zip through the chorus of a song in one of his polka medleys, I'd hear the original song and think, "That's a whole song?"
> "the internet when he first conceived it, he thought it was a place that we would all leave the world and go to. Whereas in fact, it came here."

This is a common mistake utopians of all stripes; the short comings of the world as we know it isn't a consequence of external forces imposing badness on us, it's a consequence of the fallibility of humanity. Unless if you have a concrete plan on how you're going to organize society differently, any attempt to start something fresh will end up recreating all of the ills that drove you from "society" in the first place.
https://en.m.wikipedia.org/wiki/M7_Spider
"humans evolve to possess AGI" is based on a couple of assumptions:

1. humans evolved

2. human mind is reducible to the brain

3. intelligence is computable

None of these are proven by anything. They are all assumed, and are the current fashion in science due to materialism.
Those seem unrelated to the parent's point. Weinstein is co-opting the death of Aaron Schwartz to push his own far-right ideology. The target of his form of `rise up and take back` is neither "corporate shenanigans" nor "capitalist greed", but those who challenge it from the center and the left.

He's clearly very popular with the Breitbart crowd, and about as anti-establishment as any billionaire politician with the backing of a media arm and an attitude of suing everyone who challenges his views. School of Thiel and all.
Yes, if only so that we (as a category) do not have to discover it exists when already facing C programs that use it.
> SCTP could have been amazing

It still is, it's part of the WebRTC spec, and when you use a WebRTC data channel, you're using SCTP over DTLS over UDP! (or TCP, possibly with a TURN relay, which may end up tunneling the whole thing over TLS over TCP :))

There are a lot of acronyms in WebRTC, thankfully there's https://webrtcglossary.com
Yeah, I think that electric bicycles are clearly superior in urban environments. Here in Philadelphia I sold my pickup truck and replaced it with a Tern GSD electric cargo bike, and it can do just about anything a car can do, including carry an adult passenger.

Protection from the elements and accessibility are two legitimate concerns that might be addressed by bike-cars like the PEBL in the future: https://www.better.bike/

Outside of urban environments, velomobiles with aerodynamic shells have some potential, and would allow travel at highway speeds while using much less energy. Low-Tech Magazine suggests "If all 300 million Americans replace their car with an electric velomobile, they need only 25 % of the electricity produced by existing American wind turbines": https://solar.lowtechmagazine.com/2012/10/electric-velomobil... - Part 2 (link in footer is broken)
https://solar.lowtechmagazine.com/2012/10/electric-velomobil...

https://solar.lowtechmagazine.com/2010/09/the-velomobile-hig...

The main problem with high-speed velomobiles is they're too fast for bike trails, but are too small and low to the ground to safely share highways with cars. Most pictures/videos I see of them are on rural roads with almost no traffic. In order for them to become popular, we probably would have to completely reimagine our transportation infrastructure.
There's also significant value in everyone on Earth speaking the same language fluently.

Efficient communication is probably the most important factor in peace.
I though that, from the Austrian perspective, the stock market would be one of the last things to see inflation. Are not suppose the prices of stocks reflect the aggregate infinite wisdom of the market?
To quote Mr Babbage:

“I am not able rightly to apprehend the kind of confusion of ideas that could provoke such a question.”
Commutative and abelian aren't really synonyms. "Abelian" is reserved for objects that have a certain amount of rigidity. Commutative monoids are squishy, while abelian groups very rigid. Another place you'll see the name "abelian" is "abelian Lie algebras", which are also rigid. "Abelian categories" axiomatize the kind of rigidity abelian groups have.

Magmas are usually called "groupoids", but there's another generalization of group also called "groupoids". I'm actually not sure they really deserve a short name, rather than just "set with a binary operation", since there isn't much you can say about them in that generality that you can't generalize to "set with two binary operations", "set with a binary and a trinary operation", etc. The argument for a name is it gives you something to modify, since there are interesting special cases such as "medial groupoids". (An example of a medial groupoid is the real numbers with the "average of two numbers" operation.)
The phrase 'a new kind of science' is a huge red flag, but apart from this I don't think I can evaluate what I'm reading.
Does the article make any sense? Does it at least hint at a useful direction?
Or is this a case of someone holding a hammer (the language) and seeing everything as a nail (how the universe works)?
Is this news, really? In China and elsewhere, scientists have been studying and discovering coronaviruses in bats for years. That research has not yet given us a solution to the present Covid-19 problem. One can only hope it has helped accelerate the process.

https://www.nature.com/news/inside-the-chinese-lab-poised-to...

https://www.scientificamerican.com/article/bat-cave-solves-m...

https://www.sciencedaily.com/releases/2018/04/180404133529.h...

https://www.economist.com/babbage/2013/11/01/out-of-the-shad...

https://www.nature.com/articles/d41586-017-07766-9
> The dull chest pain sticks around for a surprisingly long amount of time.

I also had tightness in my upper chest. It lasted a week, from 10-18 March. During that time, it didn't get better or worse. But it lasted long enough that I started planning for a future A&E visit...

Then all of a sudden, thankfully, the chest tightness was gone. Occasional dry coughs continued for two more weeks.

I have had asthma and bronchitis my whole life. So I am always very aware of the state of my lungs. This tightness and dry cough is different from anything I ever had before.
I suggest you look up more recent research on the hedonic treadmill and winning the lottery and losing a limb specifically. I’m very confident winning the lottery durably raises life satisfaction and that it takes years, not months for losing a limb to be mostly but not entirely gotten over.
I have to say that I'm lucky if I get 4 productive hours in on any day, and most colleagues and peers I have talked to say something similar. That makes me want to ask here as a sort of informal poll, how many hours of the working day would you all say you normally spend working?
Google terminated my Play Console Account for no reason
will we ever see compile time programming in C like constexpr in C++?
Leverage and subsidies. The money did not exist to begin with, hence the FED balance sheet and gov't debt.

The money is funneled into these assets by regulatory incentives 401k, HUD, federal student loans, etc. The seller's money goes toward that as well.
A lot C programmers prefer to keep structures within the C source file ("module"), as a poor man's encapsulation. For example:

component.h:

struct obj;
typedef struct obj obj_t;

obj_t *obj_create(void);
// .. the rest of the API

component.c:

struct obj {
int status;
// .. whatever else
};

obj_t *
obj_create(void)
{
return calloc(1, sizeof(obj_t));
}

However, as the component grows in complexity, it often becomes necessary to separate out some of the functionality (in order to re-abstract and reduce the complexity) into a another file or files, which also operate on "struct obj". So, we move the structure into a header file under #ifdef __COMPONENT_PRIVATE (and/or component_impl.h) and sprinkle #define __COMPONENT_PRIVATE in the component source files. It's a poor man's "namespaces".

Basically, this boils down to the lack namespaces/packages/modules in C. Are you aware of any existing compiler extensions (as a precedent or work in that direction) which could provide a better solution and, perhaps, one day end up in the C standard?

P.S. And if C will ever grow such feature, I really hope it will NOT be the C++ 'namespace' (amongst many other depressing things in C++). :)
I think this was done as much for gameplay flow as anything else. The main criticism of the older model was that you had to manage combat in 3 separate, and only mildly overlapping, planes which made combat a time-consuming pain to track. Lots of playgroups would discourage people from playing deckers or mages just so they wouldn't have to deal with astral plane/matrix stuff.
Bitcoin was created to solve micro transactions. https://bitcoin.org/bitcoin.pdf

The cost of mediation increases transaction costs, limiting the minimum practical transaction size and cutting off the possibility for small casual transactions, and there is a broader cost in the loss of ability to make non-reversible payments for non- reversible services.

It’s the community that pivoted to something else.

PS: Two different non reversible transactions sets up the two generals problem which bitcoin does not solve. https://en.wikipedia.org/wiki/Two_Generals%27_Problem
This is a good point. That will tell you if the car has been given regular oil changes, which is super, super important.

It doesn't tell you how hard the car was driven. But if you're like me, and mostly in the market for a hybrid, it probably wasn't driven that hard.
Except it can stop after 3months...
The last time I needed it, archive.org had a link to a PDF of it.

I couldn't find that again in one minutes, but here is the text version: http://web.archive.org/web/20030222051144/http://home.earthl...
Other than these experts, what kind of companies do C developers work at? How does the compensation look like compared to doing web development?
> Types can't (usually) tell us when we accidentally put a "!" in front of a conditional

critical point in any 'types vs tests' discussion. strongly typed langs can tell you that your program will run w/out crashing but not that they'll be right

(even the 'run w/out crashing' promise turns out to be not always true)

I wonder what tools will evolve in the next 10 years to measure if code is 'semantically correct'. Some sort of function that maps from code to docstrings might be able to check this.
It's not a pathetic premise, but tying it so closely to a current political event guarantees that it won't age well.
Experts Invent a New Way to Track Semiconductor Technology
What regulations are you referring to? I didn't look to deeply into it but I interpreted it as companies wanting to hold cash more instead of lending because they expected a crash.
Emacs, bar none.
Former US Census Directors Support Extending Counting to Oct 31
I think negations usually don't prove interesting, and mathematicians essentially use "non-" to mean "not necessarily". So the theory of "noncommutative rings" includes the theory of "commutative rings" as an easy special case.
Also very interessting to read through the issues of the project
I don't think people are ignoring the half of the population that does not benefit from working from home. It's that, historically, we've been ignoring the half that prefers it. The default in America is to come into the office every day. Yeah, great, there are people that work better that way, but the current situation has forced us to re-examine that way of doing business and we are realizing that there is at least as many people who don't work better that way. This half of the population, up until about 6 weeks ago, was the one being steamrolled into the office culture.

In a broader context, it opens up lots of questions about tangentially related questions. Things like climate change, or urban planning. In my area, sprawl is a problem. Lots of people live in the suburbs and commute. This combined with the harsh winters mean the roads are constantly getting chewed up, and there is always a struggle to find the tax dollars for proper maintenance. Growth is up, and so there are debates between those who want to expand highways and those who want to use tax dollars for something else. The desire to eliminate a commute is leading to gentrification and people being priced out of their communities.

Additionally, requiring a physical presence limits career opportunities. My field has a lot of jobs concentrated in a few hubs like SF and Boston. But there are lots of reasons to not want to live in those areas, and for those who don't wish to, career prospects are severely limited.

We also make lots of concessions to our quality of life in order to be able to work in the same physical space. Lots of Americans spend hours commuting to and from work. At the same time, we don't exercise enough, we eat poorly, and we work too much. All of these are at least somewhat related to not having enough time in the day, and working from home would at the very least give back people the hours of the day they spend traveling between work and home.

I think the honest take on remote work preferences is that there is no one size fits all solution. But up until a month ago, we were largely forcing a single solution on everyone. There's always been excuses: worries about decreases in productivity, claims that we don't have the internet infrastructure, insistence that real work is done face to face. But the reality is that in many cases those simply aren't true, and we are making lots of sacrifices by propping those excuses up.
How do you join three float values into a comma separated string, and then split it again?
AMD EPYC 7F52 – Frequency-Optimized
None that I'm aware of.
Meditation helps to a degree.
The majority of Americans work for businesses which are not listed. The stock market going up means bubkis for most people.
I can’t fly without thinking of Weird Al’s lyrics of “I got my tray table up, and my seat-back in the full upright position.” It has been well over a decade since I’ve actually heard the song, though. His lyrics have a weird staying-power in the mind.
Bootstrapping a B2C startup to $20k/mo
Globalization will continue to unify language.

It'll be interesting to see the hybrid blend of English/Chinese/Spanish/Arabic that everyone learns in school.
Which from what I’ve seen is way harder and way less accessible than testing.

And one of the things I say to anxious coworkers who are struggling with testing is that it’s a lot harder than you think.
UTF-8 encoding works "as is" based on byte strings (char[]). The latest versions of the draft standard provide somewhat more support.

I recommend heading toward a future where only UTF-8 encoding is used for multibyte characters and UCS-2 or similar for wchar_t. There is no need to support several different encodings.
Here's our usage: https://github.com/FRRouting/frr/blob/master/lib/privs.h#L14...

#define frr_with_privs(privs) \
for (struct zebra_privs_t *_once = NULL, \
*_privs __attribute__( \
(unused, cleanup(_zprivs_lower))) = \
_zprivs_raise(privs, __func__); \
_once == NULL; _once = (void *)1)

This gives us a block construct that guarantees elevated privileges are dropped when the block is done:

frr_with_privs(privs) {
... whatever ...
break; /* exit block, drop privileges */
return; /* return, drop privileges */
}
is there no way to make C "memory-safe" during compilation?
Any chance that we could have an STL equivalent in C. Of course, templating and other features being absent it won't be as generic as CPP. However, having even something close to STL will help in the long run.
Thanks!
I'll pass this on to the publisher....
Then there's the "to what end" part. What decisions are you trying to make with economic advice? Because unless if you're going to make a decision with that information, all it's going to do is freak you out for no benefit.
Excess mortality strikes me as very poor data. It seems very unlikely that, during a once-in-a-century pandemic with completely unprecedented severe lockdowns, we should expect all-cause mortality to be close to the baseline.
> Kudos to the developer trying something for fun but I hope this isn't a serious approach to reading news.

Author literally said he did this for fun.