skysight-inc/HackerNews huggingface dataset:
Serious question. Putting aside all the stuff that basically make me feel like you are just calling me a moron and wasting my time: what do you disagree about? You keep treating the things I say like they are irrelevant jargon and not bothering to engage. Can you please try for a moment to explain why you think my argument that error in abstraction is useful is wrong by addressing the actual premises that are within that argument. Literally, address one of these claims:

1. Do you disagree with my claim that the runtime of learning algorithms depends depends on the graph size in both game theory and reinforcement learning problem formulations?

2. Do you disagree with my claim that abstraction reduces the number of states in the graph?

3. Do you disagree with my claim that since abstraction reduces the number of states in the graph the learning algorithms which run against them can complete more quickly because there are less states?

4. Do you disagree with my claim that algorithms which can compute a solution can have a better solution than algorithms which don't compute the solution?

5. Or if you don't disagree, can you admit that we agree on these things? Because when you just act like I'm not making any points it makes me feel like you are trolling me and being a jerk, not actually trying to talk to me.

I'm still just as convinced of the truth of the idea that it can be very wise to accept a bad abstraction, one that has error, rather than a perfect abstraction. I can't even fathom how to go about the opposite. How would a child go from knowing nothing to knowing everything perfectly without moving through areas of bad abstraction along the way?

Which numbered point do you feel is incoherent?
> My style of coding is to write a lot of slightly dodgy code in one breath, then use the typechecker to tell me all the things I got wrong.

That's exactly the style OCaml excels at.

> OCaml currently seems great for people who are better at getting it mostly-right first time

That's because they got it wrong a lot at first, then learned how to get it right. You've heard of people talking about how they internalized the Rust borrow checker's rules after some time, right? Well, internalizing a typechecker's inference rules works very similarly (faster if you read OP).

> I’ve seen a lot of OCaml code written by people with PhDs and backgrounds in type theory.

That's unfortunate, it's a nearly perfect language for industrial work. Tiny example of how easy it is to hack together useful tools with it: https://dev.to/yawaramin/practical-ocaml-314j#proof-of-conce...
Ultimately, if you are using the smartphone for a deliberate purpose, that's probably fine. Looking up a recipe, contacting a loved one, reading an ebook.

The problem is when you are just "on the phone", not really doing anything, not anything you planned to do, and not really getting anything done. Even this can be fine, as long as you go "I'd like to see whats on twitter for half an hour", rather than just opening things up and doing them because the algorithm pulls you in.
> so inevitably you get slight variations depending on what you need

If you have a generic collection, you know it's generic. It does remove a class of errors when you start adding types, but it also adds problems in making changes as a tradeoff. Now I have to make a PR that is the change I want AND I have to modify the type, which comes with explaining/understanding that there isn't a reason to use 2 different types or what the consequences would be to create a second generic collection from the first and modify THAT instead (eg lists with different types, how big are they?).

Never was a big problem using generic collections over the last 30 years and plenty of languages are fine without the training wheels of defining every data structure as a type, so I'm not sure what this ranting is all about.
You seem to have missed that I was asking a question.

I’m aware that low energy is a symptom of depression, but it doesn’t always render a person incapable of taking any of these steps.

I think that some people who are in a bad place don’t know that these ‘natural’ remedies can change someone’s brain chemistry as dramatically as drugs do. Perhaps knowing this can help provide the motivation to try.

Antidepressants can have some unpleasant side effects and can be hard to get off of, so it’s worth trying alternatives first imho. But of course the best solution depends on the person and their unique situation.
I guess, it was. MDN [1] lists `async` for Firefox 1 and Chrome 1, `defer` for Firefox 3.5.

[1] https://developer.mozilla.org/en-US/docs/Web/HTML/Element/sc...

In favor of the article, it has to mentioned that putting any script tags at the very end of documents was apparently taught in bootcamps, could be found in numerous tutorials, and was generally acknowledged. (There were even quite authoritative feelings about this. A few years ago you could have been downvoted for a comment like this. At least, I was.)
>There's simply no empirical evidence that you love your wife/mother

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2954158/

Cute quip, but wrong.
The mechanisms used to drive up nuke construction cost are well studied, but those don't touch on the motivation: corruption and graft.

Once construction is in full swing, a firehose of money begins to pour in. Completing the project on time and budget would cut off that influx. Nobody actually involved wants that ever to happen. (Anyway, not until the kids graduate college.) So, ways are found to extend the project and drive up cost.

Many of these are baked in at the start: any huge public-works project needs buy-in from numerous gatekeepers, each of whom demands something in exchange, a piece of the action. So, even the originally estimated cost has been inflated on their behalf. We see the same for urban tunnels and, often, bridges, and always in military procurement and, lately, manned spaceflight.

Solar and wind farm projects have been relatively free of such activity, so far. Partly this is because expected cost is easy to estimate: $X per unit, times Y units; and people involved might be more altruistic. But no doubt ways will be found, in time, to get hooks into those, maybe as installations get more complicated, e.g. stirring in storage and transmission.

The main thing enabling all this is that the corruption channels have been made wholly legal. There is no one to indict. When the nuke project is finally cancelled after $billions in overruns, nobody ever gets any of the money back.
I really loathe to read this.

I love the borrow checker, but I despise arbitrary complexity.

I feel that Rust is far more complicated than it needs to be, and that this is our 'first attempt' with borrowing and lifetimes, and that there is an 'easier way'.

Engineers love to solve problems, if we can solve the 'life time' issue, we 'feel' very accomplished. And I mean literally a 'feeling'.

We are not bound to business and customer success in the same way, and so we tend to value one issue over the other due to our instinct.

I'm still skeptical about the extra time being worth the added cost of development in so many cases.
Was running Oracle RDBMS for a department server with custom logistics software on Interactive from ca 1992/3. Was cheaper than SCO (let alone AIX and other Unix on proprietary systems which we were running for "big data" - a 857MB dual-port hard disk alone sets you back the price of a small car), and better IMO than the alternatives (OS/2 and NetWare 3) due to lack of integrated backup solutions alone. Unfortunately, the somewhat exotic driver for the EISA RAID controller wasn't 100% stable at first. AMA lol.
ITT: Bunch of nerds. Me too.
https://hotair.com/john-s-2/2022/06/16/flippy-the-robot-is-s...
>Of the important grains and/or cereals listed above...

I'm not sure what you meant to communicate with "and/or", but "and" would probably have sufficed.
The combination of being shallow and rhetorical.

Plenty of other comments arguing for the same opinion haven't been flagged.
> I'm looking for a way to have a searchable/filterable CSV file of 30k rows as a web app.

Can you expand on this? How would people express the searches and filters? SQL? or some other way?

Assuming SQL, all the work's done for you already! :D A single static page that serves sqlite3-in-wasm to the client browser, with, I donno, A text box to enter SQL queries and a file picker.
Here's a tale about bringing Unix V0 up on a recovered PDP-7 at the Living Computers Museum + Lab[0]. They logged in as 'dmr'.

[0] https://livingcomputers.org/Blog/Restoring-UNIX-v0-on-a-PDP-...
Well, that's an interesting question. If the public health dept wants to inspect a restaurant to make sure its hygiene standards are adequate, and the restaurant goes out of its way to try to delay or block such an inspection, should we lean towards:
a) The restaurant has something to hide and is therefore likely to have poor standards
or
b) It is irrational to hold ANY position on the hygiene standards of the restaurant, given the lack of dispositive data

?
Plugging old holes in wood – best practice? (2014)
And for millennia people died from contaminated food even when it was fermented. Fermenting isn't a perfect 'kill anything possibly toxic' preservation mechanism[1], and even non-toxic contamination of fermented foods can make it taste awful/inedible. Given 'modern microbiology and food hygiene practices', why would you not mitigate getting things you know are possibly an issue (like shit) into your food.

[1] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6356804/
It's like an episode of Rick & Morty
> You seem to have missed that I was asking a question.

No, I didn't. Your question presumes that doing such things are possible and they are likely not.

> I’m aware that low energy is a symptom of depression, but it doesn’t always render a person incapable of taking any of these steps.

You are misinformed. It often does.

> I think that some people who are in a bad place don’t know that these ‘natural’ remedies, especially when stacking them, can change someone’s mental state as powerfully as drugs do. Perhaps knowing this can help provide the motivation to try.

Yeah, this is harmful psuedo-scientific thinking. Yes, those things can change them, but again, your assumption is faulty. They cannot change them if they cannot be enacted, which depression often prevents from happening.

> Antidepressants can have some unpleasant side effects, so it’s worth trying alternatives first imho. But of course the best solution depends on the person and their unique situation.

Yeah, they're terrible. That doesn't make your suggestions useful or insightful.

Your posts amounts to "Have you tried not being depressed?" which is frankly insulting.

Not only that, but you insult their and everyone they know's intelligence by thinking you could be the first one to think of these basic things (the same things advertised everywhere.)
The printed book which could be shrunk to be carried in a pocket.

It was such a disruptive technology it lead to fake news plunging Europe into a century of wars and genocides: https://en.wikipedia.org/wiki/European_wars_of_religion
Socrates is famous for trolling Athens so hard they made him drink poison.
WoW had that really well figured out.

I remember when I played both that and FFIX. I'd spend 7 hours looking for a group in FF on a Saturday, get to the dungeon, wipe right away, level down and the group would disband. Logging on became more and more rare but wow wasn't punishing.
IMO, all these concerns about licensing ignore a pretty important fact: Copilot is (in most cases) no different from a human.

If I read the code for, I don't know, some GPL-3 library and then write my own MIT-licensed version--that's totally fine.

A programmer can read strictly licensed code and then use that knowledge to write their own non-strictly licensed code.

Copilot is not different from a human. It has knowledge & it uses it. It isn't copy-and-pasting (there are 1/2 edge cases where it is; but for the most part it's new ideas).

It's the same thing as saying "Dall-E 2 is plagiarizing art".

When I write a quicksort algorithm, I don't give any attribute to the code I saw for the algorithm in some random library.

Fundamentally, there's no real difference between Copilot and a human.
I've watched Copilot write crazy lodash one-liners that were clearly contextual to my code.

I think what is fundamentally happening here is that older people / people of the last generation are realizing that just as sys admin jobs / etc. are going away, soon many rote coding jobs will be taken away since Copilot will automate them. And that's fine, but it is producing backlash which comes in the form of licensing issues.

Basically, there's no difference between Copilot and Dall-E and it's pretty clear that Dall-E has no licensing issues, thus Copilot should also be in the clear.
And even the updates between 40-41-42 killed some extensions, especially shell related exts/themes.
I was talking about https://news.ycombinator.com/item?id=31823168, for example. We tend to shadowban new accounts that post like that, particularly when evidence suggests that they're linked to past abusive accounts.

Your recent submission https://news.ycombinator.com/item?id=31879076 was killed, but not because your account was banned. Rather it was because youtube.com submissions from new accounts get killed, because so many of those are spam. I've restored your submission now.
Same place on Android, incidentally.
Just to clarify myself also, I don't expect people to dedicate their personal hours to work. We have a standard work week of 35 hours at my company and we generally stick to that. I'm talking about people I have worked with that had successfully side projects that were earning them money and that they most definitely worked on during business hours and were basically just double-dipping.
PRINCE2 certification certainly made me a better PM.
Yes, the end of the document + `async` is probably still the way to go for analytics scripts and similar things. (`defer` will still block the initial render.)
No. Cost overruns are the whole point of the project, for many involved. Completion is unnecessary and, for many who have a say, undesirable.

This is one of the reasons SMR will not gain traction in the US. There is less scope for wholly-legal corruption. The main reason will be that nukes are among the most expensive methods known for generating power, and there is no way to cut cost enough to match better alternatives.
To your point, yes police should have a smaller scope than they do.
I have experience in commercial recycling and was about to post something with dim details, but this comment says what I was about to say roughly. It is hard to read comments from people with good intentions but zero experience in commercial recycling. Single-stream versus household sort is one of the most basic choices of any municipal recycling program. Every operation has waste, flaws and mistakes, single stream or not.

Excellent human sorting as you find in Japan or Switzerland is rare. Of course it is desirable. Pre-sorted inputs are not perfect in those jurisdictions, and rare in most other places.

The comment above lauds the technology here and I agree. Sorting a recycling line is a terrible kind of job for the majority of adults, and economics make the implementation worse in many cases. De-facto, it is the handicapped, children, prisoners and starving people that sort trash in most of the world. 1st world machinery with the right economics are an improvement in almost all cases, especially where food waste might be involved.
Ah yes, it doesn't require the escapes that I pasted above.

awk '{a[$1"_p"$2]++;}END{ for(it in a){print it,a[it]}}'
They do use eddy currents for metal sorting. Take some of your home recycling to a recycler instead of leaving it on the bin. It's worth going once just to see the small scale solution. Get yourself a bag of soda cans and throw a couple soup cans in there. Not the cleanest place you'll ever be, so don't wear your nice shoes and prep for some odors, but better than some.

When I was a child I saw one system that expected all aluminum that just used an electromagnet to lift any steel out of the stream. That was quite a ways up in the air so I suspect the owner would have gotten pretty pissed if we threw a bunch of nails or soup cans in the bag for fun. But most of the other ones I've seen have two conveyors with a gap, and they use an AC magnet to fling the aluminum onto the second conveyor (via eddy currents). Most of the ferrous stuff just drops into the first bin, or funnels off to be sorted again.

For your plastic or glass suggestion, that may take breaking it up first, since large items might not lift or go in weird directions. And then some plastics are pretty dense. I have the vaguest notion that I might have seen a system that sorts plastic from glass while washing it, since the glass sinks and some plastics don't, but that could have been a prototype or a misfiring neuron for all I can remember.
https://xkcd.com/1338/
Huh, i figured you could actually just implement `Copy` yourself (ie on the SimpleString). Can you not for this? Now you have me curious hah
> and some respond to treatment

> much if at all

Same same.

I’ve spoken to more doctors in the past 5 months than I can count on my hands. The conclusion from all of them is that this is biological depression caused by the pregnancy which medicine most likely won’t help, which is also hindered by the fact she’s pregnant and that limits the available treatment. And this is different to, and quote “neurological” depression happening in the brain which would need constant treatment, so we can only manage the anxiety and bide our time till delivery day.

What you’re saying is that the doctors and the stuff I’ve read is wrong and medical science doesn’t know what they are taking about.
Dune has its quirks but it's pretty good at its job. The community is standardizing on it and every time someone pops up on the forum asking for help with weird issues because they didn't use dune, I think they're just making thing hard on themselves for very little benefit.
Parallels run a similar thin wrapper on top of the OS-provided VM API which looks somewhat like: vm = createVM([device list]); vmWindow = createVMWindow(vm); vm.run();
'Becoming familiar with Rust, is one of the main benefits of learning Rust'

The problem is that we seem to believe there is something 'inherent' about the way Rust solves these problems, and that by doing so with Rust lifetimes, we solve some kind of inherent issue in software.

This makes us believe that Rust = Value in some ways which I believe is wrong.

Rust is only 'one way' - and it may be far more complicated than it needs to be and in many cases more complicated than it is worth.

I feel that Rust may be an experiment, our 'first attempt' at advanced compile time safety, like it's a kind of C++ whereas the Java/C# of memory safety will happen once we've ingested all of these lessons.

Funny I feel that with Rust 'There's a much smaller and clearer language struggling to come out' like what Stroustrup said about C++.
Mozilla is shutting down its Ideas platform and creating Mozilla Connect instead
Okay, maybe (i disagree, but w/e) - but the point is for learning.

You'd have a difficult time learning Rust with Go, hah.
Thanks for this, that's amazing.

It's also amazing that it's still working, assuming it wasn't radiation hardened and all.
Do you have a source for this? I had always read the change in pin-out was initiated after Motorola went legal.
Airbnb guests mean that separating recyclable items at the home doesn't work, you just end up with some incorrect stuff in every recycling bin.
Try to find the source in your linked GitHub. Just wonder what a gopher site look like. Can’t be javascript :-).

Btw one of the memory of gopher is 2 way links. Is that a must ?
The same that happened to self driving car. Fogezy Fogazy.
The robot have not been deployed because they are not ready and do not exist.
When we teach software were starting with 'functions' 'variables' and 'algorithms' not specific kinds of programming.
I wonder if it's really about being hard, or just a matter of budget.
I think it is harder than just blowing them with air… different plastics have to be recycled in different ways. The number in the recycle arrows tells you what it is and how (or if) you can recycle it (see https://www.thoughtco.com/recycling-different-types-of-plast...). I don’t believe these plastics can be sorted by density or level of wind resistance.
Your second paragraph: could it not be summarised as "fantasy" and thus sci-fi Vs fantasy?
I say “it doesn’t always”. You reply “it often does”.

Seems like you’re just looking to argue.

Frankly, I don’t really care whether you find my question or my suggestions useful. They weren’t meant for you.
As an Australian, I hadn't really heard the term "wild bees". We call them native bees, following our usual pattern of distinguishing native animals from exotics/introduced species.
You doubt that FF14 has over taken WOW 2 years ago? Wow continues to lose players. Wow is down to like 15m and FF14 is up to around 24m.

At its peak wow dwarfs every mmorpg in history tho.
You just went from requiring one bit of code to requiring another. I.e. Does every Linux distro and Mac and Windows come with ssconvert?
It may be nonsense, but not because of that argument, since one could say the same about nearly any disadvantaged group.
If we want to be exact, Captain America isn't even a hero story. It is WWII propaganda. There is no end to the epic, just a constant stream of new nazi dragons to slay. The hero never develops after the origin story, which makes it perfect for episodic comic books.
> to the benefit of a few sophisticated retail investors

theta gang representative

anybody sell straddles or condors on meme stocks when implied volatility was at 500%?

it was pretty amusing that IV stayed elevated for months, and the vast majority of that time the market was flat, showing that nobody understood meme stock traders but expected a move at any point in time. plenty of time for spread sellers to make a lot of money, in silence.
Speaking an an ex-LCAC crew member: if you happen to be in San Diego at the right time ACU-5 usually has a day or two where they show them to the public every year. You can search it out. ACU-4 on the east coast may as well but I’m not as sure. NBU-7 in Japan may but it’s not a regular thing, and the Japanese LCACs aren’t really shown to the public.

Can’t speak to others.
Those jobs were not lost to automation bur to outsourcing due to cheap labor from china/east. The future is very simple. Without efficient supply chains, those jobs will return back to the US/Mexico.
You mean that you don't count teachers teaching from home as day care providers?
Big, Boxy 5-over-1 Apartment Buildings Are Our Rental Future
There is no known gene which causes ADHD.

Like all other conditions in the DSM, there is no objective biological diagnostic criteria