skysight-inc/HackerNews huggingface dataset:
Are there any plans to "clean up C"? A lot of effort has been put into alternative languages, which are great, but there is still a lot of momentum with C, and it seems that a lot of improvements that could be done in a backwards compatible way and without introducing much in the way of complexity. For example:

- Locking down some categories of "undefined behaviour" to be "implementation defined" instead.

- Proper array support (which passes around the length along with the data pointer).

- Some kind of module system, that allows code to be imported with the possibility of name collisions.
Seems also the few movies I bought are gone. But they still sell them? That's certainly an interesting way of doing business.

This is one of the movies I had bought. I could again "buy" it. Wonder who will fall for that for the second time... https://play.google.com/store/movies/details/Kong_Skull_Isla...
The other externalities being environmental degradation and, to some degree, labor abuse.
Yes. You're welcome.
> Games can and do write to ROM memory, which must be detected and ignored!

I don't understand why? If it was ROM, it couldn't be changed. So why write to it? Were these bugs?
Cingulata currently supports TFHE.
https://github.com/CEA-LIST/Cingulata/wiki#headlight
We also used Yosys to convert Chisel into JSON netlist. It is easy to use.
I hope this may help. This is archived but simple.
https://github.com/virtualsecureplatform/V2TT
All EFF’d Up – Critique of Electronic Frontier Foundation
> We don't want to go down the esoteric and labor-intensive path of automated image capture and image diffing

Suck it up. Screenshot diffing solves a specific problem you can't address with unit/integration tests.
"And then I woke up the morning after the election, looked at my computer, and realized that the manuscript I'd been working on was actually set in 2017, but it had become a 2017 that no longer existed," he says. "And it was so organic, and so fractally complete a change that it just crushed me. I thought 'that's dead, that whole thing I'm working on.'"

Honestly, if you were deeply, dramatically surprised by Trump's election, you weren't paying enough attention. The causes of working-class angst against globalism and coastal centers of power goes back to at least the late 70s, with the offshoring of jobs and the subsequent death of thousands of towns in the now-called Rust Belt.

It lead me to wonder if there is a term for such a phenomenon: the realization that your model of history was so flawed that a new, surprising event wasn't actually unpredictable, but merely based on data you were ignorant of.
Short answer: yes.

Long answer: yesssssssssssssssssssssssssssssssssss
Hi I took an amazing course in college that focused heavily on C. Do you have any recent examples of small side projects you’ve worked on using C?
> I realized that the world in which Hillary won wouldn't be a happy world either. Because all of the drivers of the stress we feel today — minus one — would still be very much be present."

TV show The Good Fight Season 4, Episode 1 "The Gang Deals with Alternate Reality has brilliant dark humor take on alternate reality where Hillary Clinton won the election.

spoiler alert
---

(spoiler: Liberal lawyer Diane wakes up in alternate reality where Trump lost, but #MeeToo did not happen. She is representing Harvey Weinstein who is big donor for liberal causes and connections to the WH)
TFHE is known to be switchable between other RLWE based Homomorphic Encryption.
https://eprint.iacr.org/2018/758
Glyph applied it to accelerate deep learning, but they use integer level, not float.
https://arxiv.org/abs/1911.07101

AFAIK, Homomorphic Encryption which supports floating point arithmetic is not known. Fixed point one is known, CKKS.
https://github.com/snucrypto/HEAAN
Jealous of what - that they will soon be out of a job?
Should take Verilog binary construction syntax, like { 12'd12, 16'hffee, 3'b101 } (or something similar that would fit with C's syntax).
Intel: This is getting out of hand...now there are two of them.
Many C compilers offer, as an extension, the very binary constant notation that you miss, as anyone who has worked on the front-end of a C static analyzer would tell you.
Amazon France found guilty of neglecting worker safety, has to limit shipments
Wrapping around the modulus to me is an "overflow", although maybe the spec doesn't use the word that way
>> I'm still holding out hope that we'll get that "mysterious and sexy place" at some point.

In the year 2000 up to maybe 2004, it was definitely a mysterious and sexy place... The absence of good search engines made it mysterious and pornography made it sexy.
That’s a pretty uncharitable assumption to make regarding one of the better authors of modern times.
True, but no estimate is lower than 0.3%, which is still very high (600,000+ dead in the USA). The next step in walking back the fatality rate of course will be to define an IFR that's "net of people who were probably going to die soon anyways".
Tip: you can use four leading spaces to write code.

Like this
Test capacity is fixed, or growing linearly. The variable you are measuring is growing exponentially. What will happen is that the number of confirmed cases quickly starts coming back as a linarly growing number which is dependent mostly on the number of tests made, not on the number of infections.
Do you find the learning curve for C to be high?
I find it quite the opposite. It's a simple language with only a few concepts to learn, once you got those, that's it.
There might be some preprocessor tricks you'll pick up later, but the base language and library is pretty comprehensive IMHO.
What removal? C11 section 6.7.6.2 specifies the semantics.
The title is not a very good one, because it's nearly a rhetorical question: no language I've ever seen -- not even Haskell -- has a type system that completely removes the need for tests. For example, even Haskell has partial functions over types like Int whose behavior can't necessarily be encoded in the type system (at least, not ergonomically/practically) and thus require actual tests to cover.

That said, I think a more accurate title for this post (based on the paragraphs beyond the first one) might be "are tests necessary for a view layer that doesn't have much business logic in it beyond passing properties when that view layer is written in Typescript?" At that point, it's really just a permutation of the question "are tests necessary for the view layer of an application?", which has highly-situational answers.
I know that we're not voting, but I miss a binary literal very much. I would also like a literal digit separator to improve readability. Verilog Hardware Description Language does that with an underscore [1]. For example, 0xad_beef to improve readability of a hex literal, and 0b011_1010 to improve readability of a binary literal.

1: http://verilog.renerta.com/mobile/source/vrg00020.htm
Samsung Reveals New 5G Galaxy Series Smartphones
What's the best way to deal with "transitive const-ness", i.e. utility functions that operate on pointers and where the return type should technically get const from the argument?

(strchr is the most obvious, but in general most search/lookup type functions are like this...)

Add to clarify: the current prototype for strchr is

char *strchr(const char *s, int c);

Which just drops the "const", so you might end up writing to read-only memory without any warning. Ideally there'd be something like:

maybe_const_out char *strchr(maybe_const_in char *s, int c);

So the return value gets const from the input argument. Maybe this can be done with _Generic? That kinda seems like the "cannonball at sparrows" approach though :/
(Also you'd need to change the official strchr() definition...)
Yes, but not to validate your syntax and any references to undefined stuff (except on the boundary where you might interface to external - not in Typescript written - libraries). Still, tests are meant for logic testing - which is something the Typescript compiler won't help you with (or any compiler probably).
I am no defender of Western media, but this is a textbook false equivalency. There is massive material and theoretical difference between corporate spin and government propaganda. Corporate dishonesty is possible in the US precisely because we protect the press's freedom. China, on the other hand, jails jails more journalists than any other nation. Sure, they're both "bad," but fundamentally different.
HTTP/3 is using QUIC which is UDP based.
Ray Dalio : https://www.youtube.com/watch?v=yrxYhv2O3wU
Could take a page out of the biologist's book. "what's this thing?" Transcriptase - enzyme (-ase) which transcribes - DNA to RNA. "What about this" Reverse transcriptase - does the reverse of transcriptase.

Angiotensin-converting enzyme - does exactly what it says on the tin. You can lex it even further:

- Angio - heart (from ango, vessel)

- Tens - from hypertension, vis tendo, tendere, to stretch.

- (-in) - suffix associated with polypeptides:

- Convertere - turn around, from:

- Con - with

- Vert - turn

- En - inside

- Zyme - from zume/zymē - leavened, loosely, biological thing which causes leavening

It just makes so much sense! Lexemes are so cool. Like digging into linguistic source code.
Capitalism is just an algorithm, heuristic. Game theory shows a mix of strategies works pretty good. Just tweak the proportional mix of strategies as necessary.

Open markets only span something like 1/3rd of our economy. (Most other trades are intra organizational, government appropriations, etc.)

We're geeks, right? Obsessed with optimization, right?

So it seems crazy to me that so many will only consider Freedom Markets™ while dismissing every other possible strategy.

As seen in this very thread, the meme of Freedom Markets™ is so engrained that even the critics only argue in those terms, rather than having an affirmative agenda based on alternatives.
A bunch of people here are commenting about how Google is silently cancelling a lifetime price guarantee.

But there's nothing in the thread about any lifetime guarantee, and Googling I can't find any reference either.

Does anyone have actual evidence that Google explicitly made a lifetime price guarantee? It just seems... unusual, not something subscription services generally do.

Also, this seems like more of a bug affecting some users, as opposed to intended policy. I mean, when Google cancels things, it usually provides months/years of advance notice with lots of e-mails.

So I'm hesitant to jump in with my pitchfork here...
I've seen it work best when it's at least a couple of days!
That was my Google Play Music use case as well. About a year ago I set up a plex server on my NAS and bulk downloaded my GPM library onto it (which to google’s credit was easy to do). Now I have them on my own hardware, and accessible on the go with the Plex app. It’s a better experience for video than audio, but it’s totally serviceable.

There had been murmurs for a long time of Google Play Music going away, so I moved off ASAP. Looks like that was a good call.
> If you can't pay, you don't deserve to get things for free.

There's a lot of problems with this concept.

We don't live in a meritocracy. Having money doesn't mean your life is more valuable then someone else's. A kid born to a billionaire has access to extreme wealth (and therefore economic power) without proving any merit for it. Humanity has tried monarchism already, and we've decided it's not the best way to run things. People shouldn't be given power just cause they are related to the last guy who had it.

Hell, even if we did live in a meritocracy, is it moral to let people die because they lost the genetic roll of the dice? Somebody born with a disability should just die since they have less economic worth?
I would say inevitability rather than intention.
> If not, is there any other free service where I could upload my MP3 collection to, with an app for mobile which would sync the data between mobile devices?

Not free, but Apple Music allows you to do that. I believe Spotify has that feature as well.
If the name is a Python reference it's a weird one. "Bad, evil Zoot!" https://youtu.be/nMUnbNPCoSw
I can't speak to the states, but as a Canadian, my wife and I tried to tackle the communication problem together - it took us a collective 550 calls over the day to even make it to the "on hold" queue, and I'm pretty sure making into the queue was purely by luck - my wife continued trying and never got through. The system is completely overwhelmed.
Maybe someone else can respond to this as well, but I feel like the primary reason signed overflow is still undefined behavior is because so many optimizations depend upon the undefined nature of signed integer overflow. My advice has always been to use unsigned integer types when possible.

Personally, I would like to get rid of many of the trap representations (e.g., for integers) because there is no existing hardware in many cases that supports them and it gives implementers the idea that uninitialized reads are undefined behavior.

On the other hand, I just wrote a proposal to WG14 to make zero-byte reallocations undefined behavior that was unanimously accepted for C2x.
I did the same thing. I would get to the office before 6 and have 2-3 hours of quiet time. That was the only way that I was able to get anything done.

The bad thing is that, almost 5 years later, my sleep schedule is still screwed up because of this. I have a really hard time sleeping past 5:30am, and I'm afraid its damaged my health.
Yes I'm aware. But we can agree it would be welcome in the standard, isn't it?
Google and Apple teaming up to enforce tracking at the OS level, very clever indeed:

"The Verge: Apple and Google have a clever way of encouraging people to install contact-tracing apps for COVID-19."
https://www.theverge.com/interface/2020/4/14/21219289/apple-...
Interesting. I guess most/many arch's overflow flag is set when the sign bit changes and the carry flag when the result rollsover the word size.

I think most people colloquially call going A + 1 = B where B < A an overflow. Interesting. I knew they're different things, but never really thought about my word choice.
Both the 1600s and the 17th century are 100 years long.
Some instances of undefined behavior at translation time can effectively be avoided in practice by tightening up requirements on implementations to diagnose them. But strictly speaking, because the standard allows compilers to continue to chug along even after an error and emit object code with arbitrary semantics, turning even such straightforward instances into constraint violations (i.e., diagnosable errors) doesn't prevent UB.

It might seem like defining the semantics for signed overflow would be helpful but it turns out it's not, either from a security view or for efficiency. In general, defining the behavior in cases that commonly harbor bugs is not necessarily a good way to fix them.
In theory, yes. In practice, TCP has "ossified". That is to say; all the routers and networking equipment, around the world, would have to be upgraded to support changes to TCP, which in practice will never happen. Look at IPv6 adaption rates as an example.
Show HN: I made a lightweight stock market price tracker
Hi Hacker News,

I'm Peter, founder of stockval (https://stockval.co).

Stockval is a lightweight realtime stock market price tracker with anonymous portfolios and alerts. It's loginless. No personal data. Still, your portfolios and alerts stay on our server and are accessible via a unique URL.

So why coinval? There are hunderds of portfolio trackers out there. Unfortunately, I couldn't find a simple one that would be fast enough, have realtime prices and worked well on all devices. All I found seemed to be extremely bloated.

I've been tweaking stocvkal for over a year. Today, I finally decided to share this lightweight app with you, guys.

Please make sure you try all features, bookmark a customised URL (e.g. https://stockval.co/10fb/usd or https://stockval.co/aapl/1000usd), create a portfolio, save some alerts, and then share the app with your friends if you like it.

All the feedback is appreciated!
Thanks!

P.S. VIDEO that shows all the features: https://youtu.be/bLBIs9OLfxk

Cheers,
Peter, founder
I really like your comment.

> switched to a language that built and ran faster

Which one did you switch to?
Microsoft COBOL-80, specifically, per the magazine article.
Is there a possibility there will be introduced a new rule saying "if the compiler detects an UB it should abort the compilation instead of breaking the code in the most incomprehensible way possible"?

Right now it's just scary to start a new project in C. It would be really great if there was more emphasis on correctness of the produced code instead of the insane optimizations.
Does that also imply that if many people die from economic slowdown, that country should be considered 'poor' or 'undeveloped'?

Maybe countries that feel developed but still experience this should reconsider their policies.
I think that C provides fewer layers of abstraction than other languages. This requires the programmer to deal with memory management, treat strings as an array of characters, and other things that the majority of high-level languages conceptualise, so that the human mind deals with it more easily. This provides advantages and disadvantages, as it requires more thought and understanding to write the code but also allows the use of low-level features. The lack of tools to solve any learning issues is probably down to the programmer needing the right conceptual understanding and the requirements placed on anyone using the various features of the language.
Or, donors are heavily invested and politicians work for donors.
It is nice to have a choice
Did you try reader mode?
It sounds like they are working 4 instead of 5 days (32 out of 40 hours) which is what 80% of FTE equates to.
Thats a convenient framing to have that simply dismisses reality and the past rather than dealing with them. It wont be a minimal compromise of rights, it will be direct violations. It will not be limited and it will be used beyond its intent. They have proven this time and again. They cannot be trusted, nor can the people that come after them who made no such promises.

This is the same crap Congress tries to give us on so many issues. 'Here is our solution, its the only possible solution (its not) so it must be passed even though its terrible.'
> Google responded to our inquiry to confirm that they are aware of the issue and working on fixing it.

https://www.androidpolice.com/2020/04/09/google-play-music-s...
This might be the compromise which unites all camps:

- it only uses standard tools and keymaps, which pleases the bash greybeards.

- it uses your favorite-editor expertise instead of relying on situation-specific new/rare commands (Ctrl-W Ctrl-something what was it again?), which pleases the limited-braincache crowd.

- like the OP solution, it is interactive. you start typing mv something/yourfile, then realize things are going to get complicated: no need to backtrack, look up the manual for brace expansion, etc, just Ctrl-x Ctrl-e, do your thing. this pleases the intuitive UX crowd.
reply one
Investment drives growth, not consumption.
How do you extract data from unstructured documents
Data extraction from unstructured documents is a complex task. We can overcome this problem with the help of Intelligent Data Processing.
Your evidence of this is an opinion article by a republican political adviser. Please forgive me if I wait for the congressional investigation to look at it.
Tesing is still needed at a high rate for patients and hospital staff. But I agree testing millions when you have uncontrolled spread isn't "managing" the outbreak. It's a charade because people have been screaming "more tests" for weeeks. Test only when you can actually take action with the result, such as giving different treatment, tracing contacts.

When the outbreaks in different places are suppressed, you can go back to testing and tracing again.
The problem is that some bands were never signed to a label, broke up before spotify got big, or for some other reason don't exist on any of the popular streaming sites. The problem is getting smaller as time goes on, but it still exists. I can self-host something like Ampache or Plex or something, but then I don't get any sort of discovery features, and I have to go to a totally different platform to listen to new artists.

GPM was nice in that it merged the cloud music with your own collection, but I'm pretty resigned to the fact that I'm going to lose that functionality when they finally shut it down.
Found the resource I was thinking of:

- https://www.usenix.org/conference/lisa13/managing-macs-googl...

Unfortunately that was 2013, and https://github.com/google/macops only has a couple commits, so those devops processes are likely very outdated.

The mailing list is dead, but as of mid-2017 this statement was made:

> The main google/macops project is still alive, but there is more development currently going on in the other projects we link to (like santa).

> We still use puppet, as do our Linux and Windows fleet, but none of us actually use puppet infrastructure. We are all working with a standalone (masterless) model.

santa seems to be the only actively-developed macOS management tool on the google github profile, but other tools listed in the talk are actively developed (puppet of course, munki, etc)
That is for sure true, TCP is also know for having lots of weird and quirky implementations in the wild.

On the other hand, there will never be a time when TCP could possibly be "update", it is too entrenched and fossilized.
There are a number of self-hosted music streaming servers. Some quick googling shows Ampache, Mopidy, mStream, and Airsonic as the four biggest ones. Some of them have apps for Android/iOS, some support the Subsonic protocol which has a number of compatible mobile apps. And of course also a website interface.

Put it on an old computer / raspberry pi in a closet, or on a cloud VM. Domain name is <=$12/yr and many providers let you do DDNS via their API.
Hone Your Marketing EQ Through Uncertain Times
True, but that's a separate issue from the one being discussed in this article. Increased competition between creators may make it more difficult to get viewers, but it doesn't directly hurt CPM.
Why do the handholding when viewers obviously don't care? The average local news viewer is something like 58 years old. The low quality production values make it feel like the reporters are struggling with technology along side their viewers; it's a good look for them.
It's in a docker container so any changes will just get wiped on next version upgrade. I just checked and it does have the right IP in it though (IP of device hosting pihole). So doesn't seem to be obviously misconfigured. Weird.

.hole doesn't seem to be a valid TLD so not much of a security risk
A lot of you seem to be working on commercial solutions to C's insecurity. Does this feel like a conflict of interest to you?
> I do my work for a few hours, and then I hack on a personal project the rest of the day.

That does sound like introvert heaven. Your company doesn't hold you accountable to your hours? If I could put in a solid 4 hours of work I would get just as much done as I do in 8, and then have extra time for myself and not the mental anguish of trying and failing to focus that whole time.
"Long meetings are a symptom of a lack of planning imho."

Yes and a sympton of mgmnt/people(s) with too much time on their hands...and excess time manifests differently for some under WFH. They can't command and control as easily under WFH so what do?
What my dead iPhone taught me about leadership (2017)