skysight-inc/HackerNews huggingface dataset:
If you're actually tired enough to sleep for 15 hours a day then you need it and you'll be much more productive in the remaining 9 hours if you do it. If this condition persists more than say a couple of weeks (if you have some severe sleep debt) then see a doctor.

If you mean lying in bed awake but not really doing anything, then (a) thinking is doing something, (ii) if you're not thinking and just moping then there's a reason why you are depressed and it's not simply that you are just lazy. Right now, the political climate is a big one for a lot of people. And (3) maybe you just haven't stumbled on the right inspiration yet. It's random. Give it time. Go and do some stuff that seems kinda interesting, in the meantime.

I've been in a similar state for several months; I've done some stuff but nothing that exciting. Attending FOSDEM for the first time this year inspired me to join a hackerspace, and to read the code of some open source projects to learn how they work. Some days I stay in bed most of the day or just graze YouTube whether in bed or not (and I hate that after the fact). Some days I want to do something so I do it.
Both the Washington Post and the Wall Street Journal censor their own news, so I suppose this is news that they've done the work and effort reporting on that they deem not worth knowing. A bit of a (deadweight) loss.
Amazing documentary about the around the world flight (4 parts on YouTube).

There are so many crazy parts to the flight. Just consider the takeoff where the wingtips were scraping the runway and one winglet fell off. Also that Rutan and Yeager just broke up and still did the flight together! The documentaey also has great 90s vibes.

https://youtu.be/MYW6X46qWG0?si=nft-iNsY2WisL7qZ
The USA is the richest country precisely because many people have been made poor in a zero-sum way.
I bought a Cisco 4321 from Newegg once. It ran, but had a weird Chinese sticker on it. Otherwise totally looked 100% legit, ran ios (albeit an old version).

It ran at like 98% cpu utilization constantly but worked, after a few years it just started reboot looping every day, then eventually every hour.

Wtf - Cisco wouldn’t even admit it was a fake, they in fact wouldn’t tell me anything unless I bought a support plan from them
I've found the DX of Dafny to be very approachable. The VSCode extension is pretty great, and you get feedback as you type. Also, its ability to give you counter examples in the IDE is really nice.
Yeah. https://hackernoon.com/llms-dont-understand-negation
Would it suffice to require either AM or satellite radio? We never buy satellite radio subscriptions, but our decade old car has an antenna, and I assume many newer cars do as well. As long as people know how to use them to tune into emergency channels (I don’t!), it might suffice for EVs.
Direct link to their website:

https://revolt.chat/
This is a very fair comment, and you seem open to understanding why types are useful.

"problems that are due to typing" is a very difficult thing to unpack because types can mean _so_ many things.

Static types are absolutely useless (and, really, a net negative) if you're not using them well.

Types don't help if you don't spend the time modeling with the type system. You can use the type system to your advantage to prevent invalid states from being represented _at all_.

As an example, consider a music player that keeps track of the current song and the current position in the song.

If you model this naively you might do something like: https://gist.github.com/shepherdjerred/d0f57c99bfd69cf9eada4...

In the example above you _are_ using types. It might not be obvious that some of these issues can be solved with stronger types, that is, you might say that "You rarely see problems that are due to typing".

Here's an example where the type system can give you a lot more safety: https://gist.github.com/shepherdjerred/0976bc9d86f0a19a75757...

You'll notice that this kind of safety is pretty limited. If you're going to write a music app, you'll probably need API calls, local storage, URL routes, etc.

TypeScript's typechecking ends at the "boundaries" of the type system, e.g. it cannot automatically typecheck your fetch or localStorage calls return the correct types. If you're casting, you're bypassing the type systems and making it worthless. Runtime type checking libraries like Zod [0] can take care of this for you and are able to typecheck at the boundaries of your app so that the type system can work _extremely_ well.

[0]: https://zod.dev/ note: I mentioned Zod because I like it. There are _many_ similar libraries.
Maybe someone can explain why the modulation scheme matters, instead of the frequency range. AM less sensitive to phase noise? Or is it that AM radio typically means some frequency range?
i don't understand why the difference between tag and branch matters? why should i merge a tag and not the branch head?

as a maintainer, why should i have to make the effort of merging a contribution myself, instead of asking the contributor to make sure that their changes can be cleanly merged?

i agree that merging upstream before they merge me seems odd, but that suggests that rebasing is the only way to go. or how else can i ensure that my code can be merged cleanly without creating extra work for the maintainer?
You mean like the 10’s of thousands of exurb Californians who all the sudden found themselves in ‘high risk urban-wildland fire zones’ after the recent wildfires?

Or who found themselves above a fault that no one previously knew about?

It’s not theoretical. [https://www.latimes.com/business/story/2021-09-26/california...]
"Laziest" — you misspelled concise, right? Or I guess you meant succinct.
You'll probably enjoy the Ted Dabney Experience Podcast:

https://www.teddabneyexperience.com/
modulation does not matter for range. however FM requires a greater signal strength to convey the information. if you are trying for distance, AM works with less recovered signal.

exclusive of digital modes, the most distance effective signal is CW. unmodulated signal, on or off.
It’s not AM causing interference in EVs. It’s EVs causing interference in their AM radios.
Surprised no one has suggested Emacs + org-mode yet. Not that I am -- I use QOwnNotes.
The mirror is the easy part. In fact, it was finished years ago - just not coated.
Indeed: https://frich.no/wood-hotel-by-frich-s
Digital Telecommunication in HF band - WWWAN - World-Wide Wireless Area Network
“UPS” is the wrong search term. Buying a “UPS” gets you 1990-era tech for cleanly powering down a computer if the power fails or riding through a brown-out. You’re looking for an off-grid system or a hybrid system or a portable power station. A company like Ecoflow will happily sell you one for $600 or so that will power a perfectly nice induction stove at full blast for half an hour. (You don’t need full blast for very long to cook most meals — this is good for quite a lot of cooking.) Throw in a single solar panel and a patch of sun and it will keep you cooking indefinitely.

Impulse Labs would like to sell you a really nice 4-pan stove with a built in battery that will ride through a decently long outage.
The real time map mentioned in article:
https://www.sas.org.uk/water-quality/sewage-pollution-alerts...

(crazy, TIL)
I guess the argument is that they can maintain their dominance being able to buy all the defaults for that are for sale but this presumes that Google is the only one who can capitalize on being the default to the degree that they do. Either that or Google is taking a huge loss on them and making it up other ways that can only happen with market dominance but that's also pretty sus.
Being an AZ resident, this map is hilarious as it skips out the ~100 mile distance between Chandler and Tucson.

Tucson is more well known for optics, but more focused on space science than on use in silicon fabs.
https://engineering.linkedin.com/distributed-systems/log-wha...
This is basically that Treehouse of Horror episode of the Simpsons where the ads go on a crazy rampage and to defeat them all you have to do is "just don't look"
They were getting huge chunks, verbatim of NYT articles out. I remember being stunned. Then I remember finding out there was some sort of trick to it that made it seem sillier.
is AI the future of learning?
What do you think the personalized AI tutor everybody gets hyped about will actually look like or do? Do we have the capability already? is it even possible?
Uranium being a recent example
Why can they call it the "American Diabetes Association" is a pretty easy question. The First Amendment.

Part of the First is that the government cannot ban you from using a word unless there is a very good reason do so. "American" is a word that is not associated exclusively with the government, nor was it ever used that way historically. In fact, the word "American" predates the US Government.

Since the word does not now, nor has it ever, implied governmental affiliation, it would be illegal for the US Government to attempt to obtain a monopoly on the word by banning others from using it.
Cloud Copyleft
Could someone from Azure, Google Cloud, AWS, Cloudflare etc. explain if the company by default allows them to use for instance GPL2 & 3 or LGPL to develop proprietary products to run their saas-paas-iaas?
So they skip AGPL, but use all other GPL code and live happily?
Dolce et decorum est

https://www.poetryfoundation.org/poems/46560/dulce-et-decoru...
"[A]ll the low hanging fruit have been plucked" from these trees.

In a complex, highly multi-dimensional space, yes, there's always a hill to incrementally climb. There are other hills.

Incrementalism gets you necessary data; but not necessarily insight.

EDIT Of course, following up an idea is work.
I loved the green on black, it was very nice to read and didn't seem too ugly to me. But I am an engineer, not an HR person.
Thanks! I love it, ++using the extruded steel posts commonly used for street signs
1. I’m not a public sector worker, weird assumption.

2. I advocate for private sector to unionize as well. I’m not the one who brought up Janus/private sector.

3. You’re telling me people with important jobs (private or public) shouldn’t be able to strike to improve the very services we all depend on? Hospital workers striking for better patient ratios? Teachers for their students?

Taking away those freedoms is wrong and dangerous.
Well humans have been in the Americas and shaping the environment for a long time , so, you’re probably right?
Where I live we have signs up all over the place near the mountains that tell you to tune into a specific AM station when flashing for avalanche/weather information. I understand wanting to move past some technologies but we are not going to be able to revamp our entire avalanche system _tomorrow_.

Most people I know do not have a short-wave radio, let alone one capable of receiving at 162Mhz.
This is wonderful but I guess what I'm saying is: whether I'm jobbing 24 hours a week like I do now, or 55 hours like I used to, or zero hours, I spend all the remaining time in pure frivolity (what he calls passive pleasures).

Modern civilization's cult of efficiency combined with the ease of frivolous entertainment must have beaten the leisure out of me.
But we don’t usually count the decompression program size when evaluating compression ratio. Eg 7-Zip is about 1 MB, but you don’t think about that when evaluating particular 7z files.
Show HN: Client-side webapp to transform PDF to SVG using mupdf.js
I thought it was the spark itself.
This works great on my Pixel 6a, surprisingly.
This post is an act of treason.

Auckland: Has a motorway network that would allow the city to evacuate within a few days.

Taupo: was a long time a go and has some good hot water now because of it.

Wellington: it would be mostly the bureaucratic class to go

Christchurch: yes, there is still remnants of an earthquake 13 years gone but you get used to the marine vibe with the shipping containers, a little bit of Lyttelton vibe in the big smoke.

As for the ozone, we can hardly be blamed for that. And our most dangerous animal has been eaten to extinction, I would suggest Australians start down the list and do the same.
Oh hey, that's my post!

Note that I did a fairly extensive update to it in 2022 to cover React 18.
Hmm. Versus Apple II/III, detached keyboard, built-in display, and mouse.

I also like "Imagine two posters next fall, the first appearing In retail dealers and Sears"
AM radio over IP (AMoIP)
Fruit-bearing plants aren't edible for the sake of whoever is eating them, but for the sake of the plant itself. The animals consuming the fruit are used as a vessel for spreading the seeds.

By being edible, tasty and nutritious, the likelihood of an animal eating the fruit and spreading the seeds is increased, and so both the animal and the plant wins.
This is the way.

Always separate the truth state from everything derived.

Especially the UI. Ideally have a single "render" method that updates your complete UI from the application state.
They are not providing actual service - just price comparisons across different providers. Why is contact us page missing a concern here?
It's a language family [1] deriving from a hypothetical shared root language and population, with hypothesised religion [2]. Abrahamic religions' origins, like the Semitic languages they're associated with, are not Indo-European.

[1] https://en.wikipedia.org/wiki/Indo-European_languages

[2] https://en.wikipedia.org/wiki/Proto-Indo-European_mythology
That was the reason?? With something like that I would have assumed it was mainly Apple worrying that big developers might start getting wise-guy ideas like shipping games on the web to avoid the ol’ 30% racket.
SEQUOIA: Exact Llama2-70B on an RTX4090 with half-second per-token latency
what is a Stability AI way?
I guess the workaround would be that it only lets you tune AM while stopped. Ridiculous on the surface, but for receiving emergency information, pulling over first isn't entirely out of the question.
Brother of Burt Rutan, designer of X Prize winning SpaceShipOne.

https://en.m.wikipedia.org/wiki/Burt_Rutan
The theme that folk tales are ancient is key to the collection of folklore compiled by Idries Shah, World Tales:

<https://en.wikipedia.org/wiki/World_Tales>

I had the good fortune to be gifted this as a child. The book itself is a treasure, both verbally and visually (the Harcourt Brace Jovanovich commissioned illustrations specifically for the collection). But the real staying power is returning again and again to the stories, and recognising that these are ... not archetypes, but ... I'm struggling to find the right word, perhaps examplars of a type or class.

This struck me a few years ago as I was re-familiarising myself with Greek and Roman mythology, and as I was reading of Pyramis and Thisbe realised "hey, this is Romeo and Juliet!" Sure enough, that seems to be a fairly well-established connection. And the idea that far older primordial tales have reached us, often through multiple paths and variations, seems highly probable.

There's also the notion of a period in such traditions made their way from oral to written traditions, often in the context of urbanisation and the establishment of empires. This has strong relations to what's called the Axial Age, roughly 800-200 BCE, in which the great cultures of Western (Greek), Indian (Hindu), and Chinese (Confucian), amongst others, theologies and philosophies emerged. Whilst oral traditions can transmit information over generations, it's often lossy and inexact. Writing has as both a strength and curse the property of fixing ideas in a specific representation (though subject to its own agents of change and decay), as famously feared by Socrates in Plato's "Phaedrus". The concerns seem quaint to us, largely because we're in the world those influences created. Socrates was speaking from the Before Times. A condition we might apply to ourselves on occasion as well.
why does ycombinator invest in companies that will compete against each other, isn’t that a conflict of interest
Sounds like an excuse he made up to stop you changing the radio station
But, did Intel skip EUV entirely, or did it finally start buying EUV machines?
> order preventing Google from entering into deals that give the company's search engine preferential treatment on iOS, Android, and the FireFox browser

That would likely be the end of Firefox.
It's important to be able to get quick feedback on ideas and work. That's partly the role of the teacher, and it should be the role of the hypotherical AI tutor.
Panera Bread has apparently discontinued their Pumpkin Muffin.

Now, like everyone, it’s routine today for the Autumn sky to darken as pumpkin season begins and we get everything pumpkin from cereal to coffee to toothpaste and motor oil.

However, Paneras pumpkin muffin was not seasonal, but a staple. And now it’s gone.

I’m betting the mustache twisting, stove piped hat capitalists in the smoke filled room of leather chairs and warmed snifters didn’t decide to stop making the muffins in order to lose money.

And they were REALLY GOOD pumpkin muffins.
> ancilliary companies

any pertinent examples? r.g. schools for workers families ?
We would if it’s a multi-gigabyte program the receiver doesn’t have installed.
When I was working at one of the UK’s high street fashion brands we used to regularly get told to make the contact form non functional during periods of high traffic, just an FYI.
I can only imagine how bizarre you must find those comments where someone has convinced themselves that "capitalism doesn't let us have nice things."

I remember in which direction people were trying to escape across the iron curtain.
Mozilla submitted a declaration to that effect, and Google mentioned it repeatedly. Google argued that once Microsoft set the precedent that Internet Explorer was free, browsers lost the ability to monetize except by selling default status in their search bar (or being subsidized by a larger platform).

Courts are understandably wary of micromanaging companies' behavior, so this is not so much a legal argument as much as it is a "beware of unintended consequences" argument.
> you don't need to understand aerodynamics to build a quadcopter

Or fly one.
FM uses 10 times the bandwidth and conveys more audio frequency range within it's signal than an AM one. FM has the benefit that building antenna gain is relatively easy so the Total Power Output of FM transmitters is often lower than for AM transmitters. You can generally expect to get 100kW Effective Radiated Power with only 20kW of input.

AM uses a significantly lower frequency and ground wave propagation is much more likely which gives AM the benefit of being able to reach "over the horizon" where FM simply cannot.
Ghosts in the Machine 2 [video]
I'm in the tech industry and I support this.

You can receive AM with very simple receivers. The cost of adding one to a car is miniscule, and it works when other more complex systems don't.

Not only emergency broadcasts but things like https://en.wikipedia.org/wiki/Travelers%27_information_stati... make it important to have a working AM radio in your car.
The capitalist lackeys and running dogs at the EPA won't let me buy a Trabant car with a two-stroke engine.
So what are you looking for, an RDP session with an attached GPU?
would you mind sharing how exactly? could be something i could use but i don't think I'll be using typinator but wanted to understand the process better
> its only reasonable to assume something additional

No it's not, just like it wasn't reasonable to posit something more was needed to explain the difference between living and non-living matter. See the history of vitalism. Making assumptions that aren't strictly necessary to explain evidence is almost never warranted.
Partially true - capitalism will give you what you choose through your actual behavior of making a purchase rather than what you say you prefer or wish you preferred. I bought LED lights for my house back when they were $30/bulb and few people even talked about CFLs. My reason? I am super lazy about changing lightbulbs, especially in inconvenient places like a fixture in the middle of a staircase. Many years later I sold the house with original set of lights still working. I am similarly lazy about cleaning up glass shards from floor or dishwasher, but this one will not help, when it shatters it shatters into a bigger mess. Anyway, if consumers started to demand durability, market would respond, but most want pretty glasses at low price. No economic system is a match for human stupidity and on the other hand very smart people would make any economic system work by modifying it to be practical (add some social safety net and environmental protection to capitalism, turn socialism into hybrid system that also includes free market).
Jobs and co. no doubt took inspiration from Xerox PARC but I think the narrative that they just copied the Alto or the Star is a bit ahistorical and does the Macintosh team a disservice. If you sit down with each of them, it quickly becomes apparent just how much work went into making the Macintosh’s iteration of the GUI friendly and intuitive compared to Xerox’s drafts - to say nothing of the accomplishment of squeezing it into a desktop micro.
That's not why outsourcing created devastation.

The issue without outsourcing is that the benefits are widespread (lower prices!) but the drawbacks are concentrated (factory town is now a hellhole). And our political system is incapable of redistributing correctly even though the net effect is highly positive.

The seminal study on the topic is the "China shock" paper from Autor et Al.:

https://www.nber.org/papers/w21906
SLS only started in 2011. If SpaceX learned anything from it, it was not much and it was after they'd proven themselves. Starship has been quite from-scratch outside of the engines.
We own and operate 40+ data center GPUs (v100s, a100s, and ax000s) in a private cluster and use vast to rent unused capacity.

What would make you better than vast is extremely easy spot leasing and job prioritization.

I want to be able to have one of our training jobs finish, and then have the capacity immediately transition to a lease. With vast, we are renting in week long blocks.
I wasn't implying anything. Because your use of the word "people" left the context very vague, I was just cautiously trying to not speak in your name when discussing the people who are pushing me to teach students how to use chatgpt.

With respect to deterring teaching I totally agree that we should go for it. There are ways to mitigate the value of cheating and ways to promote the value of learning, both of which are deterrents. Personally I like having lots of small tasks that build and follow on one another. If the student is working and trying to learn it makes sense and we get to reinforce the high level skills that matter. If the student is cheating it should become increasingly harder to keep a consistent story.

However if we turn this into a cop and robbers game that's what we're going to get.

As for the focus on GPA I think that the tide is turning. Employers need to find an alternative that doesn't eat their time.

And yes universities are rackets and aren't good value employers. They don't even offer job security anymore.
is this flow of dollars tracked anywhere
For anyone interested in making their own gorlla glass…

https://youtube.com/watch?v=y02AXdec1sE