skysight-inc/HackerNews huggingface dataset:
I hope that's the last straw needed to switch away from this unprofessional registrar run from a basement.
https://archive.is/hlka0
Rethinking Diabetes – interview with Gary Taubes
> If nothing else, it can offset electricity costs a little.

If they can get them to be affordable to offset the electricity costs, but I'm skeptical of this happening for a really long time.
It's a bit disingenuous to pretend like they're the same thing. Explicit design for threaded discussion encourages a different style of communication than design primarily intended for real-time chat. Even if the information exists somewhere in Discord/Slack, it's often harder to find, harder to link to, provides less context, requires login and access to a specific community, isn't indexed by search engines, etc.
Good point, also not convinced while following the topic. I also received an APL manual from an economist using APL in the 70/80s. It was a gift.

Regarding interesting programming paradigms I am biased toward SMTs and things alike where you just specify your problem and a solution and tests are generated. Not saying that you can build a big part of a system using logic now but I think will be evolving to more areas of expertise in the future. In a way, from a software engineer point of view, I see AI in the same vein: a black box that could produce interesting results for speeding up software development.
Awesome write-up - especially the fact that you've gotten it working with good performance locally. It certainly requires a little bit more hardware than your typical home assistant, but I think this will change over time :)

I've been working on this problem in an academic setting for the past year or so [1]. We built a very similar system in a lab at UT Austin and did a user study (demo here https://youtu.be/ZX_sc_EloKU). We brought a bunch of different people in and had them interact with the LLM home assistant without any constraints on their command structure. We wanted to see how these systems might choke in a more general setting when deployed to a broader base of users (beyond the hobbyist/hacker community currently playing with them).

Big takeaways there: we need a way to do long-term user and context personalization. This is both a matter of knowing an individual's preferences better, but also having a system that can reason with better sensitivity to the limitations of different devices. To give an example, the system might turn on a cleaning robot if you say "the dog made a mess in the living room" -- impressive, but in practice this will hurt more than it helps because the robot can't actually clean up that type of mess.

[1] https://arxiv.org/abs/2305.09802
I agree heavily as a casual ebook reader. If Calibre had a team of designers I think it would be extremely popular and widespread. Its not very intuitive and the UI/UX is quite bad. It suffers the curse of all powerful applications in that regard.

I am going to try and use it again today and see if I can get used to it. It really is fantastic for a free product especially for a power user.
Goodreader comes close (ios)
AI-powered search engine Perplexity AI, now valued at $520M, raises $73.6M
I am not sure that’s a good comparison, as you got no immediate visceral value from wearing a mask, whereas presumably you will from this fantastical device.

Even among the most concerned populations there was a sense that a mask wasn’t going to help you in a significant and specific way, more at a population level. And in more than half the US at least it was seen as absolute bullshit.
Yes, I'm currently doing market research to understand what people seek in counseling. From my personal experience as a counseling service user, I've found that existing services often don't cater to my specific needs. Traditional counseling is primarily designed for illnesses and severe mental issues. What about taking care of people's mental well-being, not illness? In our fast-changing society with significant technological advances, we have increasing demand and also encounter new challenges in our daily lives. For example, older generations may not experience the anxiety caused by FOMO, which is an emotional response to social media. Many people have shared their experiences of how to deal with their mental well-being with or without using counseling, which is very helpful. So, I'm here to listen and learn from your experiences :)
Much stronger than even downshifting imho.
I believe you're being downvoted because you missed the point of the comment you're replying to, which is not (necessarily) trying to imply the convention is that X+ means exactly "more than X" (i.e. >X). You're right that "X or more" (>= X) is an acceptable interpretation. This is not what the comment is nitpicking.

The page we're discussing lists PyCon talks next to the number of viewers. It writes "X or more viewers" as +X; this does not follow any variant of this "convention". It's as if you wrote that you are +30 years old, instead of 30+. The problem is the placement of the +. That's just weird/incorrect.
Well you heard it here first folks, that’s a wrap. Once you finish your portion of tearing up the roads and knocking down the houses please proceed to the nearest thanatorium and enjoy the last show. Better to go now with dignity than to just wait out the inevitable here.
You're in Texas I realize that it can get cold (chilly) but not really that cold. I wouldn't think you need to be resorting to MREs and other kind of food stuffs especially if you have a generator that can run your refrigerator for the time the power is out. You should be able to eat largely a normal diet unless you realize solely on a microwave and frozen dinners for your food. A propane grill means that you should be able to cook nearly everything you would in a kitchen. A charcoal or Wood grill would work as well just cook outside it's not that cold.

Through most of human history people cooked over fire.
If you're building an application that depends heavily on networking for either its performance or reliability, then yes, you are better off rewriting those components and taking on ownership of hardening them to satisfy your requirements than you are relying on someone else that doesn't know your use case and has no incentive to making it work well making sure it works well for you.

HTTP is fairly trivial as well; if you're afraid of little things like that, you'll never deliver best-in-class software.
> ... now Coq's getting renamed

Oh, didn't know that they are working on this.

https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-ro...
and, of course, https://news.ycombinator.com/item?id=38779480

069-coq-roadmap.md? Oh, you!

So now we've got Rocq and Roc https://www.roc-lang.org/
I’d wager that someone who learns English as a second language has a better technical understanding of the language than the average native speaker, even if they don’t sound as natural speaking it.
On a king bed that’s more difficult because the dimensions are close enough to be within tolerances for most sheets, but with a big enough gap that when you get to the last corner it will be right.

The last two sets of sheets I’ve had have a tag in one corner which I use to orient them. I’m not actually sure if I’ve chosen the right corner, but I know they fit that way.

The issue I’ve run into since getting a foam mattress is they are at least 50% thicker than spring mattresses and the flat sheet cannot be tucked into both sides at the same time. Expensive sheets by hipster companies, cheap overstock sheets from TJ Max and great hotel style sheets all have failed to make it across the bed with one side tucked in.
Nothing bulletproof about shutting down your whole account for 1 complaint for a proxy service, which Njalla isn't even hosting.

A mainstream provider will handle this better.
The article makes clear that the block end time is not unspecified or undetermined, rather it should be immediate, as the queue still has data.
I think all of what they said is true and I trivially found sources for all their claims. Try harder next time
Which data does Optery require, and what makes them better?

Ex: photo ID, SSN, all past addresses, online handles, family member details

Do they keep these forever? So many companies eventually get hacked.
> - bitcoin is a scam

That what you said, please don't put words into my mouth. My only point is that bitcoin (or crypto in general) would make a horrible currency if widely adopted. And it has nothing to do with any technical limitations related to bitcoin, extremely deflationary tokens just make a horrible currency (unless no growth, deflation and a permanent economic depression).

> Your substantive and well-reasoned argument

It certainly wasn't intended to be perceived as such.

(trying to make well-reasoned arguments when arguing with quasi-religious fanatics is a waste of time.. ).
imo 10M revenue falls firmly within the lifestyle business category.
True. But imo it is up to the country to decide if they think military service is a social duty, so, whatever. The idea that "taxes are all there is" is... Missing cultural relativism, I guess.

Ofc, caveat, if it's rich people deciding poor people have to do service, then yeah that's messed up. But kind of a separate issue.
It's bad enough that some audiophiles make it a point to not talk about being an audiophile because they don't want to be the associated with that foolishness.
Doesn't change the fact it isn't always obvious.
IncogNet if you want a similar "we own it for you and let you manage it" service.
I’m a 30-something who lives in the big city so I haven’t had a car since the 2003 Volvo S60 I had in high school.

I always said I’d probably get a car when I could get an electric one in middle age, and it looks like that day may be coming up in the next few years, but I’ll be damned if I’m ever going to buy something with a touch screen and mics that are tracking my every move.

For anyone more in touch with the current car market than I am, is there even a single option for a full electric, or even a plug-in hybrid, without a touch screen and internet connection? I do not give a single fuck about infotainment systems, I’ll gladly plug my phone into an aux cable and call it a day.
reminds me of that site 'experts-exchange.com' which was a pre-StackOverflow login-only forum that nonetheless used to top Google search results. HN would have hated it. I'm surprised Discord gets a pass here.
I think we are talking across each other.

(1) You are correct that I have not read the docs or discovered everything there is. I have had HA for a few weeks now. I am figuring stuff out. I am finding the learning curve to be steep.

(2) However, I don't think you understand the level of usability and integration I'm suggesting. For most users, "read the docs" or "there's a github repo somewhere" is no longer a sufficient answer. That worked fine for 1996-era Linux. In 2023, this needs to be integrated into the user interface, and you need discoverability and on-ramps. This means actually treating developers as customers. Take a walk through Micro:bit and MakeCode to understand what a smooth on-ramp looks like. Or the Scratch ecosystem.

This contrasts with the macho "for someone who has more than enough self-proclaimed skills, this should be a very understandable system" -- no, it is not a very understandable system for me. Say what you will about my skills, that means it will also not be an understandable system for most e.g. kids and families.

That said, if you're correct, a lot of this may just be a question of relatively surface user-interface stuff, configuration and providing good in-line documentation.

(3) Skills are not universal. A martial artist might be a great athlete, but unless you're Kareem Abdul-Jabbar, that doesn't make you a great basketball player. My skills do include (1) designing educational experiences for kids; and (2) many semesters of graduate-level coursework on control theory.

That's very different from being fluid at e.g. managing docker containers, which I know next to nothing about. My experience trying to add things to HA has not been positive. I spent a lot of time trying to add extensions which would show me a Zigbee connectivity map to debug some connectivity issues. None worked. I eventually found a page which told me this was already in the system *shrug*. I still don't know why the ones I installed didn't work, or where to get started debugging.

For me, that was harder than doing a root-locus plot, implementing a system identification, designing a lag or lead compensator, or running the Bode obstacle course.

Seriously. If I went into HA, and there was a Python console with clear documentation and examples, this would be built. That's my particular skills, but a userbase brings very diverse other skills.
Amiga and C64 Forever 10 Plus Edition – Special Bundle Offer
Do you feel similarly if someone says they used an iterative, recursive, or greedy algorithm?

Dynamic programming is a whole chapter in most algorithms books. It's not about showing off, it's the name of the technique.
This is how we do it with our King size cover. It's more of a struggle given the sizes of everything involved, but the inside-out method is the best I've used so far.
I recently wrote a blog post about how I think WasmCloud is very close to this with the new component model. They use IDL instead of language constructs to specify boundaries. Pros and cons of either

https://blog.rockwotj.com/musings-on-kubecon-wasmday-2023
The de scale is just a timer.

After x hours of operation, the light will go on.
Widespread, I guess in completely new construction maybe. AT&T in particular has proven they care nearly not at all to roll out their fiber product to residential, even when they were still stubbornly doing FTTN out of cheapness.

I’m still sad that Google pulled the plug on investment in Google Fiber. The only thing that could possibly have egged American telcos on enough to build a real network.
In dynamic programming, the problem can be solved by solving subproblems, and those subproblems are solved by solving subsubproblems, and there is overlap between these subproblems. This allows us to solve DP problems in two ways, either by recursion with memoization or by iterative table filling.

Although the shortest path problem has some kind of "optimal substructure", the recursive memoized approach doesn't work because there's no set order in which the subproblems can be solved. Instead, you need to compute the shortest paths in order of shortest path length, and the shortest path lengths aren't given ahead of time - those are exactly what Dijkstra's algorithm computes!

It's not enough to call it dynamic programming that "the shortest path must be the shortest path through one of its neighbors", because this fact doesn't immediately lead to an acyclic subproblem dependency graph.

Shortest path on an acyclic graph, and longest path on an acyclic graph, are two problems that can be solved with dynamic programming - but Dijkstra's algorithms solves shortest paths on a different class of graphs that doesn't lend itself to DP.
Glad you didn't quit :)

But as I mention:

> Please note these are suggestions for when you might need to re-evaluate, not indications that you’ve failed.
Maybe the data is sold from some of the apps on our smartphones. Also, pretty sure most of the payment providers folk e-shops use on their checkouts sell the data to Google (and I am dead certain Google were bragging about knowing about almost any transaction which happens on the on the web). That is a part in the chain which not even most online shops would even be aware of.
They are clearly not resilient. They serve no purpose to the market.
Any tips or tools for doing this manually, for the top 10 brokers? That's what I was expecting from the headline. (Did I miss it?)
'Community' members tend to evangelize the product on social media, so you can understand why a lot of apps beg you to join the Discord.
why not use docker build -q instead of that silly sha parsing?
WEAV Wiki: "An early prototype of the WEAV was able to sustain hovering flight a few millimeters above the ground for approximately 3 minutes."

Yeah, I'm not convinced, chief. Especially when considering how far back flying saucers have been sighted prior to this whelming research.
You're probably right that the first would have been more accurate.
Didn’t realize, thanks for the link.
Wow, I don't think I'll be doing business with Njalla then.

I've always wanted to own my domain anonymously and considered moving it to Njalla, but the idea that they could evaporate and I'd lose control of my domain forever put me off. Now I have another reason.
You are obligated if you don't wanna seem like a flake. Or if you do quit a startup after 3 months, then at least have a good excuse, and don't make it a regular thing.
I am so over getting ads for Ubuntu Pro at login, through apt, and anywhere else they might decide to put them.

Fedora has really been making some great strides over the last decade or so.

After disagreeing with some decisions Canonical/Ubuntu were making, I have been a happy user since 2013 (Fedora 20). Recently started contributing as a package maintainer and quite frankly, Asahi Linux choosing to base on Fedora has just caused me to double down on it being a good call.
This https://news.ycombinator.com/item?id=38990879 thread has some info about why you might want to care at least a little
I had a friend in college who worked part-time at a shop that sold and installed audiophile gear. He was a music engineering major, so he was aware of how much of what they sold was snake oil. Example: a 3-foot RCA cable that sold for several thousand dollars. The jacks were gold-plated. Not just with ordinary gold, but "special" gold. From a particular mine in South Africa. He told me once "If I ever sell that cable, I don't know how I'll live with myself."

One time he and another guy had just completed an installation in a very wealthy customer's home. Hundreds of thousands of dollars on an ultra-high-end amplifier, CD player, speakers, etc. He started playing one of the customer's CDs on the systems. The customer went on and on, lavishing praise at how "warm" and "crisp" his music sounded on the new system. Suddenly my friend's co-worker leaned over and whispered, "Do you hear that?..." My friend knew exactly what he was referring to: they had accidently wired the speakers out of phase.
Another deletion service I like that the article didn't list: <https://www.kanary.com/>
The advice is excessive and idealistic. But otherwise, I think the default screen resolutions render text too small. On my laptop, I prefer the scaled resolution of 1024x640, compared to the default 1280x800. Other settings I use is increasing display contrast and making use of display color filters (filter: color tint; intensity: max; color: red).
Extra fun to make a loop English -> Foreign language -> English -> ...
Both chat & forum have their uses: you help specific person (interactive ephemeral back-n-forth in the moment) in chat.
While a forum (/stackoverflow) is oriented more to future readers from google (asynchronous updatable reusable info).

Mixing both produces conflicting goals and disappointment due to wrong expectations (e.g., it happens with StackOverflow when some expect it to be the former rather than the latter).
As many as you need.
The person you’re replying to is the opposite of people who see an alien spacecraft in every picture of a balloon. He’s just observing, correctly, that the burden of proof is on those making extraordinary claims, and they usually fail.
Not huge locomotives, more of them. BNSF regularly operates trains that carry nearly 1,000 containers at about 10,000 feet length on the transcon. I believe the configuration is three front, four center, three rear.
There's an important distinction between what Meta is doing here and other types of low wage work such as clothes manufacturing. We have to consider where the work lies on the spectrum of voluntary vs coercive. The problem with Meta's gore content moderation job is that the people signing up for it didn't know what they were getting themselves into. Or if they did, they weren't aware of the long term health consequences (but Meta surely were). So it's closer to coercive than voluntary. Meta were abusing the information asymmetry. If Meta gave each new hire a dossier outlining how bad the health impacts will be before the contract is signed, then I wouldn't have a problem with it, because anyone who signs up knows what they're getting into. But Meta doesn't do that. They obscure this for new hires in order to exploit the information asymmetry.
Audiophilia is one of those things I very intentionally steered clear of as a teenager. It didn't seem well advised to get into a hobby that will eventually cost me thousands of dollars to get serious about. Nevertheless, I'm glad there's a market out there of people pushing the envelope which eventually makes next year's Skullcandies better on the margin.
Didn't Google showcase this feature a couple years ago? ofc it's Google, so who knows if it ever got into production.
Podman Desktop sees a lot of increased use in the last few months and the PM has spoken with many of our 'customers' about the future and how they are using podman.

Disclaimer: working at Red Hat as a (tech) manager of the OpenShift Local team, involved on the virtualization targets for Podman Machine and the integration of some of our extensions.
I am now disappointed that my Ikea duvet covers, purchased in Denmark, don't have three holes.

The article claims this is normal in the Nordic countries. Is it normal in Sweden, with Ikea being the exception?
You're wrong about that last bit. Kindles still don't support just dropping an ePub into their storage -- you have to convert to a supported format first, either manually (or through Calibre), or by using the Send to Kindle service to get them into your Amazon library. Said service only started supporting ePubs itself in late 2022, also.
That is incorrectly reported.
Pixel buds and phone let you do this for face to face conversations, but I don't know how well it works: https://www.technologyreview.com/technology/babel-fish-earbu...
It's a question of diet and exercise.
Thank you for your cooking therapy :) Similarly, I like cleaning dishes LOL Cleaning dishes can be a therapeutic activity as well, providing a sense of order/clarity and helping unclutter the mind.
A slightly different form of deadlock detector can still be really useful for portions of the system that are not unbounded network IO. I agree that predicting forward progress from in-memory state like Haskell seems to be doing is more or less useless in the presence of IO. But you can instead use some measure of forward progress and a simple long timeout (like 10-60 seconds) to empirically determine the system is stalled.

E.g., you might reasonably implement timeouts on slow network clients or otherwise have a way to idle them, so it is still a problem if the system does not make forward progress in 10 seconds or whatever. Or if your service manages all access to disk, you can expect bounded IO from disks that have not failed. Then you can take some debugging action (development) or maybe restart the service (prod) or some combination of the above when a deadlock is detected in an empirical way (no forward progress in a time period).
Well said and composed analysis. I think you have a clear grasp on authorial intent. Thank you.
That’s not even the half of it. They have to deal with people with kidney stones and some of the treatments for that are NSFL
The TenaciousD?
My 2006 car stereo has been dead for several years, my current infotainment is a JBL portable speaker via Bluetooth.
Most people in many parts of the world kill their own animals especially in large parts of Asia (ie the Middle East), South America and Africa
The thing I miss the most after switching from Samsung to Redmi phone is the One Hand Plus app that Samsung has on their galaxy phones. It was really a treat and a productivity boost. Don't know much about their other software offerings.