skysight-inc/HackerNews huggingface dataset:
The thing about Segfaults, is that with a good integrated debugger like visual studio, the bugs that produce them are often very easy to diagnose. As a C programmer I would say they are my favorite class of bugs, because they are so easy to fix, and they show them selves so clearly.
This, 100%. I've been working on a side project that is essentially rebuilding Redis but in Ruby, only to learn how things work (https://redis.pjam.me/) and the Redis code base is fantastic. As someone with basically no professional C experience, the clarity of the code base makes diving in fairly easy
Hmm when I think of 'normalizing' I don't think of dividing by a max at all - in my experience it is more taking a quantity (perhaps in English measurement) and transferring to a more 'standard' unit (say metric).

In general I don't think normalization always includes a sense of being in a bounded interval. From a mathematical perspective you could perhaps say normalization is achieved by multiplying your quantity by a 1D operator. You can't change the dimensionality this way, but are certainly changing 'units' a la mm in the x direction -> m in the x direction for example. I guess what I'm saying is that 'normalized' and the like are not the best fit for the SO question.

If I could take my own shot at the SO challenge from a mathematical perspective it would perhaps be sigmoid. Where the result of a normalization function takes a 1D value and maps it to a similar 1D value, the sigmoid takes a 1D value and maps it to a similar 1D value between (0, 1). So if I want to drop the previous information and only keep the resulting map, I can say 'this is my sigmoided value' - IE it is impossible for it to be outside of that range. Unfortunately sigmoid also connotates a differentiable curve which is extraneous information...

https://en.wikipedia.org/wiki/Normalization_(statistics)

https://en.wikipedia.org/wiki/Sigmoid_function
> working for a company that isn't engaged with helping you to improve is far worse

I agree completely, however that is usually far different than "goal setting" in my experience. It's far more about opportunity, which unfortunately is also handed out by management.

> Even if you're motivated to improve on your own you'll be working with people who aren't and that's more stressful and annoying than any number of performance measurement systems.

Welcome to corporate life. I've worked with a lot of people who could care less about doing better, and sometimes that's right (hey, some of those people even have kids, which I would say is a better use of time!). I'd say performance reviews add more stress and strife than remove it.
Do you want to be powered-by renewables? The answer is no
Ask HN: What can I do about climate change?
In my day-to-day lifestyle, what are the most cost-effective changes I can implement to reduce my environmental impact? As a software engineer, how can I use my professional skills to help others fight the crisis?
From what I understand of Prusti, it still aims to be automatic and the underlying Viper pipeline still relies on constraint solving for the most part - certainly the Prusti examples don't seem to do anything more complex than that.

Would you be able to outline the main differences?
Indeed, it breeds apathy. After a while you literally give up on making improvements because nobody else cares to do so, and you just hit massive walls every time you attempt to make change. The best thing you can do is find a different place to work, or start your own business.
I suppose I confused this with "Know Thy Time" in Effective Executive. Thanks for clarifying, I'm sure I've incorrectly made this attribution before.

Edit: typo
I see the title has been re-written. Got to protect that YC investment.
Yes, you're right. Today we're not doing a good job at teaching people about Ctrl+J. Thanks for pointing it out. We'll make it better.

By the way, you can override the shortcut in Preferences (see "Global Command Bar Shortcut"). For instance, I changed my shortcut to CMD+SPACE (I already had a muscle memory for this shortcut since before I used Spotlight on Mac OS).
On the other hand, you’re in a company doing SAFe so you have plenty of opportunity to stare at a wall.
May be Op wanted to take the advantage of batteries included features like, admin panel, templates etc.
Or is just very comfortable with django.

If we are talking speed and simplicity then I would father go with Fast Api rather than flask.
Username now in question
One complication is inlining, whre some of those 25 methods may want to inline methods handled by some other process.
shameless self promotion "How I program C" https://youtu.be/443UNeGrFoM
US court: NSA mass surveillance program exposed by Snowden was illegal
Why your favorite language is unpopular
They're equivalent, Raku defines both Ascii compatible and Unicode names for typical operators. I expect they used ≤ because it looks nicer.
Those reactors are small compare to usual one, but they still operate in a power plant like a gas or coal one.
It's not a home or neighbourhood nuclear reactor.
Adding ".rss" to a subreddit's URL turns it into an RSS feed. I use this to avoid the homepage and ranking by hot/popular, and consume reddit like a normal news feed.
Fish is similar in this way, if you're not on Windows and thus don't have access to PowerShell.
Lincoln believed that the civil war was God’s punishment fwiw.
Wow! Congrats, and what is your site? Would love to read more about it.
Toss Bomb Computer (1956)
I watched the two-minute introduction video, and learned that it's "an inclusive app" that's all about diversity. But I came away with no real idea of what it actually is.
Does that mean you signed up for HN when you were 10?!? Awesome!
Cycling tabs is not effective. PSreadline supports CTRL+SPACE completition - just type - and then CTRL+SPACE and it will show menu with ALL arguments. The same works if you start argument (i.e. -P<CTRL+SPACE> shows all params starting with P)
Entrepreneurship: What It Means to Become an Entrepreneur
When writing a post titled "Preserving data integrity", I find it weird not to actually demonstrate that the data integrity is preserved.

I assume md-raid is proven so removing a disk isn't of primary concern, but at the very least power down the system, and overwrite a few random spots in the data partition on a couple of the disks. Power the system back up and see how the pool reacts when reading everything. Verify that the data is correct.

I mean, write and read performance means little without actual integrity, or if you need to perform some arcane incantations to get the system running smoothly again.
Do we really need to stare down our noses at people who just want to look at cat pictures?
I agree. You can certainly do it without the "background", but we specifically had to get some well-connected "right-backgrounded" people involved before folks would answer our calls because all our principals had degrees from schools they never heard of (Ben-Gurion University of the Negev) and experience in little niche defense contractors that aren't "cool" by SV standards.

(However, we did what we needed to do--get some Stanford people with ties to Sand Hill Road--and got it done.)
I've never been on a SAFe team so maybe this is addressed in that methodology, but I think annual reviews are more a tool to pass your performance up to higher levels in a structured manner as opposed to letting you or your boss know how you're doing. Like the GP said, the manager and their direct typically know exactly how they're doing, or at least more or less where they fall on the spectrum of the team. Ideally stand ups should give daily feedback to everyone when someone starts to fall behind, and managers should be giving their directs feedback often (not necessarily daily).
Musicians often don't know what they're signing up for, and sometimes labels change their mind about how to manage their catalogues anyway. There are a lot of great labels that do all the right things for artists and DJs, but it's a big industry with lots of players.
Ezra Klein had Ross Douthat (the author) on his podcast to discuss the book and it’s a great conversation. Highly recommend. It’s billed as a debate but it’s not at all contentious, at least I didn’t get that impression.

https://www.vox.com/podcasts/2020/6/17/21293202/ross-douthat...
Because frankly I think the Linux Desktop as it exists is incompatible with a good personal computing platform. I have rambled on at quite some length about this elsewhere on HN. Were Windows to become just another cobbled-together leaky abstraction of a desktop on top of Linux, it would suffer from all of the same problems.
>because people don't understand how Windows works, in general.

But also because Microsoft aggressively pushed their browser for years. Even with their pitiable language "are you sure you don't want to try our new browser?". It's not just people misunderstanding, Microsoft actively did this throughout W10's lifetime
In particular, we now download whatever software tools we like from this lovely internet thing, so it's less of a concern what programming environment the OS bundles by default.

Back then your choices on UNIX were to either accept whatever your vendor included (which would mostly be C), or buy a disk set of some other tools and hope they actually worked on your machine.
In the long run sure, but that doesn't mean there can't be set backs and temporary regressions.
Why concern yourself with everyone having to be like you?
Doesn't clang already implement this ?

LLVM can process multiple codegen units in parallel already, and many frontends split TUs into multiple codegen units.
There's a lot of talk about how civilisation lifecycles lately, and articles, books coming out, and yet one of the best works in this space goes completely unnoticed and unread, it seems, at least in anglosphere: Lev Gumilyov's Ethnogenesis. May be it's because he worked in Soviet Union, where there were not much interaction between historians on different sides of the Iron Curtain, or may be there's still no good translation to English; anyway, if you're interested in these matters, I highly recommend his books and theories.

I'm absolutely not saying that he's right in everything he says, of course — there's plenty of backwards or outright bigoted opinions in his works — but his theory is so unorthodox and interesting that it should at least be an important part of the conversation.
PowerShell is available for Linux.

There's also Elvish, Nushell, and a few other attempts in a similar vein.
> I wouldn't be surprised if that liability is considered "tomorrow's problem", so no one in power cares about it.

I was talking to an environmental scientist that other day who was lamenting that the liability for solar panel waste was being treated as "tomorrow's problem", and no one in power cares about it.

If we factor in the tomorrow problem nuclear looks even better, because we have a chance of being able to deal with it. Nobody attempts to solve the decommissioning problems of most waste, there is too much of it so we just dump it in landfill and hope there isn't anything too nasty in it. There is no plan at all to deal with it beyond 100 years or so, and it doesn't get less toxic over time.
Git's documentation tends to tell you how it does what it does, without telling you what it's trying to accomplish. It's the equivalent of the classic beginner comment:

a += 5; // Add 5 to a

Entirely accurate, and totally useless.
And others who are influenced by him (of which there are many in this case)
When people post podcasts here, as in [0] recently, then we have discussions. However, consider that podcasters don't want your questions, typically; the folks that do want questions will publish a phone number or email address allowing for engagement.

[0] https://news.ycombinator.com/item?id=24336756
I see them as filling fundamentally different (if occasionally overlapping) use-cases. Rust is a language for high-performance programs which require strong safety guarantees. C is a language to make the computer do what you tell it to.

So for instance, if what I need to do is just manipulate memory with the least overhead possible, C is a really good tool for the job where Rust adds unnecessary ceremony. For instance, if I'm just walking arena-allocated memory, the borrow checker does nothing for me.

Also I think C plays an important pedagogical role. When writing C you learn a lot about what a computer actually does, whereas with Rust you're working with an abstract system.

I think a lot of the reason C gets a bad rap is because it has been used historically in a lot of use-cases where a language with better safety guarantees would have been a better fit, but that alternative didn't exist until maybe quite recently.
I'm pretty far to the left, but I will say that one thing that's good about HN is that you can discuss an idea here without it getting down voted into the abyss, sometimes. Sometimes people even argue on good faith. Try finding that on Twitter.
What are we spying for? Rouge states trying to disrupt our elections? Rising boldness of home grown militias?
Shareholders are happy on it, considering that for public shares the horizon of future thought is "next quarter". Short term share price gains are utilised in trading.

It's only the long term shareholders that get burned on this, whether they own actual shares or just share the consequences
I use i.reddit.com on mobile, it seems distinct from old.reddit.com?
> Discovering the cmdlets is not as trivial as it could be, because they are named verb-first instead of noun first

Irrelevant. Use

Get-Command *network #network anywhere in noun
gcm *-network* #network as first word in noun

PowerShell has it all, its just that people don't bother to learn it.
Are there examples of the ACLU declining to defend free speech for KKK members/neo Nazis that would illustrate this?
Is it possible there haven't been any meritous "censorship of a Nazi" cases for them to help with since the last time?
A government in the geopolitical landscape is much like an organism in the environment. Evolution is spurred on not by chance, but by selective pressure that prunes out the weak and unstable.

We've entered an era where Mutually Assured Destruction has reduced that selective pressure of superpowers down to nothing. In this environment, power can easily be pulled from citizens and placed into the hands of the autocrats who trust that the chances of being usurped is extremely low. And they're right.

There are social justice issues in the world, sure. But I think this issue of power redistribution is a big issue too.
It's a good reason to design reactors to be as small as possible, with a small containment building. Much easier to build.
[V8 Deep Dives] Understanding Map Internals
+1 most important C intro since K&R
Unfortunately I don't have a choice for that. Cloudflare could be behind any domain so the extension has to patch all HTTP requests (and permissions aren't finer grained than that). It doesn't do anything invasive though, it just patches a handful of headers to look like the Tor Browser. You can read up on it here: https://github.com/T0astBread/onionflare/blob/master/backgro...

If you have an "unbranded" Firefox build (which means not built by Mozilla) or (iirc) the Developer Edition you can disable mandatory signing, zip the contents of the onionflare repo, call it onionflare.xpi and install it locally instead of using my AMO distribution.
iOS Apps Tracking Exposed
I’ve installed a firewall on my iPhone. It has exposed all the crazy tracking done by apps, which of course normally happens under the hood.

To exemplify, two big offenders: Imgur and Dictionary.com

https://imgur.com/gallery/10yjM9m

https://imgur.com/gallery/yODTDeP
It's an ongoing rhetoric in Russia and much of Eastern Europe. Western issues like gay marriage, feminism, overconsumption, politically-correct language and identity politics are skillfully used by nationalistically-oriented populists to paint a decadent image of the West.
> Perhaps. But the shear size of r/pic or r/jokes makes me doubt that most people are there for "serious business".

Reddit is really big, there are really different people there and and there are many different ways you can use it.
It does not just agree; it suggests explanations.

I suspect that one particular aspect of Facebook's operations - the nation-state level of spying on its users and the people they mention - accounts for a significant part of the difference.
We've also never had access to the kind of world-changing power we have now. Rome couldn't cause nuclear winter or irreversible climate change.
Commission Incentive for Software Engineers
Has anyone seed a commission like structure for software engineers? Please don't mention equity.
Not seeing much of those four horsemen, either

It doesn't take much effort to find current instances of sword, famine, and plague. Only thing missing is the beasts, but maybe that's because we've already hunted them to extinction.

Then again, we've been seeing all four them regularly for over centuries...
The MLB used to go out of their way to report fans who shared short game clips on twitter and it never made any sense to me. Do they have the right do to that under the current copyright system? Sure. But it seems so short-sighted. It's free advertising of the best kind: word of mouth. Why would you want to stop people from sharing samples of your product that way?
Honestly, google, and instagram is how I found most of the classes I've taken.

I follow a lot of spoon carvers and other types of woodworkers and they post their class schedules pretty frequently. If you're in the bay area, there is the Bay Area Spoon Carvers. Since covid, one of their members started a "Wake up and Carve" zoom meetup. People from all over get together and carve on Zoom, ask questions. It looks pretty cool.

I live in Tennessee, and East TN/Western North Carolina there are multiple folk art schools where you can learn this kind of stuff.

EDIT:

Also, I just want to say, the John Campbell Folk School is such a great place. In my high school/college years I went there for contra dances during the winter and summer.
Life is a lot easier these days, thanks in no small part to advances in cars. As an American, cars are a central feature of your life. I feel like a large part of my “character building” years was spent struggling with unreliable, old, leaky, carbureted cars. All the energies I spent keeping that thing running could have better spent working or socializing. And yet I have a deep appreciation for what it takes to make a car go and keep it going.
Smart Cities and the Military
Kameleoon (disclosure: I am the CTO & founder). Close to Optimizely in the sense that it has enterprise level features. Our main focus at Kameleoon is performance / speed, at every level (loading of the JS engine, DOM manipulation, tracking, server side testing and/or feature flagging). But there are lots of other alternatives as well. As always, it depends on what exactly you need :-)
PowerShell is besides Linux also available on Unix.
It has been known for nearly 100 years that you can never criticize your staff.

“I will speak ill of no man and speak all the good I know of everybody.”

― Benjamin Franklin

Last job, my last performance review. There was literally only 1 complaint against me. I was late >40 times. My boss told me he was disappointed in me. I was upset because I was never ever late to work; I was always early.

I asked him to tell me when I was late. He pulled it up. Everytime I worked the weekend because I was oncall 24x7; I would swipe in and because I swipped in after 8am or whatever it was considered a late.

So not only was I going above and beyond helping people afterhours, I was taking a hit in my performance review because of it. Dont care how stoic you are, that hurts.
If I'm ever again in a SAFe team, something has gone terribly wrong. I won't join a company that uses this practice unless I'm very desperate. If a company I'm at adopts it after I've joined I will immediately begin looking elsewhere.
MLM CRM Software
Worry about environmental crisis? You don't have to
We human beings have been evolving to live on this planet for 200 thousands years; therefore, we, as what we are, are the products of the nature. The damages, as many claim, are naturally inevitable because we are "programmed" to do such things. If you are worried about the environmental issues, please don't. The problems are generated naturally. Because it is generated by the nature, it will be solved by the nature, even in a way we can't predict.
I take 'similar vein' as grand euphemism.
So all the propaganda was true: the decadent West was heading for a cliff, and the USSR not only caught up to it, but indeed even surpassed it.

I suppose any one unhappy with decadence, preferring spectacular instability to stability, a good fight against misfortune to contentment, and struggles with temptation or fatal overthrows by passion is free to become whatever flavour of jihadi they find congenial:
https://news.ycombinator.com/item?id=24373042

David Crosby on how becoming a millionaire changed his life: "you know those pistachios that are hard to open? I don't bother with those anymore."
Is this a jailbroken side-loaded app or is this available on the App Store?
Project manager. Lots of companies need a PM that has some of the technical knowledge you do to help make decisions on processes.
It's impossible to say that "all people will never want to do X", as there are some strange people out there. However, there are many emails that I want that I would never want to reply to.

When I order something I like getting the emails saying 'your package has been shipped...", and they typically come from a donotreply address.

I follow a number of repositories on Github, their notifications come from noreply.github.com.

I also like knowing when there are new versions of various assets I've gotten from the Unity asset store, these notifications come from no-reply@unity3d.com.

I am subscribed to the headlines from my local newspapers, one of them is delivered from noreply@patch.com.

My utility company sends payment confirmation emails from noreply@unitil.com.

I like knowing about the occasional blog post from authors I follow on Goodreads, these come from no-reply@mail.goodreads.com

I like knowing when games on my Steam wishlist go on sale, these notifications come from noreply@steampowered.com

In several of my past positions, a large part of my job was purchasing. As such, I needed the many industry newsletters I was subscribed to. In the manufacturing industry, these are one of the easiest ways to find out about new products.

I do some work as a graphic designer, and I like getting the emails from various sites that sell - and often give away - assets.

I could go on...
For context, my understanding of OKRs is limited to the reading of "Measure what Matters."

In my understanding, OKRs are dependent on organizational clarity of the mission, vision, and metrics.

Now I'm sure there are plenty of teams that have matured in their space and have this organizational clarity.

But when I was referring to small teams, it was in the context of "we're small now, but if we make this work, we'll be bigger."

In the latter, decisions are going to be more bite-sized. And going through the OKR exercise could take as much time as the execution of the tasks.

Edit: in other words, OKRs are great for well-defined outcomes, where the time required is longer than what would be expected from an individual contributor during a week-long sprint.
Just because they were wrong about themselves doesn't mean they were also wrong about us.
> Mixcloud - smaller, but actually has a licensing deal

Interesting, can you explain how this works? Is there a way for DJs to look up which songs are licensed while you're live-streaming?
Current macOS (Catalina with zsh):

(base) user@myMachine ~ % help
zsh: command not found: help