skysight-inc/HackerNews huggingface dataset:
I love this book called "Soowing Down to the Speed of Life". In one chaper the author talks about the incredible boon that comes from heading towards boredom instead of away from it. He decided to take a night to just do nothing.

At first, it was uncomfortable, but then his whole world slowed down. He started noticing things he hadn't noticed before: a particular color, a detail on a flower. It was like a different reality.

I use this idea of heading towards boredom to clear my own head. I find it incredibly helpful to sit in a dark room with no sounds and no goal for about 2 hours. After the initial discomfort (might last 20 minutes, might last an hour) my brain feels renewed and free. And the quality of my ideas goes way up.

I don't do it to be more productive though. I do it because it helps me get to a better, more attuned experience of reality. Closer to joy, peace, and acceptance, and further from always thinking about what's next.
He (Morris, actually) defines observational equivalence as:

e1 == e2 iff

for all contexts C,
C[e1] halts iff C[e2] halts.

Which is a great trick to avoid having to compare contexts. Around 29:00 they discuss how to show 5 != 6.

One question I have is: what if your language doesn't allow for ways to halt? For example, a language where you have no loops. That definition would imply everything equals everything, since all contexts eventually halt.
This is a straw man argument. Python's associative array code is written in C, not in Python, and Redis is written in C. So you're comparing C to C. The 40% loss in performance is due to Python being much slower at doing the stuff that's actually written in Python.
Hard paywall, unreadable.
That shouldn't be an issue. Btrfs snapshots are copy-on-write, so unless all blocks changed the big binary file should be there just once.
I think you're already in a pretty good place - the fact you have healthy relationships, a good job and you regularly exercise is very very important.
And yet, something is still off by your account. Fatigue, agitation, loneliness. It's not entirely clear to me why you get these fits of agitation, loneliness etc. A lot of depressed people feel down about themselves - they feel like they're worthless, no good, a failure etc. You don't see yourself that way - which is good, but it also calls for more exploration into your predicament.
The fact you're kinda already doing everything right (sports, relationships etc) is a sign you may do need external help as you yourself said.
An obvious thing that may be lacking by your account is a signifcant other, but in itself is not gonna be a cure for depression.
Which could be a plus: they're also VERY low in calories. And when it comes to a "burger" like Americans use, there's plenty of calories in the bun and if that's not enough, the amounts of sauce some people use.

It's going to be a lot healthier than a standard burger.
These are almost unchangeable defaults, it’s not like Apple is setting a desktop background and you can just click and change it.

The list is really disappointing.
Once Twitter has a say it becomes a publisher not a platform. There is no practical difference between writing a piece yourself and choosing which piece to publish out of thousands other people write. After all you can always claim something you write was submitted by an anonymous donor.

Twitter is a publisher and should be responsible for all that it publishes including calls for violence which it regularly features.
What is so missed here is that the people asking you for help are not some faceless Corp they're actually salaried engineers looking to get their job done, potentially on the hook for some system they didn't even author.

You don't have to answer for sure if that's what you choose, but don't expect that pleb engineer on the other side to be able negotiate any remuneration for you as a individual contractor.
Actually the OS asks these questions already.
Conduit isn't very common in US residential construction. Electricians will generally cut a hole in the drywall, drill a hole in the floor plate and tack the cabling to the framing.
Why the Buddy System Isn't Working for Devs
I've long held the opinion that Twitter and Facebook are just content in the medium, a bit like complaining about Sky, CNN or Fox on TV without looking at television itself and the impact it had on communication.

The internet has brought communication to everyone that travels at incredible speed. This has the effect of causing emotive responses, rather than reasoned. Requires no effort at all to respond, and encourages the toxicity you describe. What gains most traction are those posts that are the most emotive. It used to be "if it bleeds, it leads", but I suspect these days it's more akin to "emotion deserves promotion".

Speed carries a number of other implications. For example, it allows a cheap, steady stream of constant information that can be completely irrelevant at best to you, plus it's information about which you often can do nothing about, except hit the reply button. This can only make things worse, because people feel powerless except in this superficial way.

The other effect is the quantity of information, and it's impossible now for a user of the internet to wade through it, or even validate it without incredible effort. Our current techniques for filtering that information is essentially populist individualism: we rely on what other people have liked, linked to, or shared, but at the same time, read what is presented to us based on our previous interactions.

I guess what I'm trying to get at here is that I perhaps pessimistically feel that these things are fundamentally baked into the medium, in much the same way that Neil Postman felt entertainment was intrinsically baked into television. Hopefully I'm wrong, and there are solutions to these things. Not sure what they are myself.
To be generous, Apple has unwittingly created an app use surveillance possibility. All from the idea of developer certificates and diligent revocation checks.
It's almost as if people's emotional states come from things other than making entirely rational big picture judgements about the state of the "average person" on the whole planet.

I'm curious if you have, at some point in your life, met another human being? All evidence would point to "yes", and yet here you are, all over this thread, debunking other peoples' subjective mental states with your superior facts and logic. As people do.

It is tempting to picture you striding confidently through a mental health ward, heels clicking authoritatively. As you approach each patient, you lean down and gently impart a optimistic fact from Nature or The Economist ("did you know that rates of cholera have declined by 60% in 2018 alone"). In your wake, sparks of life return to the previously dead seeming eyes of troubled teenagers and despairing middle-aged men.
Show HN: Learn Awk Tweet by Tweet
>actualises its witch-coven destiny

doesn't matter because the msm will tell you it did either way and you'll believe them without a second thought and then post midwit pisstakes when yet another independent community inevitably gets deplatformed by chokepoint monopolies. because we still totally have free speech right?
just don't say the wrong things 4head!
Hey Guys, this is the easiest way I ve found to actually revisit kindle highlights easily and effectively. Let me know your thoughts. How can this be made better, or any other feedback.
OP said:

> I've largely stopped using twitter due to the incessant politics, pretty much what you described above but just in a different flavor

I'm not saying there aren't crazy takes in many corners of Twitter, but OP made a very far reaching claim here that I can't imagine holding water from my experience. The examples you bring up seem pretty fringe at best and not representative of common activity on Twitter.
It's a challenge but it's not out of the question, even for 13 years old.

Designing a basic CPU with modern tools is not difficult if you understand how to do it, know the tools, and have a useful simulator. It's the hardware equivalent of a writing a bytecode interpreter in software.

(Tools are usually VHDL or Verilog, and Chisel is gaining traction in RISC-V academic circles. There are many other hardware languages too, but not as well known)

An experienced digital designer might rustle up a simple custom CPU in an afternoon or two. Not necessarily a great one, but good enough for some problems. They might do it as a side task during an existing logic design just because it takes a less area than the equivalent logic gates for some function that doesn't need to run at full speed. This is quite a common trick on FPGAs :-)

I've done this for a network packet processor. The assembler took longer to write than the CPU, and even that was a dirty Perl script. The whole thing took maybe 2 workdays. In that instance the motivation was to avoid having to do FPGA circuit synthesis when changing the network processing program: Assembling and loading a different program into the custom CPU took seconds, much faster than the several hours for FPGA circuit synthesis.
One issue is that this often enough triggers people to think "got you" and then you get "reminders" about their problem being important and special and whatnot.
Very cool! Making C integrations available with nice syntax and managed memory is such a huge win for Python. This POC glues together a hashmap implementation, async event loop and redis protocol parser (all in C) into a very readable (and quite performant) program. You could probably add pub/sub support in another 50 lines as well, since asyncio is already present.
1970- Hey Guys I want to start programming with the PDP-10.Did I miss the boat?

1980- Guys I want to learn about micro-controllers, is it too late?

1990- GUI programming

2000- Linux, Internet, you name it

2010 -. Javascript

In 30 years time (at the very least) there will be still Data Science. So if you are really up to it, id does not matter if you should have started 5 years ago or now. If you suck at it or really dont like it, it would make no difference either.
Couple of ideas, not necessarily ordered by importance.

- Going into nature (walking, running, hiking, etc.).

- Corollary to (1), have a form of activity, maybe throw some Yoga in the mix.

- Interpersonal relationships (it's more difficult in these times but I believe necessary).

- Mindfulness exercises (a form of meditation).

- Sometimes doing absolutely nothing is nice / contemplation.

- Maintaining a healthy diet.

- Consistent sleep schedule (and healthy habits/routine in general).

- Relaxation, which includes sauna but also breathing exercises for example (see Wim Hof breathing method / connected breathing), massages.

- Work on your passion if you have one.

- Is maybe going to be a bit controversial, note that I am not advocating for illegal drug use (should they be illegal in your area): using psychedelics (both in microdose/macrodose format) shows very promising results with regards to regulating mood (especially for those suffering with med-resistant depression) and re-connecting with one-self/others (especially with higher doses). I recommend reading "How to Change Your Mind" from Michael Pollan as an introduction, but there are also pretty good videos on Youtube.
I run this account. I plan to tweet every day, slowly building up knowledge about AWK tweet by tweet.
One very negative effect of platforms like Reddit and hackernews is that downvotes and upvotes system exacerbates groupthink and opinions contrary to the ones of the people reading your post at a given time. Lots of posts could easily get upvoted or downvoted based on circumstance and dissenting opinions shut down.
But it often has a connection with your current circumstances, no? I mean, I bet most inmates are kinda depressed right? And most people living in villas in Venice California aren't as depressed. I'm using extreme examples, I know.
Thanks, just saw the youtube one, also answer to my obstacle question (20lbs force) ...
Not just that but hitting 50% or 60% of the target performance is usually not that difficult. It is always the last 10-20% of extra performance that are the ones really difficult to hit and the ones that might influence design decisions early on.
Some of these frameworks really have tiny performance differences in the order of single digit percentages. Hitting 60% of any framework's performance is not really a feat.
The brain is an incredible instrument. With repeated meditation, yoga or other exercises like slowing down and being intentionally bored, you can at any time recall that feeling and focus. So meditation is not just an activity you do to calm down, but to train your mind too.

Avoiding being too hectic is good too though, or it becomes more of a mental gymnastic. The benefit of that is calmness and clarity to make better decisions and priorities.
I'm 23 with less than a year of work experience, yet I'm treated like a senior employee because I've proven that I'm competent and take responsibility. Absolutely zero bullshit or bureaucracy surrounding that.

I hate few things more than self-obsessed incompetent circlejerkers in positions of power in large established bureaucracies. Institutions, governments and large corps are filled to the brim with these kinds of people. They can often talk a fair game but can't execute.

Those are the true cults.

The whole startup and venture capital world attracts non-conformists and pace-makers by definition, and they're goal is to create new cults or disrupt the old cults.
Here's my story: I used Notepad++ for a while, Sublime Text 2 for a couple of years, Atom for a bit, then Webstorm and VS Code before settling into primarily using VIM or VIM mode for every editor I work with.

The real instigating factor was severe RSI. Three and a half years ago, it hurt even to brush my teeth. The damage was primarily from using trackpads, mice and worst of all mobile phones, but it was much to late to just use a keyboard.

I had to take a complete break and then limit myself to a couple hours a day and only on a fully ergonomic mechanical keyboard. The difference in using VIM and staying mostly on the home rows vs constantly hitting chords with modifier keys to do everything on other editors was massive. I could work almost twice as long before feeling pain!

At the time I could get around VIM but hadn't ever customized my .vimrc or really made a concerted effort to study it. I just knew the standard navigation with hjkl, insert, append, copy, yank, delete, lines, words and find. And yet it was still reasonably productive.

Once I learned about change/delete/yank in word/tag/line/etc, it was already better than using VS Code in normal mode. Making shortcuts in my .vimrc made it even better. In a sense it's like snippets at a meta level that apply to your work flow.

Nobody pushed me to use VIM and I like it quite a bit, despite having had a lot more experience with non-modal editors. I'll use VS Code, etc, but I when I do, I use VIM mode in them unless I'm recording a screencast where I don't think that would be a good idea. So far, the only major editor I've encountered that fails to support VIM mode is Xcode.
But isn't this exactly what the author is demonstrating? You can use the higher language of Python with its garbage collection, and since the critical parts are in C anyway, it ends up being competitive to the pure C implementation.
Shouldn't the senior leadership team be providing resistance against the bureaucrats? This doesn't always happen, but I think it does sometimes.
Hi @wcerfgba, thanks for visiting it, if you don't mind, what makes you think the paywall is unreadable?
All the code of this project is in Python, so who cares about what it is using under the surface?

With that reasoning, you're actually comparing machine code to machine code. Why even compare the performance of any languages at this point, since you're comparing machine code to machine code in the end?
Intelligence and Investigation Talent Moves (15 November)
"Several days"

I got close to clinical depression before so I know what it feels like. Today, what I feel is something I attribute to Autumn's reduced daylight (darned harsher in Northern Germany, where even the sun seems to need government clearance to even just appear nowadays, and the government is most of the time too busy with other things to grant it so), plus the disruptions of being in "quarantine" (yeah unfortunately I haven't really settled to my personal "new normal" yet).

On the bright side, I've actually managed to achieve several of the goals I set myself to back when we thought WFH would just be, 2-4 months. I overplan, there's usually a ton of things I want to do and achieve, no way it would've fit in that initial 2-4 months. Now, I'm actually pretty satisfied with myself if I think about it.
To some extent the top voted post at the moment displays an inherent issue with a lot of people of these platforms. If the message is not pleasant to the reader, either they will engage with it in a reactionary way, or seek to further isolate themselves in information bubbles. (Notwithstanding abusive behaviour, which should not be tolerated)
An agriculture engineer, a food scientist and a botanist from 100 years in the future have just read this and they are still laughing.
I am developing currently one hobby project and about to implement auth using magic link. I have never used magic links before but want to try it with this project. My project is kind of marketplace where user is supposed to place an ad and come back maybe next next few days or a week and close the ad. Then he might not come back in months or years.

So I think for this kind of project where the user needs to authenticate himself one off and then maybe come back months later to log in again magic link suites well.
Let's say 95 percent are killed. That still leaves around 400 million people. Let's say 95 of scientists are killed.

That might still leave around 4-500,000 scientists worldwide and millions of engineers, millions of medical doctors, tens of millions of technicians of different kinds. Sure, many of them will be in odd places like New Zealand, South Africa or Argentina. But that's likely where most survivors would be as well.

Just for comparison, until the 1940s the US and Europe produced around 10-20,000 doctorates per year. At no point back then did we have more scientists worldwide than we would have after 95 percent of scientists were killed today. And unlike back then, the surviving scientists would have knowledge of every scientific knowledge produced afterwards, either as personal memory or in books and databases.

It's quite possible the internet would survive as well. After all, it's designed for that kind of events. Thousands of libraries would survive. Millions of machines, vehicles, airplanes, computers, components etc. would survive. Wikipedia, the 100 most important scientific journals, the US patent organization database can easily be on a laptop and libraries around the world are making copies all the time.
Well of course it is calling C. The point of this argument is that you don't have to go all in and write your code in C to get good performance.
You can just write good Python and get almost as fast code as C that will take you 5 times less time to develop.
I was a short-term vim user, around 8 years. There are some benefits to it, however these benefits are starting to get less and less with other IDEs/Editors adopting some of the functionality. I now use VS Code with vim keys.

So as from my point of view of would highlight the following reasons:

- Keyboard, for even a bad typer like myself the vim keys and chords are very efficient.

- The not using a mouse is good also, your hands do not move far.
- Fast

- Widely available

- Cross platform

- I can use it in a SSH session.

- When you use it for a while you do build an attachment to it. It might sound strange but I feel good using vim.

I think my vim experience has one major benefit also. I have been able to jump from one ide/editor to another and if there is support for vim keys then I can navigate and do basic to mid level editing quite efficiently.

I like VS Code now, it is consistent, plugins work consistently (one problem with Vim). I would still recommend people to learn vim.
> I have never (deliberately) sent a voice message on any platform

same here.

really dislike how people essentially just ramble on and on for what could have been one sentece or a few words.

so it costs the recipient a lot of time and concentration to get the gist of the message.

maybe a cultural thing because my wife and here friends use voice msg a lot.
No, there really isn’t. Election fraud happens all the time, but there is zero evidence of it happening in any quantities here that would change anything about the results.
So I have something like this

https://jp.sharp/range/products/axxa10/

It's got a color LCD control panel with color images of the foods. Such a waste. Even the salesperson at the electronics store I bought it at recommended I get a cheaper no-frills model but my gadget lust won out. In fact looking at the video of that model it looks like they got smart and removed the images (my model is 4yrs old)

A video of the one I actually own

https://www.youtube.com/watch?v=eOV-2aYcZCs

I don't know if Microwaves + Oven devices are common in the USA now. In the USA an oven is generally a standard included kitchen appliance, under the stove, over the broiler, where as in Japan ovens are not a normal kitchen appliance. So, it's nice to be able to get one device that can do both Microwave, and Oven. This one does convection style oven and it has 2 tanks for water for steam and yes, I've grilled, baked, and done all kinds off stuff with it.

But, somewhat matching the salesperson's prediction I've never once used any of the features on the menus. Either click "microwave" and the pick a time and power level. Or pick "manual settings" and then pick one of steam, broil, grill, etc, then set a temp and a time and go.
For me work has been very stressful, though I'm better off than most people, the pandemic did not affect me very much but I find work very toxic. I'm a very young software engineer at 23 in a country where most engineers you will find are 26 and above I got my first full time developer job when I was 19 fresh out of high school.

Most people consider me as smart but I'm not given the opportunity to use my skills. In late 2019 I had decided to resign my current job because I found it too toxic, I had been diagnosed with bipolar and things had been very hard before I had decided to go and see a therapist who when immediately saw me referred me to a psychiatrist and I've been on medication since then.

My manager convinced me to stay and offered me a small increase in salary and promised me that my voice will be heard. He also convinced me to take a contract that involved completing an app that I had been working on. he made a lot of promises to me. As soon as I accepted his new offer and rejoined the company, he changed again, I'm still faced with the issues I used face previously and as someone with bipolar, I get stressed easily and the company does not make it any easy for me. Last week I just decided to send my manager a notification about my planned exit next year. He's trying to convince me to continue staying... So I'm just wondering why s would someone want you to stay in a company without giving you the opportunity for growth? For me it feels like they just want to use me to do the hard work and then "The right people will take the credit", considering I don't have a university degree.

Are other young engineers who are talented face similar issues in other companies? Despite my age, I've been working with computers longer than most people around me. So I do know a lot and can easily do any task. A lot of people are just usually concerned with how do I know what I know? Most of the time people don't listen to me and when things go wrong or something is very technical they always want me to be the one to do that but I get no credit. Maybe I'm the problem. Is there something about me that makes it hard to be acceptable to these people?