skysight-inc/HackerNews huggingface dataset:
some game developers do want to do this. i've gone out of my way in the past, even as a junior, to make efforts in offices to encourage developers to play their own game, and preferably with audio on and for more than 2 seconds at a time... and on the target platform instead of your turbocharged dev pc.

this can be as simple as a high score competition (imagine making a game with scoring mechanisms and no leaderboards, yes thats you Codemasters!)

i am still absolutely dumbfounded when i meet devs who do not play their own games, let alone play them thoroughly.

modern game development is mostly pretty brain dead, and nintendo and their first party studios tend to be exceptional, some of the very best out there.
Ghost Proofs – A way to cryptographically verifify the outputs of neural nets
I like typing and am a big fan.

If you fix a bug, this can break existing code. This is a fact of life. Changing performance characteristics can generate downstream problems! You have to consider this stuff seriously.

Here the change introduced nullability. In another universe the function would already be nullable but the conditions in which a value becomes None changes. A spec can be changed, for the better, and still be bug generating if people just upgrade. That is not captured by most type systems, and there aren’t that many great production web apps running on Idris.

But ultimately the reality is that people have a lot of flexibility with Python projects in general. It’s great, and libraries that are aware of this, well… they write it in release notes. They also have open repositories to enable actual code diffs. It’s non-zero amounts of work but it’s there.

There is a theoretical universe in which a static language with well-designed libs provide good aesthetics to make developing certain software easy. Meanwhile even as a big functional programming lover I still reach for Python because I can get work done because the libraries are in fact well designed, and the code is easy to work with, and I can fix issues quickly. As a user it’s great, as a library maintainer I gotta apply some more care. Could be better but it's alright
I mean at this point in physics everything new has to be a variation of the classical rabbit/duck picture: Essentially the same data points but a different way to explain them that doesn't invalidate the existing findings.

This means we can use any knowledge we can find and we definitly should continue testing promising alternatives — either we find something or we reduce the size of the white spots on the map — which makes exploring them easier.
True, but it still is a flaw with services like cloudflare and I don't believe their users know how many people actually get blocked. There are quite a few people that are familiar with these issues and it isn't only the technically affine.
A cursory Google search lead me to this[1], which seems to be what you're looking for, something similar probably exists for ledger/hledger.

Personally having dealt with crypto in beancount a few times I used a separate file which got updated periodically with a script, which worked well enough.

If you're interested I suggest reading the beancount cookbook[2] as it contain many examples.

[1] https://github.com/davidastephens/beancount-plugins#automati...

[2] https://beancount.github.io/docs/command_line_accounting_coo...
The same analogy applies for any screen usage - is the time I’m spending on my TV, computer or tablet disrespecting my time? Dark patterns for attention exist on all screens, they are just more prevalent on phones that are accessible to you all the time.
Some of these are excellent recommendations, while some are horrible (sorry!). Rather than replying to multiple posts, here is an alternative to consider.

Add Google Alerts for the keywords you want - "AliExpress", "taiwan semiconductor", or with wildcards in between as needed. Keep monitoring the alerts for several weeks. You will find a lot of general news sites, but you will also find who really publishes things that are useful and interesting to you.

Bonus tip: Once you find these sites, keep monitoring them. Find out where they get their news from. Mostly, they will quote or link to the original source. Go to those places. Those are the pristine sources you want.
There was a Trans-Siberian railway video, of the full journey, from Moscow to Peking I think. https://news.ycombinator.com/item?id=1504271 Unfortunately it is not online anymore?

There are also quite a few railway videos from Norway, e.g. Bergen to Oslo: https://www.youtube.com/watch?v=xisVS_DKpJg

And many more long railway videos.

Or the the great moose migration:
https://news.ycombinator.com/item?id=31150996

More here: https://en.wikipedia.org/wiki/Slow_television

Also related:

Apollo 11 in Real Time: https://news.ycombinator.com/item?id=20193118
No.

Google released many human social chat products and forcefully sunsetted them. Google has only released a single chat AI product - Bard. I have no idea how to make these two situations comparable. Everything else you listed was just a research project and has not been productized yet.

OpenAI seems to be replicating the gChat mistake, by your logic…

- Chat GPT-3.5

- Chat GPT-4

- Chat GPT 4 but with plugins, browsing, or Jupiter env.

- Chat API (3.5-turbo or 4 or gpt-3.5-turbo-0301 or GPT-4-8k or GPT-4-32k or gpt-4-32k-0314 or gpt-4-0314)

- DALL-E API

- whisper API

- embeddings API

- moderation api

- GPT-3 API

- codex API (deprecated but I think still functional) (code-davinci-1, code-daVinci-2, code-cushman-1, code-cushman-2)

By some measurements, OpenAI has released over 20 products and already forcefully sunsetted over 3 of them from the Chat GUI alone and another 4 API “products” are on their way out.

But…just no. No one here is repeating the gChat shitshows. These situations are entirely incomparable…but that’s another thesis.
Web PKI so strong that we recommend not using it for critical scenarios.. /s

It's late and I maybe haven't been super constructive here, but I think when you try to write out the actual assumptions behind CT as the whole solution, you realize you've got something that mostly works assuming assuming assuming - and worse, we'll never do any better, because those assumptions are fundamental technical limits. DNSSec may be ugly but at least its problems (like validators failing open) are just deployment issues, not fundamental technical issues.

I'm sick and tired of using technologies that provide security or correctness subject to a long list of preconditions and ways for folks to tell me I'm using it wrong. To build secure systems, we need technology that provides correct security without so much asterisks and fine print.
Can any of these do any real reasoning? I feel this would just result in some Goldberg machine of producing terrible shit the big majority of the time, but may be impressive in some edge cases when the star constellations are right.
That's funny because bitcoiners can't shut the fuck up about Visa whenever the abysmal throughput of the bitcoin network or its humongous power consumption is brought up.
The main advantage of these systems is that they can be used for cooling too.

The main disadvantages are that they require enormous amounts of co-ordination socially and you pretty much have to run the 24/7 (and then store heat which is wasteful). You also need a heat source (normally a large body of water) nearby.
Unum (number format) claims less error, more precision, fewer bits for computing
That's pretty standard for a lot of companies. IT log the calls with the supplier.
Current AIs can’t reason about trivial, 2 years old human cognitive things, let alone multi-million lines of code bases.
>Things like Windows XP or older won't install or run in SATA mode without a proper driver floppy for F6'ing, that's when it's easier just to use IDE mode sometimes. Also can be more challenging to add SATA drivers after installing though, and you usually end up pointing to the same files the floppy has on it.

JFYI, as long as you have the actual driver files, and the motherboard can boot from a USB stick, you can use a "virtual" floppy via Syslinux or grub4dos for loading the F6 driver during setup:

http://wp.xin.at/archives/2702

https://msfn.org/board/topic/154071-f6-without-a-floppy-driv...
Is anyone else confused by what options are available when trying to order the book? I see two options:

- English, French, German

- English, Italian, Spanish

I'm concerned enough to not want to purchase it out of fear I might end up ordering a translation I cannot understand...
Elon said in a recently interview that his new most important metric is to reduce regret time spent on site. An example he gave is that people should get push notifications about tweets they wouldn't regret clicking.

I don't know how twitter has me profiled, but these days it sends me onlyfans models, Matt Wallace, J.K. Rowling, Ed Krassenstein, Bitcoin influencers as recommended tweets to read.

Funny thing is, I don't follow anyone and nobody follows me, I just have a twitter account to occasionally (once a week?) read what Elon Musk, Jeff Bezos, Bill Gates and some musicians I like are tweeting about. I'm a liberal leaning centrist, I don't care about American politics much, or bitcoin, or onlyfans... I'm so curious how it decided to start serving me all this content that is so outside of who I am.

Also for those curious, this research is out of Berkeley and Cornell:

Smitha Milli, Postdoctoral Associate, Cornell Tech

Micah Carroll, Ph.D. Candidate, University of California, Berkeley

Sashrika Pandey, Undergraduate Researcher, University of California, Berkeley

Yike Wang, Undergraduate Researcher, University of California, Berkeley

Anca Dragan, Associate Professor, University of California, Berkeley
I really love a detail in Vercel’s webpage, if you right click on the logo, it offers you a link to go to the press kit page.
I really wish there was a... "casual" or "slower" replacement for Twitter. I created a Twitter account and followed my favorites, unfortunately I keep getting "outrage" tweets recommended. Funny, it's like it's own little microsphere where people vent about trans, climate, "men are superior to women", all these 4chan-esque topics. It's not even about about being correct, it's just about short "gotcha!" posts that sound good but are riddled with logical fallacies and ludicrous points if you think about it for a second.

I, on the other hand, go to HN to complain apparently. :-)
Discourse or Discord? Discourse is nicely searchable and in many ways more user-friendly and sustainable than mailing lists.
https://jerryscript.net/getting-started/ => "Currently, only Ubuntu 18.04+ is officially supported as primary development environment." :(
For U74 with vector support, look at X280 instead. It's pretty much the U74 microarchitecture with an added vector unit.

Google is one of the X280 licensees, already using the resulting chips, where they paired the X280 with a specialized accelerator, using a very tight interface between accelerator and cpu, co-designed with SiFive.

P670 and P470 are newer, vector-enabled higher performance designs.
Yeah. You know what the investors see when you do that? Growth
I agree with this at least for the Reality Labs group it would have been a way to eat your own cooking. Like normal remote work, a lot depends on roles and the ratio of sync to async in your schedule. Much can be done async within a time window if you build suitable workflows. Spending the hour or two insync time as an Avatar in a 360 6DOF 3D meeting room floating out at sea with your team would have its advantages over zoom squares.

I also think there are actual individual work needs that can be significantly improved by using 3D affordances but this is probably not most people's definition of anything Metaverse; it's more like applying game engine animation and realistic physics to real things we are doing now in a 2D WIMP Pancakeland.
Prices are not lower in Europe. I've lived in 5 countries in Europe. I paid about 10EUR in France for the same plan I have in the US on Tello for $7.

What we do have, is the availability of more expensive plans and companies.

It's the same argument I keep hearing people make about "dur dur college is expensive in the states." It's not. 2 years of community college for gen-eds, 2 years state school, BS costs $25k over 4 years, and if you finish in 3, it costs less. You can also take college courses or get a full year of college credits in high school if you study. You can get a bachelor's for under $20k total from a good state school. But yes, my little brother spent 40k/year and has 6-figure debt and a 5-figure salary.

Stupid people, make stupid choices. In the land of the free, we make the guidance and information available, and let them fail. Good.

Norway is sparely populated? That country the size of Montana (one of many states), with five times the population? Dare I say, have you ever Driven across the US?
QuickBooks has a ton auf functions that no online competitor has. E.g. customize bill layout, many reporting sheets, tax submit, bank account sync, recurring invoices / bills, ...

I tried many years to find somehting that could replace Quickbooks in our company, cause it lacks on API access. But everything else is lightyears ahead of competitors solutions.
We still default to this handset style on audiophones and the experience is much better for the other end. I wish people would zoom using handsets (when headsets not available).

I don’t see why when we add video we would automatically drop the handset, or rather why would we keep on designing handset phones when hands free technology exists.
> base stations
> Wires are also no fun for VR

I'd like to highlight these parts again. Even as someone who has a desktop gaming pc and all: Base stations suck. Wired VR sucks.

Having wires get in your way while you are in VR is such a shit thing. I would never get back to it, not even for a generational leap in graphics quality.

And base stations automatically mean you need far more space (or "creative solutions"), something people living in e.g. flats don't have. Or don't want to have. Sure, I could probably rearrange half a room around it, but VR is not that great and probably never will be. Almost nothing would be.
Reading that made me sad. There is not a good reason to do any of that. Getters/setters are super a
slow. Classes and inheritance increase complexity. These are things that are measurable and provable with numbers. I had to juggle much of this in Vue at the last job and it made for extremely fragile software.

I get the feeling people need to live within these layers of syntax complexity due to poor education. People are taught conventions for writing code, like OOP instead of being taught how to organize and architect. The result is that people expect familiar patterns and tools to do the heavy lifting when really there is no heavy lifting to be done.
What about C?
60ms @ 1gbit (120 MiB) -> 7.2 MiB TCP buffer size required for bandwidth saturation. That’s more than the max buffer size a run-of-the-mill modern OS gives you by default, meaning your download speeds will be capped unless you fiddle with sysctl or equivalent. And that’s within the same continent assuming minimal jitter and packet loss.

Another big one is optimizing applications for number of round trips, which most people don’t do, and it can be surprisingly hard to do so.

I am a throughput freak, but you’d be surprised at the importance of latency, even (especially?) for throughput, in practice. It’s absolutely not just a “real-time” thing.

If you’re on Linux, you can use ‘netem’ to emulate packet loss, latency etc. Chrome dev tools have something similar too, it’s an eye opening experience if you’re used to fast reliable internet.
What's more scalable - querying a database and hitting "delete" on the payment channels of 100,000 people at a political rally, or hunting them down one-by-one across an entire country?

You're applying this to individuals. Which is never the real threat to any regime. It's always large groups of people.
I can further add that he should really focus on countries such as Bulgaria, Romania, Latvia, Lithuania, Moldova, and Serbia (perhaps Germany too to some extent). But I doubt whether he is capable enough. (Here in Finland the pro-Kremlin propaganda is practically non-existent, a few known clowns notwithstanding, and no one has ever taken them seriously anyways.)
Your first point is important, and now that you mention it, I do remember similar names from the Carbon introduction and this paper. I should probably look to D&E for a less presumptive set of goals.

As for constexpr - you only get ambiguity if you assign a constexpr expression/function call to a non-constexpr value. If you use constexpr variables to hold the results of your computation, compile-time evaluation is guaranteed. I don't think it's that confusing.
I mean, being able to set the lock time in the first place means it's possible they could have software restrictions. Not guaranteed.
> Encouragingly, the recently passed EU Digital Services Act (2022)
mandates that large online platforms offer a non-algorithmic way of viewing content, such as a reverse-chronological feed [Vincent, 2022]. This development may soon make it possible to replicate our methodology across multiple platforms of interest. We hope our study will inspire future efforts in this direction.
I have a hard time imagining that. PHP for example is fun to script in, and resembles a C/C++ more than Lua does. Of course fun is subjective, and I have no idea about the issues of embedding (why Lua works for that, and why other languages haven't got more traction).
Heard about the Arkose sale tactics at Roblox (a site whose usability is also nuked by them)

I've been told Arkose pay people to run these captchas and present lots of fancy metrics of attacks they've stopped (when in reality with Captcha's like this a lot of that is normal users) which is why some websites seem to be ok with destroying user experience by running this

I'd be surprised if anybody in a technical role decided on this provider
> When you scroll, the Wayland compositor sends scroll events to the app, with a float for the delta

GTK works through a bunch of heuristics and in-built multipliers, but the fundamental problem is that scroll effect depends on the “weight” of the content itself — kinematic scrolling is unfortunately quite missing from linux desktop, AFAIK. But do correct me if you know better, I’m not too well versed in that.
I find this take fascinating. I've been both a PM and a software engineer. I find the role of a PM significantly harder than a dev. It's easier to deal with computers because they're logical. But as a PM, not only do you have to convince executives, which is a skill, you also have to work in details with the developers. Both groups could not be any more different as one group wants summaries but the other wants you to spell out every detail imaginable. On top of that, you have to learn how to talk to customers and dissect insights from what they tell you.

>I unfortunately have never worked in a company where product managers are actually accomplishing their job descriptions due to the fact that most simply do not code and do not understand engineering in depth and hence can’t concrete/feasible action on where to take the product.

When I was a PM, I always found that the best developers were the ones who understood that PMs aren't suppose to understand the little technical details. It's the job of the developers to explain the tradeoffs in whatever code framework you choose, IE. Next.js or Gastby.js or whatever. A PM should not be coding nor do they need in depth engineering. It's your job to explain it.

The caveat is to the above is that you're building a highly technical product, so the PM should be technical enough to do his/her job well.

A lot of devs think that the only thing that goes into a product is the code. This is just not true. Sometimes coding is the easiest part. Coming up with what to build, and convincing the company to stand behind it, is often the hardest part.
caffeinate is the command-line utility that is included by default. Caffeine is a third-party macOS app for controlling this utility.

I didn't know caffeinate was a thing though, that's good to know.
This is true. I've run a couple of co-ops and there's a huge difference in engagement when you mostly discuss tasks remotely and when you actually get together and do stuff in the same room.

I still haven't figured out why that is[1], and if there are aspects of it that can be recreated remotely.

----

[1]: Some ideas I've had is that it's about sunk costs ("Now that I got my ass here anyway, I may as well contribute") or that there's a visual component (perhaps seeing a face triggers some responsibility chemistry in our brains?) or that it's harder to avoid persistent questions when you share a room with someone.

I've also speculated that eating together may enhance engagement, but I don't know if that acts as some sort of Skinnerian reward mechanism or if people feel cared for and that triggers their desire to care in return.
Just remember to ignore file size, and check text (code) section with binutils's "size" instead.
Just quit. I did, never regretted it. It's toxic shit, owned by a toxic shit.
Welcome to Canada comrade, where interest rates, monetary policy, corporate consolidation, and corrupt politicians combined to create a country where house prices became obscenely unaffordable first in a few major cities and then in recent years in every podunk town in every province in the country. And with obscene housing prices comes obscene cost of living. $4k/mo doesn’t get you anything close to a reasonable lifestyle.
Boston Dynamics' youtube channel?
That's a great point. Thanks for the tips!
https://docs.bigcapital.ly/docs/deployment/docker

There is a docker-compose file at the root of the repository, which gets you most of the way there. But the above link will undoubtably be more helpful.
You can not compare an email asking for rights, to someone who has written a massive amount of work, which you can randomly pick a section and see it is correct.

This commentator puts it well - https://news.ycombinator.com/item?id=36121561

This is simple spammer entropy.

Now with GPT spammers can create entropy very easily, so it's tricker.
I think the word "Taschen" does not appear often enough on that website.
'Everyone is a programmer' with generative A.I., says Nvidia chief
Right, thanks for that, I will think about that solution.
Ah very interesting regarding the trackpad. That's good to hear.
nostr is currently very open, happy and accepting. Unfortunately, not many people are there yet, unless your interests contain Bitcoin.
Or more specifically not available in any other country: https://help.max.com/us/Answer/Detail/000002518

Hell, HBO Max became available in my country just last year, replacing HBO Go. And I know there used to be HBO Now in some places, so I guess we skipped that one. And no HBO is available in some of the places where you really expect it to be, like German speaking countries.

It's the most bafflingly stupid streaming service I ever had the displeasure of using.
We deserve to know if something was generated by AI
> After three decades of working closely with folks of every possible income bracket, I found maybe 1 in 15 had income so high that they could afford to save for retirement.

How can this be the case? What decisions are being made that 14 / 15 people across tax brackets can’t save?
Meanwhile in India, JioCinema gave away access to its streaming app for free and hosted 35M simultaneous live viewers yesterday for a cricket match.

What are these paid subscription platforms trying to protect?
Just a canary to detect high level dissenters. Putin is cheka, if he can get anything done, its filtering out the opposition airing grievances by the window and silencing them.
Have you tried Mastodon? It can be literally described as a "casual" and "slower" Twitter.
The funny thing about that audio captcha is that it would be trivial to write a program that solves it.