skysight-inc/HackerNews huggingface dataset:
This wouldn't really be the same, but use a habit tracking app based on streaks (aka not breaking the chain) to make consistent progress on two learning projects on my own time (mathematics and programming).

The goal is small for each (just one module of a textbook per day for mathematics, and a third to half of a chapter of a programming book per day), but it's doable in spare time, and I keep reminding myself that I can only make progress on these projects if I at least hit that goal each day.
Main take away: we all need to go spend some time in Japan.
Glorious copyright laws (extended by Disney nonetheless) working as intended. Stifling an already shut-down service to never be resurrected by it's fans for what reason beyond greed?

Disgusting.
It’s not gatekeeping. Maintaining for Windows is a huge cost to damn near everyone involved.
Judging by actions, it would seem primarily to be an offensive alliance. What's the point of its existence after the Cold War? Operation Gladio is another facet that seems to be much more offensive than defensive.
https://en.wikipedia.org/wiki/Operation_Gladio
They did admit they fucked up. Then they tried to make the best of it by looking for possible ways of preventing other people from repeating their mistake.

What did you want? A blog post that says "I suck, I'm a failure, thanks for reading"? Why is this your response to someone trying to be contructive while post-morteming a failure?
I watched people use software for years. If you have the exact same Popup every day, you’ll get used to click ok. Has no meaning anymore. It’s in the muscle memory.
It's simpler from a certain point of view, namely one where you don't want to have to maintain the VM.

It's more complicated because you need to know more random tech that I bet you don't want to learn. Which is fine, it's really not necessary.

By the way, you should learn git sometime. Or there's a couple other VCSes that are somewhat known, but git is both good and has good networking effects (everyone uses it).
Came here to hopefully see GitHub came to the rescue through a friend of a friend on HN..

Unfortunately....not
True, have seen system from inside. Have seen people of my generation still clinging to it.

Most of places I see it, is for economic reasons(priest job, reservations both are side of coins) and some have nothing to boost other than caste and no other incentives.

Always hoped education will get rid of this system that has turned evil, but that hope has also gone as western education system has nothing to offer. Probably some indigenous education reform might help, but would love to see some PhD or researched guy’s comment

Would love to see some solutions to this problem. One that I have heard is inter-caste marriage(haven’t researched much), but would love to see some more solutions for this problem or just no hope than another Shankaracharya.

If interested we can have website dedicated to solutions eradicate this system by offering people what this system gives them.

Also I think we can’t get rid of any system without offering replacement for it especially for huge and highly knitted society as Bharat.
The app is buggy (sometimes I have to reopen it over and over to get bikes to show up), but procedurally I actually like it more than other bikeshares I've used. No need to futz around with QR codes or do a wacky challenge-response routine with the docking station. I just tell the app which bike I want to unlock (based on its parking spot), and it happens.
when I'm completely relaxed after a breathing workout, I sometimes dont "feel" the need of breathing, for long periods, is that normal?
A Hifi Berry [1] plus a speaker. The Hifi Berry is a Raspberry Pi hat. There are hats for digital output, analog output, and one with amplified analog output that can drive a 4ohm speaker quite respectably.

I have some old Cambridge Soundworks speakers outside that I drove from a HifiBerry Amp2 hat for a while. Not quite enough power for outside so I switched to a Hifiberry DAC Pro and a pretty capable amp off eBay. The sub to go with them uses a HifiBerry DAC too.

My main listening speakers are active digital speakers, with SPDIF inputs, and Hifi Berry Digi+.

The HifiBerry has a RPi build you can just stick on a card, though I now use dietpi as it survives power loss better. Once that's done you can connect over wifi or wired, using Airplay, Roon, bunch of other things I forget. Basically you can run any music server on it, because linux. With Airplay or Roon (and probably others) you can make all the speakers in the house play the same music, which is awesome for parties.

There's a bunch of manufacturers that make wifi/wired active speakers. Bluesound. KEF make some nice ones for $2000. Not portable, mind you.

[1] https://www.hifiberry.com
Yes exactly this
88% of Twitter is owned by institutional investors. They will instantly protect the stock price.
The post-Ice Lake models of the XPS series all support 32GB of RAM on the Developer Editions; I have one. Until that point this was Intel's fault because before then they were behind on their memory controllers, nothing Dell could do about it.

Fingerprint reader support for Linux in general has been a sticking point for a very long time, including on the XPS series. (I still fondly remembering the blobs needed for my old ThinkPad's reader to work...) But it's basically the only thing that requires blobs from my knowledge. I don't even bother with it on my stock Fedora install, though it is quite slick in Windows, I admit...
This reminds me of big law firms - I briefly worked at a gigantic law firm and it seemed the closer to partner an attorney was the more divorces, mistresses, and extreme health problems that attorney would have.
Heat pumps are different than heat engines... I don't think Carnot efficiency applies. A heat pump can move several units of heat energy per input unit of electrical energy (thanks to awesome compressor / refrigerant / phase-change technology). ...They're >100% efficient.
You don't need to as `fennel` the compiler comes with it's own way to compile native binaries! Here's an example[0] from one of the maintainers. It even let's you require other Lua modules and will embed along with the executable.

[0]: https://git.sr.ht/~technomancy/fennel-http-example
One RCE bug in a codebase only one person actually knows really well… recipe for disaster.

It could happen. I’ve been coding more than three decades and I’ve read some real horror stories over the years.

If I were a luajit user, I’d be interested in trying to raise funding to get some more eyes on the source. It’s an engineering marvel, that’s incontestable, but it needs more coverage in case something happens. Even just to make room whenever Mike decides to retire.

I thought cloudflare and Kong would kick back to the community more, but that seems not to be the case.
I get annoyed when code I write spits out unexpected responses to input. Very annoyed. I can sometimes be heard shouting at my computer. It "pisses me off". I'll sometimes make pronouncements and conclusions before I investigate further.

Disgusting hubris.
Top comments should be cycled like they do with posts, but maybe give top voted comments 1 hour maximum then push next most-voted up, and repeat.
Correct Sketchpad Demo:

https://youtu.be/57wj8diYpgY?t=92
Count me as another long-time HN user who refuses on principle to play the My Pronouns game. Burn me at the proverbial stake if you will, or bring out the HR version of the portable guillotine—but I will never, ever knuckle under to the heresy hunters and virtue signallers.
Yes, any system that relies on a set of guardians to protect the masses from themselves has the strong potential to be tyranical.

Quis custodiet ipsos custodes.

The standard solution of course is to divide up power and create checks and balances amongst trusted groups.
Sound like ego death.

https://en.m.wikipedia.org/wiki/Ego_death
Thanks for the background information!
> This idea that the obscenely wealthy are going to come in and save us from ourselves, if only we can let them be in charge, is a tale as old as time, yet people keep believing it.

This sentence implies that we are being duped and should not let such people be in charge.

I’m wondering what GP would have us do instead. It’s unhelpful to make an observation about what someone should not do if it’s not obvious what would be better to do.
This is my exact method. Render Markdown into HTML, rsync up to the Caddy server.
My wife quit her teaching job once we had kids and hasn't looked back. Looking after children is a full time job in and of itself. Just because you aren't being paid by an employer doesn't mean you aren't doing something valuable. In fact, you could argue that the job of raising children is even more valuable. Sadly this option seems entirely over looked in these types of discussions.
If the constant delays and made-up ETAs weren’t enough to make you question PoS ever arriving — they should be, really — there are plenty of other reasons. There are a tonne of actors / influencers in the Eth space who do not want PoS to land for their own financial and political reasons.

Technical pitfalls and project stewardship can reasonably explain some delay — but years and years of it? And more than one statement that it’s just “months away?” The whole process has a fetid cloud hanging over it.
Indeed. The inspectors for still water puddles don't even need a warrant here.
You’d have twice as many carriers though, so would generally have a second carrier (or more) in the battle group.
I know the people working on Asahi Linux don’t have things perfect yet, but it runs on an M1 Air. That machine claims 18 hours of battery life (in some tests, MacOS) and gets 14.5-16.5 hours depending on who tests it.

The StarBook claims 10 and probably achieves less (everyone does).

The base specs are roughly comparable, except i3 vs M1 and the high resolution screen on the Mac.

The site is quoting me $883 vs $999.

Even ignoring the CPU difference, the battery life alone is probably worth the $100, let alone the display.

I understand the value some place on its openness, but it’s not even a medium sacrifice. It’s pretty big.
> mean cancel the cancel glorping or cancel the cancel.

Typing error, it should be

> mean cancel the glorping or cancel the cancel.
>Using US houses as an example is quite laughable, the energy consumptions of US households is much higher than German ones.

It's an extremely heterogeneous dataset, but a cursory analysis does not agree:

Germany: 136 kWh/m^2

https://bpie.eu/wp-content/uploads/2018/01/iBROAD_CountryFac...

US: 47000 Btu/ft^2 — because we like dumb units — 148 kWh/m^2

https://constructionphysics.substack.com/p/looking-at-energy...

That's a slight win for Germany, but it's not by much. For the most part, US houses are simply larger than German ones, which is where that energy use comes from. (US temperatures are also harsher, in both directions.)
I prefer Mercurial, and as a hobbyist I can afford to stay with it. I know Git has GitHub and all the connectivity of that, but I just truly dislike Git.
Take the one you already know! Time is your most precious resource. Use it to validate the business or build stuff, but don’t spend time learning new stuff.

Plus your goto stack sounds fine.
A nice idea in theory, but obviously it has limitations if we could have checks and balances written into the Constitution at the same time as chattel slavery.
Apologies everyone, the paper I was paper I was thinking of was ACM: "Cosmic Rays Don't Strike Twice" -- https://dl.acm.org/doi/pdf/10.1145/2248487.2150989

The point being that consumer grade memory is straight up error prone, and a bitflip isn't necessarily caused by "cosmic rays" but could just be like, a flaky DRAM chip, network card, etc.

If you are Mozilla it doesn't really matter what the source of bit flips are as much a good understanding of their prevalence and how it might impact your customer experience, telemetry, and even security.
Once a stockholder gets control of the majority of the stock he/she can do whatever they want short of fraud. Hence, if I control 50+% of the shares I can sell the company to anyone and take it private if that's what I want. The board would still need to approve it but as the controlling shareholder I can replace the board with members that will do what I want so they can't stop me. Again, I can't commit fraud but if I can justify it then I can do it. No minority stock holder can stop me.
First of all, this is clearly Lean not Coq (and certainly not “CoQ”). While the distinction is minor, it does cause me to question if you may have fallen victim to the Dunning–Kruger effect here. Perhaps I’m wrong, but it may be worth some self-evaluating.

Furthermore, I think you’re missing the forest for the trees here. My only real claim is that theorem proving and computation are two sides of the same coin. Either way you start with data, apply a sequence of established transforms to that data, and stop when you’ve reached an accept or reject state. The precise encoding of the input, transforms, and accept/reject states is unimportant.

That said, we do seem to agree that Euclid’s original formulation is not a “true” proof. As you mentioned, many mathematicians have found cause to go back over the same theorem using more formal methods. While it’s true that for this particular proof-by-intuition no faults have been found, that certainly does not generalize to all proofs by intuition, and as such it’d be far more appropriate to compare a complete traditional proof to the complete computer proof. If you were do do this I suspect you’d find them quite similar, as axiomatic computer proofs tend to use the exact same fundamentals as axiomatic pen and paper proofs.

Finally, your claim that theorem provers have never found significant faults in a famous conventionally proved result is shown incorrect by a simple Bing query. See https://www.math.sciences.univ-nantes.fr/~gouezel/articles/m.... While the overall result did hold, formal verification discovered a bone fide hole in the widely accepted, published, peer-reviewed, etc etc etc, paper. Plenty of other examples are available at https://mathoverflow.net/questions/291158/proofs-shown-to-be.... You also seem to be ignoring the fact that many theorems have only been proven via computational analysis.
Chronological order is the worst. It makes gaming the system easy by spamming as much as possible.
Can you imagine what would happen if Hyatt or Marriott started charging cleaning fees?

But Airbnb is a "tech" company. So anything goes.
The only thing I'd add is a CI/CD pipeline to make updating the VM easy. Maybe an Ansible playbook to better ensure the files get copied and that Caddy gets updated, if needed. All optional though.
Will that ever happen in the US? I cannot imagine it. A ton of companies will be out of business. A lot of our services will be forced to move to a paid model. I would love it but I can see Facebook and google, among others, spending a ton of money to fight it and essentially not let it happen.
> it originally referred to the mission rather than to the ship

That’s basically what I said.
I find it ironic that you can't reverse a mistake on a site dedicated to a software that is all about reversing mistakes.
Sure. But that’s the cost of good UX.
https://www.bloomberg.com/news/articles/2018-09-06/nimbys-do...
Yo. It’s chill. Moved up here from Southern California. I thought people were grinding but they are mostly chilling w/ their cushy office job. Pockets of innovation and fun but otherwise a lot of people working on the same thing.
https://www.youtube.com/watch?v=tybOi4hjZFQ
It's amazing.
Not parent.

In my case for a medical experiment that got published in PNAS.

WHM is the only thing I did. I’ll take a look at the book recommendations.
I have a blood pressure monitor at home and my values can go from 140/100 to 110/80 within pretty short time. It's completely insane to make a medication recommendation after only one blood pressure measurement.
It’s definitely easier from the implementer’s point of view. That doesn’t make the UX any better, though.
Should customers who have had a bad experience just not give any feedback then?

Github should be grateful for this feedback. I know that it takes effort to make your product or service better, but that doesn't mean that customers shouldn't ever say anything. Customers are telling Github how it can improve its service. Github can choose to listen to them, or not.

With some simple frontend changes, they can probably reduce accidental destructive changes to customer's accounts.

I think Github cut some corners here. I would much rather that repo stars were treated similar to how resources on other platforms are. If someone makes it private, then return 403 "repos is private"
I disagree, this is an objection that applies to this particular solution.

Its a global truth that corruption and tyranny is always a risk, but the amount of that risk varries with the solution proposed, and there are plenty of ways it could be mitigated to varrying degrees.
TSMC Expects $44B in Capex Despite Slowdown Concerns
Drones are reported to have been used to harass the vessel and keep its air defences distracted before the missiles were fired from a hidden battery near Odessa. At least two of the missiles are then reported to have struck the ship – causing a massive explosion and inferno as they are believed to have detonated one of Moskova’s exposed deckside missile tubes.

https://www.news.com.au/world/europe/sneaky-way-ukraine-dist...
Ask HN: I'm looking for a specific blog post about game programming, any help?
It's one of my all time favorite posts, but somehow I can't find it. My memory is hazy but if I had to paraphrase I'm pretty sure it started off something like this:

Every time I see a game with a changelog like this, I cringe:

Peasants who become queens no longer continue to beg for bread
Horses no longer stay frozen after entering and exiting the pause menu
NPCs no longer attempt to open doors that have been removed
Fixed bug where NPCs were unable to see in dark rooms even after lighting a candle.

What's happening here is that the game has a huge state, and different parts of the state are being modified all over the place. This means that when extending the state in part A, you need to understand the entire codebase to know every state update that now needs to be changed. What you need to do is centralize all the code that modifies the state into one giant function, and this function should takes an enum describing the thing that triggered the change and modify the state accordingly.

... I think it went something like that, anyway. Any help?
Hegel's Philosophy Sunburst Map
This is by far the most articulate and apt seven words I’ve read all day.
This is exactly what is prescribed in yoga. Very interesting.
I like the Touch Bar. Apple failed to realize people don't look at it
The problem is that the Touch Bar is not in my normal view when I'm inputting text or using applications where it is useful. So I never built the habit pattern of looking at the Touch Bar where it is most useful. It provides a lot of use, I just never noticed it.

Now I look at it a lot more and realize it's useful if the application developers built it correctly. Unfortunately, Apple doesn't promote how to use their software very well. It's just supposed to work. But when a new innovation changes the way you look at your computer, where your eyes move to, you have to deliberately tell a seasoned user to look there, to change their workflow. I never looked at the Touch Bar and I hated not having function keys. But now that I do use it a lot, I'm going to miss it I think, especially the volume and brightness controls. Long story short, Apple failed to properly change user's habit patterns by just hoping the change would work naturally, it doesn't.

All that said, I know the Touch Bar is a contentious subject, and people are going to post how much they hate it. But I really hope they think about how much they actually look at it for most applications. I will state that for VSCode I'd rather have function keys.
And it's pretty much guaranteed that some of the things we do regularly these days will be viewed as completely insane. My money is on sitting the whole day or commuting with the car.
I'm not sure why the drive-by, off-topic, gratuitous dig at vegans, as if you've decided they're a fair target, even in a comment instructing about kindness. I downvoted and flagged your comment for that. The HN guidelines apply regardless of your subject.
jokes on them; they're tethered to their parent's money for as long as they're alive. which means they never _really_ leave their roof.

No thanks.
A scientist, encountering evidence contradicting theory, thinks that's interesting...

MDs don't practice science; they apply science.
It changed with the “K”. The marketing teams decided that 4K sounded better than 2160p. This is all the more ridiculous as 4K usually means UHD where neither axis has 4000 pixels ( 3840 x 2160 ). In the industry I am in, this would be called 8 MP ( Megapixel ) instead.

After the popularity of 4K, somebody noticed that they could start calling 1080p 2K to make it sound better than 1080p. If you say 3 MP, does that sound even better? I mean, 3,000,000 is more then 2000 right?
His complaints seem applicable to almost any large org

As a tangent, I wonder if Microsoft HR can reasonable deduce who the author is through lexical analysis of the text/punctuation and breadth of his knowledge/access based on examples given
Seesh. defending name calling by saying the name is "accurate". I think i would use the word childish for trying to debate via name calling.
I kind of wonder - these are probably not very experienced neurologists....which if she went to research-heavy academic centers like MGH, it is not uncommon. They spend most of their time writing grants or studying rats in the lab. They know a lot about rats...but I recall a steady stream of misdiagnoses coming from that place, probably because their faculty only do something like 1 clinic day a month.
You can reach somewhat higher accelerations by making the center of the rotor thicker than the periphery, but you start getting into ridiculous ratios pretty quickly.

I don't think Quicklaunch would have to suffer significant barrel damage, maybe some fouling that can be cleaned off. The pressures and temperatures required are pretty low, and the required chemistries are pretty tame; it's just the velocities that are high.
Look at how media is aligned (talking points are successfully disseminated, dissent opinions are suppressed). Algorithms just help automate it.
Good Times with LMIC and an AdaFruit LoRaWAN Feather M0
It is a combination of both. IIT Kanpur, although still well renowned, does not have the same 'prestige' as it used to, having lost to IIT Bombay. It is also a matter of numbers: most top universities in India have class sizes of about 100, which makes it even more difficult in an environment where every Tom, Dick and Harry wants to pursue CS. To answer your question about the next ten years, I suppose the only institute that can potentially appear is IIIT-Hyderabad, although even that is highly doubtful. And yes, IITs are far, far ahead of nearly all engineering colleges in India, so far ahead of most institutes that it might be prudent just to take a gap year to prepare for JEE.
On Aug 21, 2018 Elon Musk Wrote
> It was expensive

Why not hire a mowing service? Also expensive, but it puts more velocity into the local economy, is much more efficient (all that lithium and plastic to be used for an hour once a week?), and frees up your valuable time.
git clone good
Which is why I used mistake, the context is blaming support for an engineering action. Support is purely reactive.