skysight-inc/HackerNews huggingface dataset:
> I think I figured out that count(2) is from itertools?

It is. Itertools is a masterpiece of a module. It has a lot of functions that operate on iterators and will work both on standard iterables (lists, tuples, dicts, range(), count() etc.) and on your own generators. It forms a sort of "iterator algebra" that makes working with them very easy.

> I think you could simplify the rest like so:

Sounds good, but with a caveat: you do need to call "del" at the end for memory deallocation purposes. The garbage collector isn't smart enough to know you won't be using those dictionary entries any longer. Technically the code still works, but keeping everything in memory defeats the purpose of writing a generator.
You created an account just for this comment?
There is also this site, https://x.company, which is a division of Google / Alphabet... It will be very confusing...
> "Satz mit X, war wohl nix."

Google translate: “Sentence with X was probably nothing.“
I think we are on the right of the bell curve with our kids discipline (healthy eating, little screen time) but the picture you paint sounds miserable.

A sparse environment, no TV, simple toys, denying gifts from grandparents isn’t something noble.

Of course don’t let them eat cookies before dinner and sit on iPads all day, but there has to be some balance for everyone’s enjoyment and sanity.
Horses and Humans: Ancient Bond
It's not advocating censorship to call for platforms (& co) to combat hate speech.

Can you link to anything that actually backs up that claim of yours?
Did 'Oppenheimer' Insult the Bhagavad Gita?
Attribution is not about personalization. It's about proving to advertisement customers that their ads were seen and were useful.
This still involves a big privacy breach. But it will not

"blast you with ads that attack your deepest weaknesses, all under the pretense of "personalization"."

Instead it will tell advertisers how effective their blast was, and help argue that Google isn't defrauding them.
So, his pitch is: It is like X for X? For some reason, I like that.
The splitting of hairs between “open” and “advertised” is ridiculous. It’s the users who had their passwords stolen, not the hotspot.

A better analogy is:

I leave my door open with a welcome sign out the front.

Two people enter.

One of them picks the pocket of the other.

And then the thief blames the guy who told him about the open door in the first place.
There is a big difference between planned obsolescence and support periods.

As long as a device can be repaired by the owner as much as practical and allows aftermarket operating systems or software to be installed on it, I don't see why a company should have unlimited liability for something they sold.

If they made it so you are dependent on them though, then yeah, they should remain responsible.
Shameless plug for the Rehype plugin [1] I wrote based on Starry Night [2]. If you're interested in syntax highlighting like GitHub or customize it with CSS properties (for example, to support multiple themes), this is one solution.

[1] https://github.com/Microflash/rehype-starry-night

[2] https://github.com/wooorm/starry-night
> after retirement, with their pension

I don't know what dollars of pension are involved here, but the dude is currently 54, so when he was doing this training he was 44, which is 20 years away from retirement age. He served from 1989 to 2002. What's the pension he'd be earning from 13 years of work?

I'd also be guessing that no longer being a US citizen would probably mean the pension = $0 (which is a choice, of course).

> Just get a job flying for the airlines. Those guys are making bank these days.

Wasn't so good a couple of years back, but both "these days" and "couple of years back" isn't applicable to decisions for a decade ago.

This adds some context to the far different political climate with China a decade ago:

"So far as China is concerned, we were conducting joint military exercises at sea between the Royal Australian Navy, and the PLA (People's Liberation Army) Navy at a time (2010) when Dan Duggan is accused of, as it were, consorting with the enemy. It's double-standard. It's hypocrisy," he said.
Thanks for the feedback! I see offline archiving as a potential feature too, I will look into it for sure
I really don't see how it's any different than having a drink every day....

Which by definition makes one an alcoholic.
> up to 20 per cent more power overall

Compare with the bifacials used in this (6 mo old video) real-world comparison.

https://www.youtube.com/watch?v=mzqjCsZKUYQ
What exactly does this "Automatic Update Expiration" mean? What can't be updated after that? Is there no way to install third-party equivalents?

I asked this because for many people, me included, disabling automatic updates is the first thing they do after installing a fresh Windows. So it's a bit unclear why "Automatic Update Expiration" is a problem for someone who never owns a Chromebook.
Don't most applications that use threads also use thread pools because thread creation is expensive?

I guess these comparisons are nice to get a feeling how expensive operations are. But has it a lot real world relevancy?

In practice my beef with coroutines is that with unlimited concurrency you run into resource limits when the system gets some load (file descriptors, open connections, ... whatever the coroutine does that is limited) or starts a DOS attack. Which is something no one ever tests and something that appears randomly in production depending on the data fed to the system.

With many developers using them as default solution when things get slow that creates brittle systems. How is everyone else dealing with things like this?
I have heard podcast with lead dev of local bank app talking about how they wish PWAs would be possible. Because right now they have to secure and audit web, ios, android. Instead having one platform would be easier and probably more secure.

Maybe web is the right platform for these. But of course Google will use this to close things down.
Came here to say this as well! Tesla was my library of choice for setting up dozens of crypto exchange API wrappers while minimizing the repeated boilerplate for each.
I meditate. Quite a lot, since I’m always stressed.

My approach is pretty simple. I go sit somewhere comfortable (usually at home on the floor with a pillow, but sometimes at the beach or on a tree stump nearby) and just breathe deep and slow. I close my eyes and keep breathing. Eventually all the noises around me turn into white noise and I feel quite blissful.

Maybe I’m just getting high on oxygen, but whatever it seems to help me out. The hardest part is when I think about something else and lose focus on my breath. However with practice and pure intent to meditate, it sorts itself out.

Results wise? I’m a human. I am emotive and prone to speaking what’s on my mind. Meditation just helps me deal with the ramifications of living life, because I don’t feel that I should try to be someone I am not. I need to just be happy with who I am and I know I am not a bad person.
Every now I'll use ChatGPT or bard to refactor some code, or write a common algorithm. Other than that, I don't trust it.
Stackoverflow.com sounds like a more appropriate website for such problems.
I'm trying to figure out why anyone cares one way or the other
What kind of a projector?
I use aider[1], python tool for coding after learning about it from the author that posted it on here some months ago. It works well in the design phase and early parts of projects. Lately I haven’t been using it as much, unfortunately, because I have been working heavily on a library that was released after 2021 and it’s not as immediately helpful a lot of the time.

https://github.com/paul-gauthier/aider
Does that also give you the right to sniff their network and steal their email passwords?
> The New York Times would refuse to serve content to unattested user agents.

You forgot one thing – once a copy of the content is server to AT LEAST one attested user agent – what prevents him from sharing his copy with unattested users?

It is easy to see that if something will make getting the content harder – it will immediately find the path of least resistance. This is the reason any new Netflix title is available for free an hour after the premiere. And the harder Netflix will try to fight this - less time will pass before their content is stolen and re-translated for free. Exactly same will happen to New York Times if they refuse to serve - someone would serve a copy instead of them – because there is now demand created for such copy.
Chromebook continue to work as-is. Just remain forever on version X. You can still use it.

You can install Linux after that.
You're ok with it because the social contract is that it only happens with reason, to people who have done something to deserve it.

But now it's more like dictatorship and police controlling opinions, which, when it happens in non-western-aligned countries, we all agree that is a really bad thing.
Costco in the bay area had those as well, as recently as 10-15 years ago.
I think this is just a result of too many things grabbing attention - especially in almost everyone's career this seemed to be the norm for the last 15 years or so. The jobs we do, the tools we use, and the structuring of companies and employee hierarchy, projects and general culture have all introduced elements that force you to frequently context switch all the time. Add to that, things on the internet like Social Media, apps pushing useless notifications all the time, Tiktok, Instagram, Twitter, etc where things are updated very frequently and if you're participating on those platforms, it creates somewhat of an urge to keep checking new stuff as it comes.

Engineers can choose to have some flexibility, however the managers and upper managers have no breaks, and it kind of sucks for them to zoom in and out of contexts between meetings, and it often makes them lose track of things. If workload is not shared, it very quickly becomes a shitshow altogether. All my managers in my last 3 companies were struggling to keep up with what was going on, and had no rest; they would get pinged about issues even while they were on PTO which seemed inevitable.

Other high context-switching jobs may be those of doctors, stock brokers and analysts (they have to keep tracking a million things every day), lawyers, and sales guys. They come with their own way of causing mental overload quite frequently unfortunately.

Honestly I feel it's the circumstances some of which are in our control that can be adjusted to minimize distractions and remove some of the useless things that we think are not needed at all. It's no wonder that those "distraction elimination" browser plugins and mobile phone apps are a real thing!
Pretty sick of the posts defending ChatGPT on this one. I have at least 5 prompts I retried that had drastically reduced quality of response and basically forcing me to query a dozen times to get the code it previously just wrote in the very first response. It tries to force you into making skeleton models of your code now if there is any complexity at all whatsoever instead of taking a stab at the code itself. I've done so many retrials of old prompts I've seen it happen enough to notice the actual pattern as to what is going on.

"Where's the proof"
Sir I have literally hundreds of conversations, and I am no longer subscribed to ChatGPT4 because of the aforementioned issues, so I cannot really compare anymore. If you were using it in February to write code, try those same prompts now. It's blatant.
I suspect punctuation adds significant meaning to the models, that could be why so much computation is applied to it.

That's not to say a pipeline couldn't be effective.
your Mozilla browser will send all of these events to one or more aggregation services

...if you let it.
WasmEdge Community Meeting August first: 0.13 Release, Running llama2.c, and Q&A
They went from A to B (exact magnitude of change is of course part of the criticism):

|------------B---A---|
anti-user pro-user

Is Mozilla still, currently, a failure at their job?

---

These kinds of discussions are frustrating to me since it feels like we've been dealt a very bad hand. But it's not just this hand, the dealer is firmly set on us only receiving bad hands in any game we play.

Like in a card game, this is the only hand that we'll get. What other corporation do we have to push these kinds of values? What other avenue do we have? It's sad that we've come to this situation, but if the choice is the currently perceived-to-be-failing Mozilla and no Mozilla, I pick the failing Mozilla.
>once a copy of the content is server to AT LEAST one attested user agent – what prevents him from sharing his copy with unattested users?

This is already covered by the DRM in all major web browsers today. If your software will allow that, it can't get attested.
> What is more appropriate to ask for help?

From your “I wrote to learn go”, I guess this isn’t really “Anything that good hackers would find interesting” (https://news.ycombinator.com/newsguidelines.html), so I suggest to use Stackoverflow.
Marginal cost being close to 0 doesn't invalidate the basic economics.
Wow, you annoyed someone enough to get your comment hidden, impressive.
You do know where chatgpt got those answers, right?
I know it’s a depressing thought—but considering that money can be thought of as a “unit of work”, and so many people are tying it up in stocks of large companies, miles away—praying they won’t get hit by a car before that special day.

What about getting units of work to start working right now, instead of hoping some big company will make people’s money “grow” into the future?

Invest in local economy. Invest in people. Folks thinking about retirement backwards.
I am not staying that healthcare has no value, it's just that universities produce way more life science students than what the industry can take in. At most US state schools, only a fraction of biology graduates go into healthcare and biotechnology. Most end up in totally unrelated fields, not unlike art students. This is rarely the case for engineering and CS, people do move around yes but they almost always end up working in a heavily quantitative role.
I feel like I have to repeat this, since so much is at stake here, where it is about the preservation of the web as we know it today, at the peril of having it turned into yet another walled garden:

The only way around the dystopia this will lead to is to constantly and relentlessly shame and even harass all those involved in helping create it. The scolding in the issue tracker of that wretched "project" shall flow like a river, until the spirit of those pursuing it breaks, and the effort is disbanded.

And once the corporate hydra has regrown its head, repeat. Hopefully, enough practise makes those fighting the dystopia effective enough to one day topple over sponsoring and enabling organisations as a whole, instead of only their little initiatives leading down that path.

Not a pretty thing, but necessary.
Ironically, one of its few comparisons was FlashFill / Excel.. which had been going the way of NNs and now LLMs for years now. The paper largely skips measured and non-superficial comparisons, so I wouldn't draw comparative conclusions based on their writeup.

RE Coq/Z3 vs GPUs, I think about them as different kinds of things, and thus wouldn't compare directly. A solver like z3 encapsulates search tricks for tasks where brute force approaches would effectively run forever. Their tricks are symptomatically necessary -- effective GPU acceleration requires finding a clean data parallel formulation, and if a more naive algorithm is picked for that GPU friendliness, but at the expense of inflating the workload asymptotically, the GPU implementation would have high utilization, and high speedups vs a CPU version... but would still be (much) worse than Z3. Instead of comparing them as inherently different approaches, the question is if the practically relevant core of Z3 can be GPU accelerated while preserving its overall optimization strategies.

Which takes us back to the broader point of this thread of GPUs for synthesis... LLMs are successfully GPU accelerating program synthesis of more than just regex. It's amazing that half of github code now uses them! Closer to this paper, folks are making inroads on GPU accelerating SMT solvers that the more powerful (classical) program synthesizers use, e.g., https://github.com/muhos/ParaFROST .
Yes, I am the bad guy for defending my sites from being defaced and my clients private data stolen from the bad actors coming from those two countries specifically. It is totally me making the internet a shittier place. If only I had the strength and energy to unblock those countries to tolerate the unrelenting abuse and attacks so I won't be such a terrible, horrible person.
Back in the day we banned using animated xlock to lock your screen. The Sun workstations in the lab ran the X server local and picked a random other machine to run the window manager and clients when you logged in. (Which is kind of an odd way to do it when I think about it now, but also cool that it was possible.) However this was all running over shared 10 Mbps ethernet with probably 100 machines and only 2 or 3 segments. This all worked fine until a few people use animated xlock running remotely over the shared network.
ChatGPT is pretty good at writing simple regexes and bash as well. Basically common things that you want really quickly but can never remember the syntax for.
those paratextual phenomena probably are important for the model's representations.. not to get rid of and not easily compressable either. have a look at predicitive features for authorship attribution in stylometry for example. whitespace and punctuation are always decisive.
https://news.ycombinator.com/item?id=36858584

https://www.theguardian.com/environment/2018/dec/14/reforest...

Offsetting agricultural emissions through reforestation would cost 15pc of farm profits

https://www.abc.net.au/news/rural/2021-11-28/carbon-reforest...

https://ecologi.com/projects/wildlife-corridors-koalas-austr...

https://landlifecompany.com/news/the-critical-state-of-austr...

How to combat desertification with reforestation

https://www.groasis.com/en/planting/can-you-plant-trees-and-...

https://www.reforestnow.org.au/
So does bringing ID with you.
Some Binance.us Trading Was a Mirage, the SEC Alleges
For me, I went back to the Gimp, I never found a usable replacement to recommend to my parents.
The section, "Don't assume a hidden agenda", is a rather irrelevant response to the outrage, because the agenda we don't like is written out in the proposal. It's not hidden, it's rather transparent and it's the dystopian nightmare we want to avoid.

From the proposal:

> Users often depend on websites trusting the client environment they run in. This trust may assume that the client environment is honest about certain aspects of itself, keeps user data and intellectual property secure, and is transparent about whether or not a human is using it. This trust is the backbone of the open internet, critical for the safety of user data and for the sustainability of the website’s business.

> Some examples of scenarios where users depend on client trust include:

> Users like visiting websites that are expensive to create and maintain, but they often want or need to do it without paying directly. These websites fund themselves with ads, but the advertisers can only afford to pay for humans to see the ads, rather than robots. This creates a need for human users to prove to websites that they're human, sometimes through tasks like challenges or logins.

> Users want to know they are interacting with real people on social websites but bad actors often want to promote posts with fake engagement (for example, to promote products, or make a news story seem more important). Websites can only show users what content is popular with real people if websites are able to know the difference between a trusted and untrusted environment.

> Users playing a game on a website want to know whether other players are using software that enforces the game's rules.

> Users sometimes get tricked into installing malicious software that imitates software like their banking apps, to steal from those users. The bank's internet interface could protect those users if it could establish that the requests it's getting actually come from the bank's or other trustworthy software.
> Don't assume a hidden agenda

For google affiliated stuff that ship sailed a long time ago
That's a very good point. I guess the real new problem here is learning to identify and manage different types of discussions and information exchange formats which can be challenging but totally solvable issue imo once people start working on it instead of pointing fingers and fear mongering.
>It’s asking for feedback the author knows how to deal with (and disregard).

Yes, and you can see how many people are being ignored. The article is a guide on how you can avoid being ignored and actually contribute to the process of standardization.

>So what the fuck is this guy saying exactly, that you feel is a valid approach to handling public outcry?

For example, people may think coming up with legal arguments may be an effective way to engage in the proposal and try to shut it down. The article describes that legal arguments will not be productive.
Interesting that to my knowledge only US universities have this kind of "lets look at extra curriculars" admission system in the first place. In all/most other countries, it is high school grades or entrance exams only.

Or - even better IMHO - it is admit almost everyone, and then have some tough exams (e. g. ETH Zurich).
I was active on SO years ago and my answers and questions typically are either upvoted to large number, or downvoted to a large number despite my best attempt at explaining the context.

So I do know this problem (problem-problem) very well and I've since stopped asking or answering on SO.
I consider technology to be an extension of mind. I'm not ok with the police literally cracking open my skull and probing my brain, not just because of the invasive torturous nature, but because it's an invasion of the very state that forms my existence. Similarly, the bits of my mind that I offload to other places.
I don't think it is explicitly forbidden by the guidelines. https://news.ycombinator.com/newsguidelines.html
As recent as 2012, I was working for a major US investment and financial services bank (one of the very big ones). An algo dev sent his resignation email to a mailing list with all technologists at the firm, stating he was resigning because they weren't taking FPGA's seriously. Yes, it was very unprofessional, but his statement about "let's see who is proved right" seems to be accurate.
What is even more ironic is that wall shouldnt be there and probably wont be because of EU.

Imagine we fully loose the web because iOS opens up.
Insider Trading is just fine because it allows the market to function.

If you don't want to participate in it you don't have to, but why should other suffer because of your moral hangups about other people making money?
Twitter has recently added monetary incentives to create “engagement”.

I assume that there will be a decline in quality. It will become an interesting case study.
> During quantization we find that values in the network vary from 0->5000, but 95% of values are <100. Quantizing this to 8bits would mean that our values would be in increments of about 20.

Instead of using an 8bit integer with even step size quantification, wouldn't they still use an 8bit float?
I realized that I needed to know way more about HTTP than I wanted to when trying to write a bunch of API wrappers for crypto exchanges. There’s just… a lot of failure modes and the application needs to respond differently to each. Some failures just need a quick retry while others must be pushed all the way back to a client to decide what to do.