skysight-inc/HackerNews huggingface dataset:
It seems like he is not aware of Nix or Guix, which is a travesty.
That call for regulation sounds as far from a 'freedom of speech' argument as can possibly be. You're simply calling for different criteria for censorship of content - or for letting the government decide on the criteria, which in fact would be a straightforward violation of the spirit and letter of most freedom of speech laws/constitutional clauses around the free world.
I think the most reasonable thing to do would be to cancel student debts and to then make college affordable again.

When I went to a NY State SUNY school in the late 80s / early 90s, it was heavily supported by the taxpayers of NY. My tuition was $675 a semester, or $1350/year and the fees were minimal. The NY minimum wage at the time was $3.35/hr. That meant that by working a minimum wage job for the summer, I could pay my tuition and fees for the next academic year, and by working part time during the semester, I could pay for rent and food. Thanks to this, I graduated debt free.

We need to get back to this level of affordability.
except that debian's apt repo style have been there for decades and still worked well, redhat/fedora's pkg and development model instead had changed who knows how many times, and of course the current one is the golden one, until next one arrives that is.
Lots of developers in general doesn't seem to understand the concept of a REST API. What are the benefits? Why are we doing this at all? How to do it properly?
Most APIs are not REST, just some RPC-like APIs over HTTP.

When you have a tool like this, it's just easier to use it and call it a day - without thinking too much or learning the concepts properly.
Aspiring novelist here.

Lots and lots and lots (and lots) of ideas written down and left un-judged. I’m taking anything that pops in your head. Sometimes getting an idea, any idea, written down gives the brain the chance to expand and improve on it over time even subconsciously and this is where tons of good ideas develop.

One side note here: don’t assume you’ll remember an idea you have. I can’t count how many times I’ve thought, “oh I’ll write that down later” only to forget what it was entirely. Stop whatever you’re doing and jot the idea down somewhere. This is especially annoying at 2AM.

I watched a writer’s room work on a comedy show I enjoy and they talked about how for each episode they aim for about 30-40 jokes, which requires around 300-500 ideas be written down. No idea was mocked and everything was written down and taped to the wall. Most of the time good ideas evolved from some that were initially half-baked.
I try to teach myself one big thing per year, and then eventually do a writeup to explain how I taught myself that thing. And yeah, FreeMind definitely helps for that also.

Right now I'm a few years behind just due to building my startup, although I have a 20K+ word post that just needs one last round of minor edits heh.

In terms of topic trees, yeah the main benefit is that forcing yourself to organize your ideas this way helps you to have new ideas, just based on being able to see the relationships between things that you wouldn't have otherwise been able to see. This is my blog post that goes more in-depth on the benefits:

https://alexkrupp.typepad.com/sensemaking/2012/09/program-ab...
They’re also all using Apple products, for example.
Show HN: BART-based summarizer trained on years of newsletter summaries
Likewise zoom meetings aren’t the same thing but replicate the original experience. Im not using any? but am using a wacom tablet for similar handwriting purposes but have to admit that it’s not realtime. If you can’t find something that you like at least you found a business idea
Google Is Quietly Upending Your Search Results
Exactly! The idea that having more employees is better is complete BS.

We all know that start-ups work because they are small and focus on problem solving, not dealing with bureaucracy and administrative inefficiencies.

Look at the whatsapp acquisition. It was touted so much because the company had only 50 engineers.

High revenue per headcount is a good indicator of successful execution, good hiring practices and organizational structure, and a solid culture.

If you can achieve the same results with 5 people that a company needs 20 people for, you'll obviously be the more profitable and desirable company for a VC to invest in.
I can’t seem to read this without logging in, never mind the dark patterns trying to force you into downloading their app. Reddit hate their users don’t they.
He is. Check out the Q&A of his 2020 ArchConf presentation. He explains why NixOS does not fit Hus needs.
How can you enforce limits on gatherings in homes? I don't want a government with such police powers, even if it did reduce covid deaths.
Yep - that's essentially what our Subaru has and I'm always messing with it as I drive.

IMHO, the Volvo system is superior. That car also cost about twice as much so maybe it's not fair to compare the two.
The correct response to that is to limit what governments can demand/request, not what Facebook ought to be able to do with its platform.
Summarizer is at skriber.io

Powered by BART and trained on my own dataset of a few thousand summaries. Let me know how it works for you :)

login: test

password: test123
https://www.youtube.com/user/explainingcomputers I like this channel. It has nice TV like feeling and no nosense presentations. And It is also the only channel I have enabled notifications.
Its kinda fun to alternate between google earth / google maps satellite view and wikipedia as you scroll along Alexander the Great's path or visually examine the pyramid complexes in Egypt or search for ghost towns in the USA west, or that strange linear string of meteor craters across the american midwest.

I remember around the turn of the century a guy who mapped out infrastructure for some grad school project getting his term paper classified for having way too much detail about electrical switching infrastructure weak points. However even in 2020 there's plenty of stuff to look for on military bases both famous and not famous, and its also fun to take overhead journey of something like the Empire Builder railroad line and compare it to my memories of taking that ride in person. Also national parks look interesting on google earth, at least to me.
> if both don't have to work

That's one big problem right there. Everyone I know works. I don't know if this is because they all have to, or because, like me, they choose to. All I know is that they all do. (Actually, that's not quite true. I know one couple who is retired. But I don't know anyone my age (mid-fifties) who doesn't work.

One thing I do is take jobs with flexible schedules, so mostly consulting gigs nowadays. If I want to take a Monday off, I just do it. But I find that if I'm out of the loop for too long, I want back in. I find it tremendously valuable to have someone counting on me to deliver something precisely so I dont spend all day watching YouTube, which I could very easily do. But when I do that, I feel useless, and I don't like feeling useless.

But that's just me, I guess.

One other thing that makes it work for me (no pun intended): I don't have kids. If I did, I would probably be focusing a lot more energy on them.
Technology of Small Modular Reactors Explained
I'm not saying it cannot be useful at all, but most projects should not even consider using it.
Incorporate every US citizen as an LLC. No one is accountable for anything. Reform becomes mandatory.
My last job was like this, but they didn't care if people brought in their own equipment. I brought in an inexpensive mechanical keyboard, a nice mouse, some decent speakers and a headset, then requisitioned a second monitor from the surplus room. Granted, I had my own office so the noise bothering other people wasn't an issue. I would wager many places wouldn't allow bringing in your own equipment, but unless it's explicitly prohibited, I would happily spend a few hundred for a day to day quality of life improvement.

Software is another big thing overlooked by a lot of companies, in my experience. I've bought a Jetbrains account to use for my development because the effective $12.50/month I spend on it is nothing in comparison to the productivity benefit I get from it.
Its a nifty Linux that I used for my "fake NAS" running on an old thin client. The docs are fairly simple, and their package manager has mostly everything you need.

It's easy to set up a weekly cron job and samba server on it for some NTFS drives.
Lean is not classical. I don't know where the idea that Lean is classical is coming from. Lean is constructive. It is consistent with classical axioms, just like Coq is, and just like Cubical is in the propositional fragment. Isabelle/HOL on the other hand is classical, and is quite a natural choice if classical logic is what you want, which is why mathematicians have been using it for decades now.

I know Kevin. He does good work. He also heckled every talk at ITP, including my own, in the middle to express his opinions. I have never met another researcher in my life who does that. Media outlets interview him and not the other 50 years of researchers doing work on proof assistants and using them both for mathematics and for verifying systems. I wrote a whole book about the history of program verification and for sure nobody has ever interviewed me about it. Kevin is loud and bold, that is why his opinions spread like fire. But they are just that, opinions.
I remember talking to a japanese (unfortunately I forgot the subject) but one sentence stuck 'if it were a rule(or law) it could have been changed, but it is tradition'
Good luck!

I'd like to share with you a couple things. I still love Salsa even though I stopped actively going to Salsa clubs a few years ago (like many things in life, activities will fade in interest/fade back in). As a note, most of the social dancing advice applies to a world without covid dangers.

1) Keep on going. You can take a break though.

One of my favorite articles from "The Unlikely Salsero" (archived copy)
https://web.archive.org/web/20080316160328/http://www.unlike...

2) Footwork is everything. One of the mistakes beginners make is that when they do their basic step, they take "too big" of steps. This is acceptable when you are a beginner. However, when you start doing more complicated footwork/leading that is required by patterns, larger than needed steps can easily break the precise on-beat timing needed. Please try to focus on small steps.

3) Leading properly requires signaling. Something like a simple squeeze of the hand if you want your follower to stop. Also, prepping the follower for their turn by doing a very, very slight wind up.

4) Listen to Salsa music more if you are not already. The key feature of Salsa music is that breaks happen on the 8/12/16 bar of the normal song. If you can anticipate the breaks by counting in your head silently while dancing, this will make the difference in your lead from above-average to performance. I recommend Gilbert Santa Rosa. They are more laid back then the frenetic Salsa bands.

5) If you are just starting out, asking a follower to dance is one of the most intimidating things you can do. You will get rejected. Don't take it personally. When you get better, you still will be rejected. In a group class at a club, take note of the followers in the class (you usually rotate) who seem enthusiastic. Ask them to dance if you see them still around.
I have created links on the main page https://www.codejoh.com/ for signing up and logging in.

I have added the favicon.

I don't you have links to the article in linkedin an youtube in the main page.

Are you suggesting that this would be a good place to share them in addition to the

introduction message in this thread?
Yes, much to the EU population's dismay.
Out of those options, using HTTP seems like the obvious choice.
In https://michael.stapelberg.ch/posts/2019-08-17-linux-package... he measures NixOS and determines it doesn't solve his problems. More commentary at https://twitter.com/zekjur/status/1162779362682384384 (though it sounds like part of it is the fact that the "right" was to install something is nix-env -iA nixpkgs.whatever instead of nix-env -i whatever, which I too find confusing).
dnf/RPM is the biggest offender in his benchmarks when it comes to package manager speed. Not only is metadata for a package an order of magnitude larger, the package manager itself works slowly.
I honestly think that we need to stop thinking about "subsidize some group". The more effort we spend making sure that somebody doesn't get something they don't deserve, the worse off we are. Let's just have a UBI rather than lots of bureaucracy keeping score.
Does not make it better. If we had started to allocate more funds to solving real problems instead of develipong more weapons that are hopefully nerver going to be use, the world would be better off.
Other journalists in mainland Europe.

And then they publish articles in the native language of their country.

In France: https://www.lefigaro.fr/flash-actu/un-journaliste-s-introdui...
In Belgium: https://www.rtbf.be/info/medias/detail_un-journaliste-neerla...

And so on...
So, last time I used Fedora was around 13; at that time it seemed like major changes to how things were configured was a part of every version bump and trying to deploy it to multiple machines was an exercise in frustration as the next release would come along and blow away a lot of hard work and necessitate a redo. Moved away from it and over to Ubuntu where the LTS resulted in less work for me managing labs of machines.

Is it better now? Stabilizing? Anything to actually set it apart that you'd call out specifically as being advantageous for Linux on the desktop?
I went all in on Postgraphile, directly tying API's to the database schema. And you know what? I LOVE IT. I love it so much I've migrated all other API's in the business over and got to delete thousands of lines of code that weren't necessary anymore. 99% of the time, REST API's are just glue code, mapping HTTP data to database data and vice versa. And for that 1% that you need, for example backwards compatbility with an earlier version of your API, there's computed columns, set returning functions, views, etc... You can keep your API compatible with older clients and keep moving your schema forward.
But the most liberating thing about Postgraphile is that I get to spend a lot more time on the datastructures and frontend development. And it's really paying off, features can be delivered much faster, and you don't feel useless writing glue code all the time. This thing for real improved my life.
Great idea! Does anyone know if something similar exists for e-learning (ie sending SCORM data at the end of the presentation)?
> There's definitely a significant self-absorption in this project. [...] I didn't read long enough to understand if this is a satire or not.

Definitely sounds like a suckless project to me!
Typography Animation Microinteraction Star it!
https://github.com/neodigm/vivid_vector_alphabet
Actually go and build one of those projects. In the process you'll get a whole bunch more ideas. Write them down somewhere as you do.
I have used these a few times and do not love it. Once you have used a gantry type CNC, the router is too limiting. One problem is needing to recalibrate the reference surfaces with their tape, but the big one is clamping and fixturing. With the shaper, you need to have it touch the work, or at least rest on a reference plane. With a gantry machine you can hold small pieces and cut all the way around them. Basically, the shaper is only good for internal features, while a cnc router is good for internal and external features and can also do 3D contour work.
Bay Area agency seeks to restrict car commuting after pandemic is over
Feel free to ask me anything
"Only after disaster can we be resurrected. It's only after you've lost everything that you're free to do anything. Nothing is static, everything is evolving, everything is falling apart." — Tyler Durden in Fight Club
You can give these two URLs a try:

https://old.reddit.com/r/Starlink/comments/jybmgn/we_are_the...

https://i.reddit.com/r/Starlink/comments/jybmgn/we_are_the_s...
>The tipping point for us making this decision was that the team behind Daily Stormer made the claim that we were secretly supporters of their ideology.

Don't attack Cloudflare and Cloudflare won't terminate you. That's not censorship, it's self-defense.
Try this link. It just replaces 'www' with 'old'. The day they get rid of old reddit is the day i never hop on that website ever again (though i never use it anyway)

https://old.reddit.com/r/Starlink/comments/jybmgn/we_are_the...
I have been using Postgraphile (similar to this one but for GraphQL) for many months. The great thing about this way to create systems is that you don't expend time doing glue code, just in the real business logic.
But a big pain is to maintain your database code, by example the version control of your functions. There are not suitable linters, and testing can't be done over postgres functions but must be done over GraphQL instead.
Using things like this will save you months of development time!, Even if I agree there are some systems that will not be good idea to implement in this way.
You're lucky your merit increase even keeps up with inflation.

I work for a fortune 500 tech company whose stock is up 600% in the past 3 years, and they got rid of the merit increase unless you get promoted or were nearly promo'ed.

Even before that it was generally 1-2%, well below even the meager increases social security provides year over year.
> Most APIs are not REST, just some RPC-like APIs over HTTP.

Can you elaborate this part? Does PostgREST does that? If not, any example of it
My family is big into the whole financial independence thing, albeit at a much higher level of spending than this person. I think it's great to have such conservative needs, but I'm not sure it's practical for most people.
> Gone is the need for the high quality package management of Debian: The Universal Operating System.

Well, almost. What's inside your container, though? For anything of moderate complexity, my containers always end up having some apt-get or yum installation in them; it's not like I want to Dockerfile up the manual from-source install steps for every small package, nor do I expect to have perfect upstream Dockerfiles to FROM that include all the exact bits I need....
>Imagine how you would feel if you were from a family that had scrimped and saved to send you to college, you worked night jobs, etc. Only to find that at the end everyone else who had taken out loans had them forgiven (basically)

I think you might be surprised by how many people in that situation would be happy for those who benefited, even at the same time that they are upset that they landed on the other side of the timegate of the policy. Requiring "missed out" scenarios to not occur for any policy like this is too burdensome to society, and too conciliatory to the selfish who would rather the policy not happen at all if they weren't able to benefit from it.
The writer forgot the following:

- People to clean your workspace;
- People to replace equipment when necessary;
- People to design your workstation;
- Free electricity;
- Free phone;
- Free security;

And the list goes on... all these costs have been shifted to workers.
Arrow would be a god send.
>I think the most reasonable thing to do would be to cancel student debts and to then make college affordable again.

We need to do this the other way around. But yeah, college (and trade schools) are an investment in the people of our country. I sure as hell would rather pay higher taxes and live with well-educated citizens who can create things and start their own businesses than be absurdly rich.
It’s completely insane that your location decided to close all the trails. We took a 4,000 mile hiking road trip (up the east coast of the US and back down more inland) a few months ago and we never ran into a closed hiking trail.
Ah—I just meant I would delete the copywork, which is the essay of someone else's I just typed up! I just figured it wasn't mine, plus I get some small satisfaction of "cleaning up," like a very non-sacred version of colored sand in Buddhism.

Cool link. I need to spend more time with this, Peter Drucker is brilliant. It sounds like you and I write similarly, I am a meticulous outliner.

I really like voice dictation as a writing alternative, but I need to be really focused. e.g., I tried "freewriting" by voice when I was cleaning the bathroom once, and it turned out sloppy.

Thanks for starting this topic btw, great question and I'm really liking the discussion.
Database Lab Engine 2.0 for PostgreSQL
We keep rediscovering Lisp, maybe one day we'll rediscover the Lisp Machine
Facebook Google Back Modular Housing Startup Factory_OS
Another similar site https://mark.show
Believe it or not, putting down books, stepping away from screens, and just getting the blood flowing through exercise is a great way to clear the mind and just let it wander. I'm also reminded of walking meditation. Used to work with a math PhD who would take breaks to walk around the parking lot smoking his pipe.

Other than that, I hang out in forums like HN and certain subreddits that seem to spark ideas in me. Some of them are hobby specific (I've got at least a dozen ideas for apps for search and rescue), but some just come out of left field or I look for a problem I have and want to solve.

I will also add that I use org-mode and live in emacs, so taking a note is just a couple of keystrokes away, and disk storage is cheap. I can always just archive it later, so I've never liked the idea of throwing out so-called useless ideas (was from some time/task management system, can't remember which), as I can always set the state to CANCELLED.
Now working remotely I tend to jump right into work and try to finish my projects asap, but after watching a documentary about how creative people are procastinators I tend to go for a run or watch unrelated content (avoiding politics) such as philosophy arts and history. Having your brain switching context has helped me coming up with new ideas.
A couple of healthy reminders to avoid drama and FUD:

1) People announce leaving publicly and the FLOSS community takes notice of it. This is a sign of health of Debian. In many other projects few people notices.

2) The number of Debian developers, projects, and packages has been increasing for decades.

3) For each person writing on mailing lists and blogs there are 10 people quietly contributing.

4) The same applies to the occasional flamewars. Vocal minorities are not representative of the thousands of DDs and contributors.
While "disrupt" may be a positive buzzword to techies and venture capitalists, to the consumer it signifies, well, disruption. That is, things stop working. Somebody is making a lot of money by breaking things. Somebody is imposing themselves as a middleman and raking off a lot of dough. Definitely not a good look.
Young whippersnappers. The old days were when you had to order a CD of Slackware in the 90s and hope your disk controller was supported.

All great tooling becomes a victim of its success. Packaging is so good now and simple that you don’t have sysadmins anymore, and many companies know little or nothing about what they are doing. So people build the golden build and clone away.
Lack of linters can be a pain, but testing is easily handled with pgTAP.
+1 The irony (or hypocrisy) is not lost here.
Hm... the Windows side did, right? I don't think there's any actual traces of MS-DOS left in Windows 10?