skysight-inc/HackerNews huggingface dataset:
There's a problem in the teaching of monads that containers are the easiest ones to explain, but also the least interesting in practice :)

>To make monads interesting you have to show specific instances of monads like Maybe.

While individual monads are useful by themselves, the _concept_ of ‘monad’ is only interesting once you can generalize over it. If you can't write (interesting) code that's generic over an interface, there's not much point in doing the work to generalize from the specific instances of that interface. But part of why monads are interesting is that it turns out a lot of natural ‘sequential’ code that one might write in a procedural language actually generalizes naturally to an arbitrary monad, in ways that make the resulting code drastically (even unintuitively, for someone used to thinking in terms procedural code just meaning single-valued strictly-ordered sequencing) more powerful.

I think to me the idea that talking about monads as monads is only useful once you can generalize over monads, and HKTs are necessary to effectively generalize over monads (‘effectively’ meaning without undue cognitive or syntactic load), is a much more likely explanation than the slightly uncharitable one that people are pulling in HKTs as a smokescreen for bloviation.

> In some cases you need to depart from monadic purity pretty quickly to get useful behavior

One of the main motivations for introducing the monad interface to semantics, and thence to programming, is that notions like stateful, multivalued, or asynchronous execution that are ‘impure’ (i.e. outside the model) when considering a program as a function (Scott semantics) can in fact be reasoned about in a ‘pure’ way by adding a monad to the codomain of the function. So things like `Promise` are not ‘departing from monadic purity’, they're good and true examples of upstanding monads :) Even ‘naughty’ monads like Haskell's `IO` can notionally be thought of as pure — the fact that the interpretation of the monad is done by a magical external runtime and not by pure functional code that passes the world around is more an artefact of the external code of the OS/computer you're running on, and you can think of it as a sort of implementation detail/performance optimization.

> "area under the curve" or "inverse of differentiation" are way better as they have immediate utility and operate in the context of what the learner already most likely knows.

Fully agree with you there, but you don't then try to explain algebraic topology in terms of the area under the curve. You can (and generally should!) start from a point the reader is already familiar with, but it's a perfectly defensible decision to go from there on a path through intermediate concepts that make explaining the target notion easier, rather than throwing the reader straight into the deep end. Of course the choice of how long or short the path should be (and therefore how big the jumps one expects the reader to make) is a decision that is the writer's responsibility.
Implementing "nested inline markup" in reStructuredText and Sphinx
> but because brilliance isn’t the most important factor in innovation

I suspect having at least moderately wealthy parents is a huge factor. I'm sure a lot of potentially great scientists died unknown for absence of those.
- MIT license

- Streamlined and powerful web interface

- File-based structure: "won't kidnap your compose files"

- Web terminal & live logs

I'm trying it as an alternative to Portainer and I'm loving it. It seems to fit perfectly in my flow.

Code and more info: https://github.com/louislam/uptime-kuma

(Not affiliated, just a happy user)
Yeah, I mostly meant law enforcement. I probably couldn't reskill at this point anyways. I had a couple security courses including a forensics course in grad school. But it seems most places want people to be experts and don't offer any training. Things like CISSP don't seem to have very good hands-on training.
Forum threads inherently have better searchability, because conversations are split into separate pages, with a clear subject/title, and usually a description of what the thread is about at the beginning of the page.

In theory IRC logs could be organized appropriately. But that would require some kind of curation, either manual or via AI, that doesn't really happen in practice, even when irc logs are published.
At least there would be an integrated payment system that works for microtransactions. Maybe we wouldn't have had the adweb.
All apartments above 2 or 3 stories need two sets of staircases and everywhere else its 6-stories.
There are some good ideas in here.

Personally I’ve abandoned all of my complex attempts at productivity and knowledge systems and have recently moved to the ever reliable txt file. You can format it however you want, use fun ascii art, or just plain paragraphs.

I’ve got a daily.txt where I prepend a new days section every day and put in whatever I want over the course of the day. I also create other files for courses I’m going through or projects as needed. The nice thing is using my editor I can make a file reference and hit gf and it’ll go right to a referenced file. But this “system” will keep on working regardless of what tools or system I happen to be using.
> 1.1221 Sometimes the primary tool is not available. An “always-on” secondary should take its place.

> 1.1222 Sometimes log from different tools or locations need to be “merged”, “persisted”.

These two are the main reasons I've stuck with Google Docs: It's available everywhere, and everything's always in-sync. Google already has all my info of value, so the incremental trust necessary to the threshold of log visibility is minimal.

I'll add one more requirement: I don't want to leave an unencrypted on-disk footprint containing my notes. This means I can access the entirety of my notes on any machine and the only thing I have to worry about is keylogging/screenscraping.

Google Doc is lacking in many respects, though. Linkability is nonexistent. Docs longer than 100 pages really struggle with latency on mobile. Searchability is bad (!) because you have to open the doc first to see the matches from within.

Really wish there was a self-hosted alternative with sync and encrypted storage that didn't result in sync errors. I've tried DEVONthink, Obsidian, LogSeq, Google Keep, Notion, NotesNook, GoodNotes, Samsung Notes, Loop, OneNote, Apple Notes, Org Mode, plain text files, and probably a dozen others... I'd say NotesNook is the best so far, with DEVONthink a close second, but, nothing beats the reliability, omnipresence and privacy of Google Docs.
People can afford beachfront houses often have friends in high places.
I think that if you were reading my comment charitably you could infer that I meant "under all conditions where a car is legally allowed to operate." I don't think you actually believed that I was saying that a truck should have the capability to drive on the road when a roadway is not legal to drive on.
Sorry but we all left during the 2008-2015 era. If anything the recent economic boom that Lx and Porto are seeing are making it appealing to come back.

Having said that, I agree that tourism and the golden visa have completely screwed up the housing market and that needs some fixing. But the fix should come with salaries catching up with the housing bubble and Portugal finally being able to compete H2H with the rest of Europe in terms of attracting talent
Thanks. Can you please elaborate on the specs of your computer?

I am planning to buy a mac mini (January 2023) M2 3.49 GHz - SSD 256 GB - 8GB.
you have to consider that in the black market the rates would absorb the illegality of the action. while 5k is 'clean'
Not satire.

People deciding to drive while sleepy doesn't mean it isn't scary to do so (in fact it's horrifying). People definitely make illogical decisions. Being afraid while driving isn't even necessarily a logical decision. It's just an emotion we feel. But I know I feel it and a lot of others do too.
As I understand it, the notion of falsifiability is really more like, "Theory X is acceptable if it can be shown to be false by the use of tools whose principles meet the same standard of falsifiability, even if those tools aren't currently available."

So a theory that can be tested only with later scientific refinements -- say, by increasing measurement precision beyond what's currently available -- is indeed eligible to be classified as science. That criterion would allow for Newtonian mechanics to be accepted in its time, and for things like string theory to be accepted provisionally in ours.

Basically, the ultimate failure of the Newtonian model can't be used as an argument that it should never have been considered valid science.
Vanna.ai: Chat with your SQL database
The title comes across a bit clickbaity.
>trucks run in fleets and on routes

Makes me wonder if it would be more efficient to run trucks as "convoys", maybe consisting of competing companies along predetermined routes. And you could have an ultralight canary car go an appropriate distance along the front to ensure that in the worse case, it is the one that crashes.
OK. CLS Bank was in 2014.

103 is about obviousness. 101 is about patentable subject matter. I actually had an application rejected on 101 grounds after CLS Bank.
I don't find it particularly surprising. D uses a garbage collector while C, C++ and Rust do not. D's GC can be disabled but that isn't that useful when most D code including the standard library until just a few years ago were not written with that in mind.

D is much more closely a competitor of C# than it is C++. D has a few nice features like advanced compile time programming but the actual nuts and bolts that Staff engineering management looks isn't really solid. D's GC is a design straight out of the 80's. Dmd has good compiler throughout but code quality isn't very good. Ldc is much better but compile times are much longer.

Adopting languages at FAANG beyond a single team just yolo deploying them to production requires integrating dozens of engineering systems for everything from post mortem debugging to live profiling to authentication systems. The cost to do this is in the order of tens of millions of dollars.

D just isn't suitable as a C or C++ replacement in the places that actually require it and the cost to enable it in large companies isn't worth it for the incremental improvement it does offer in some areas.
My approach saves more energy. This one has the camera continuously running and feeding light to the sensor or film.

Mine is just taking a picture once per day.
Thanks for posting this. Currently building out something that is consolidating events from numerous sources and then automatically processing of those.

This post helped to give me some additional ideas on the processing of those events.
> A1C represents the long-term glycation of hemoglobin due to blood sugar exposure.

You're not measuring HbA1C in real-time; you're measuring the blood sugar in real-time.

HbA1C is a lagging indicator, used because it's a convenient and non-invasive diagnostic and a summary statistic. It's not the way you measure the short-term or medium-term effectiveness of interventions.
There should be a public register of people who chose to work at these companies, for the irony.
Careful, depending on who you ask there's 40 different definitions of the term. Any given mind, natural or artificial, may well pass some of these without passing all of them.
This assumes you have the vertical height to stack them. In Europe the utility connection points are usually in a kitchen or utility room under a cupboard, with a counter top on top and more storage above that.

(e.g. this kind of arrangement: https://external-content.duckduckgo.com/iu/?u=https%3A%2F%2F... )
Young people suffering “Internet's worst horrors”? You mean the social network services?

Those exploitative weepy articles about content moderation are just multi-layered hypocrisy.

First of all, it is supposed that people are somehow entitled to “good experiences”, and the arbitrary (and moving) cultural boundary between “suitable” and “unsuitable” is as unquestionable as if it was God-given, when in fact, it's just a feature of an entertainment direct-to-screen service available to those from the luckier parts of the world/society. Others deal with the feces for them, as shown here.

Then there's the hypocrisy of the reader, who enjoys the thrills articles like those give, but also enjoys the service too much to stop, and leave the system of exploitation. Like, “It's so awful, so awful, but I need my daily dose of filtered cat pictures, so you're gonna get that sad dickpick spam in my stead. It's just the world we live in! The algorithm makes me continue doing that!”, etc.

Then there's the talk about values, correctness, and so on, but those decisions are not even personal in the first place. The “SFW” facade is not supported by some die-hard conservatives in power, it is just a business requirement. Say, breastfeeding is considered “problematic” not because of some “clash of cultures”, or “gender conflict”, or “religious opposition”, but because you can't use someone's body in that context to hold advertisements, as stated in contracts. Now go hide yourself in a ditch somewhere, don't spoil our pretty picture. Money happens to be religion here (what an original thought).

Some time ago, people naively believed in the future that eliminates travails and death, now we pretend really hard that the “future” is now, and build all kinds of media and social contraptions to make someone else do the “dirty” work (real or “emotional”).
That insurance not cheap.
Man, I need to talk to you! Lol

My wife and I have been thinking about trying to leave America for the last few years but it’s objectively difficult to find a place that’s conducive to moving. How do most people you interact with do it? Also, why are you on HackerNews of all places?
personal anecdote:

schools already spend too much time with disruptive students

the fight is trying not to be bad

trying to be good is another story
Author here. the shorter reaction times you mentioned are collected under ideal conditions, like the person knows they are being tested and only needs to push a button or whatever. In driving, the reaction time is end to end, including perception, decision-making, and actuation (moving your foot, pressing pedal all the way, shifting, etc.)

Also recommend checking out the citation. It is an accepted value used in American highway design.
Cookie consent popups, "subscribe to our newsletter" popups
Unless you're using them just to sound smart or official, when there's a simpler word that means the same thing.
Ah yes, trust, the very thing that lead to the 2008 crash. You people have too much faith in the status quo.
Despite the video saying that we'll never have full self driving cars (I pretty much agree,) let's assume that it is possible. I think we'd end up with such stringent controls on the technologies, way more than industries like the Boeing and other aircraft manufacturers have to deal with and that FSD would never scale up to present day automobile use.
No support really. Maybe a couple friends to bitch to. Not much time to myself that isn’t spent on chores and stuff considering my wife works my off hours.
Wow, I'd love to witness something like that one day. My circle doesn't include a lot of these people, and maybe that in itself is part of the more general problem.
Rejecting an assertion because you don't like it's conclusion is pretty specious. I fully endorse the notion that any practice which makes unfalsifiable claims is not science. But that doesn't necessarily make such a practice pseudo science -- this is a false dichotomy. There are disciplines which are neither scientific nor pseudo-scientific.
> but I really don't feel like society will accept anything other than trucks / vehicles that are able to operate under all conditions

Trucks are different because they're just for transportation of goods. As challenging weather arrives they can just wait at the nearest rest stop, pull over on the shoulder, etc.

Your shipping will be delayed, but outside of that I don't think society will care. Totally acceptable as long as weather delays only last as long as a storm does.

That's different from rideshare where people do expect to be able to call a Waymo even if it's snowing lightly.
This observation holds a lesson for cycling advocates in other countries, I think. My happy experiences of cycling in Copenhagen are only partially due to the reasonably good infrastructure. The care that drivers take (thus producing the stress S above notes) is also a big part. Good infrastructure together with careless drivers doesn't deliver a good cycling experience.

Also one of the things autonomy tech could deliver is better driving aids to ease some of that stress (it's not a slam dunk because it is easy to create driving aids that present a false sense of security).
Nice that should make it much easier for ChatGPT to access that information and make it so that humans aren’t needed at all!
HA is extremely modular and add-ons like these tend to be API based.

For example, the whisper speech to text integration calls an API for whisper, which doesn't have to be on the same server as HA. I run HA on a Pi 4 and have whisper running in docker on my NUC-based Plex server. This does require manual configuration but isn't that hard once you understand it.
While extra time for EV charging is annoying, when using a gasoline car you still have to stop every two hours to pee, stretch your legs, and swap drivers. Sitting in an enclosed space for hours on end increases the risk of blood clots. So the actual increase in stopped time is e.g. 30 min to L3 charge to 80% minus the 15 min for a restroom/gasoline/coffee break multiplied by number of stops. So an hour lost per day.
Aame, I'm willing to pay for just the Ad free YouTube, without the tie up to YouTube Music.
Jesuits have much more rigor. Quakers have much more integrity.
The LLC can get a mortgage with you as the personal guarantor. The house is the security anyway.

Then your name is only on the address in the bank’s records, provided you appoint a different manager of the LLC (the corporate records for managers, but not beneficial owners, is public).
I live here and have rented vehicles across pretty much all brands and have never seen a car where the front passenger airbag can't be turned off. In fact there are ~identical regulatory stickers on the passenger sun shade warning that the passenger airbag needs to be turned off when a rear facing car seat is used in the passenger seat.
Many fond memories from using ISDN, but there was also some frustration. How far you were from the Central Office played a critical role on whether you could get ISDN and I was at the limit. Ended up switching equipment more than once trying to find the perfect device that could deal with whatever signal issues came from being around 15,000 wire feet from the CO.

Haven't seen much mentioned about it but as I recall ISDN was also symmetrical vs analog modems which had a small back channel. Equal upload speed made it easy to keep up with sites that enforced a sharing ratio.

ISDN also exposed the call setup information sort of like caller ID did on analog lines, but it came over the control channel instead of between ring one and ring two on a Plain Old Telephone Service (POTS) line. Some ISDN devices had call handling that was pretty sophisticated - a precursor to Asterix and like software/customer managed PBXs. The upshot was you could screen and reject calls prior to their tying up one of your channels. And if you did want to take a voice call, you could take one channel down and still have a 64k network connection going while your wife used the other to talk to her sister. Huge wife acceptance factor vs "Don't pick up the phone, I'm using the computer!"
Trucks operating in fleet on the same route are called "the railway". That's what that your driverless fixed route trucks will have to compete with.
So it's OK to have more deaths so long as we can punish someone with no expectation that doing so will fix the problem? I suspect you are right, but I don't think it reflects well on us.
Monero is always clean, too.
Electro-capacitive boards (EC) could also do this, with the caveat that EC switches in general are tactile rather than linear as most hall-effect (HE) switches are.

When it comes to QMK, it seems that there is a greater number of EC keyboard projects out there. Some examples below.

For a MIDI device, I imagine an ortholinear boards may be the best layout. Unfortunately there isn't much out there for EC ortholinear boards. A group buy for a 47-key EC ortho board ran a few years ago, but the price was an outrageous $500-600:

https://www.ashkeebs.com/product/conundrum/

More recently, a handful of QMK-compatible EC PCBs have popped up on AliExpress. Unfortunately, I haven't been able to locate the actual QMK firmware source for them. Perhaps in the minds of the creators, it is simply enough to provide VIAL compatibility for user customization. The drawback here is it does not expose the necessary feedback for velocity:

https://www.aliexpress.us/item/3256806073672667.html

https://www.aliexpress.us/item/3256806010654548.html

https://www.aliexpress.us/item/3256806009306496.html

https://www.aliexpress.us/item/3256805431878689.html
You can see the domain(youtube.com) in gray on the right which tells you it's a video. The title is very clickbait ("because of one rule").
Because that's not a power of the Federal government as enumerated in the Constitution.
There should be a "robot road" which is autonomous driven cars only. There are so many reasons to support this. Robot cars and humans do not belong on the same roads yet.
Nausea can also be a result of not having a safe, regulated source of psychedelics. You always end up having to trust some dude (or gal), and not all of them produce product in the same way or to the same standard of quality. If I could buy LSD from the store, then I wouldn't have to worry about getting an upset stomach due to impurities.
Autonomous driving vehicles advocates are as ignorant of reality as are those thinking ai will replace competent programmers.

The trick in driving is not straight lines and clear weather. It’s rainy, snowy, foggy, conditions that make it challenging. Edges cases are the real difficulty, as with everything.

I suppose when your knowledge of the world is limited by a few multiplayer notepad interactions everything is simple.
What do you count as a "minor accident" that requires battery repair or replacement?
Don’t let your cats outside was the advice my vet gave me. They’re an invasive predator and their lifespan faces threats from human activity. Indoor cats live longer healthier lives.

If you can modify your house to have a fancy cat door you should just go all the way and build a catio.
I'll bite I guess. I use Calibre pretty regularly. I think a general way to put it is that it's not for "casuals". To understand a lot of the functionality outside of the basic inventory management stuff, you have to be a little bit of an enthusiast. For some examples: You have to know about different ereaders and their formats and how they differ, the differences between metadata sources, and dozens and dozens of configuration options if you're trying to convert a book to work well on your device.

Also, there's definitely something "off" when it comes to using it intuitively. I have to devote a lot of brain power to searching for functionality AND trying to comprehend exactly how those pieces of functionality are going to affect my library data.

Maybe it's too powerful of a tool up front or something. It could benefit from a "basic view" maybe?

None of these are complaints from me, I'm a happy user. I'll just echo some other commenters in wishing for a more robust network interface (whether that's just an API, or a more hashed out front end). I'd like to easily share my library with people or just other devices while on-the-go, and Calibre has all the device formatting functionality built-in.