skysight-inc/HackerNews huggingface dataset:
…that sounds absolutely delicious?
Canada was a lot quicker on the uptake with both chips and tap for whatever reason.
>it only works with a premium account. That could've been mentioned more clearly

I agree, although it looks like you only have to change a single line of code to make it work without a premium account. Might as well go all the way if you're already breaking the TOS anyway I guess.
VsCode or IntelliJ with delv works beautifully for most common tasks. But don’t compare to JVM/Java. It does get trickier if you have many concurrent/goroutines but that is not unique to Go.
> if you can prove a contradiction from the Peano axioms using classical logic, you can also do so using intuitionistic logic.

Are you sure it isn't the other way around? If you can prove a contradiction using intuitionistic logic, it's also a contradiction using classical.

If you proved the contradiction using the excluded middle then that proof wouldn't hold when you use intuitionistic logic. Maybe I'm missing or not understanding something here.
I haven't used them myself, but I've heard that the Remarkable tablets have pretty good lag.
Although, in many cases signatures aren’t necessary. Anecdotally, I can only recall having to sign a handful of times in the last five or so years. (Edit: outside of restaurants.)

Also: it’s important to remember that running a debit card as credit isn’t the same thing as using debit. At most banks, your credit limit for debit cards (weird sentence, yeah) is very low: like $500 or so. If you call (and have sufficient funds), they’ll often temporarily raise it for you. (It’s how I paid for school on a debit card when the school could only run it as credit.)
Seems like we're on 8kun now...
Working with your hands is so satisfying. As is seeing the results with your eyes after a day of work. That being said, I am not good enough at that stuff to actually live of it. Plus, doing these jobs at scale still needs a ton of knowledge work.
Ruby/rake: A make-like build utility for Ruby
Googler here: RSS is effectively dead.

I find it slightly incredible that someone who works for Google feels that they can state "RSS is effectively dead." in the latest thread about the public outcry around Google killing RSS in one of their products.

Google killing off Reader was the single event that started the "Killed by Google" meme. Every time Google removes RSS from something there's stories and threads all over the tech press, HN, Reddit, etc. What is it about RSS in particular, but also tech in general, that makes Googlers incapable of listening to the what people are telling them?

Google's support for RSS is effectively dead, because Googlers actively want to kill it. Maybe you'll succeed. I wouldn't celebrate that if I worked for Google.
I've worked remote for over a decade but this past year has been harder because you had so many more chores around the house plus less options to go outside plus school closures.

So, I am basically quite tired. I am kinda considering just taking a sabbatical year.

I still like the work, but the non-stop stress from corona, the non-stop news and the barely functioning society makes work a bit futile.

I've discovered the only thing I enjoyed to buy were books. And I need more time and quiet to read them.

Maybe it's a form of weird midlife crisis.
Twitter Finds Leader for ‘Decentralized’ Social Media Project Bluesky
Lol Good Little Go ! :)
Still one of my favourite languages whenever "heavy lifting" or concurrency is required (really they make it stupidly easy).

Now add pattern matching please !
Well done to everyone that worked on Go ! It's still a pleasure to use.
> Is there a way to tell if a phone number is from a VoIP service?

Comment below was written for voice calls, SMS may be more tractable.

(Assuming US numbers) Yes, but it costs money. You can get (free) data from NANPA on which carrier was originally allocated the number, but it may have been ported.

But, the big blocker is a lot of source numbers are spoofed; not sure if a spoofed landline is less spammy than a spoofed VoIP; although an unallocated number is probably more spammy (OTOH, allocation data isn't always timely updated). If you could get the equivalent of Received headers, that would be a lot more useful, but that's not really an option.
It drives the point home that USA will use you and then abandon you.

> It also seems like the Taliban have chilled out a bit, since we're not seeing widescale reprisals.

Yeah, all those people are totally safe now. /s
> Designing an interface layout by drag and drop has been around since basically the beginning of GUIs. It's not "no-code", it's just defining the interface in a standard way as data.

The GGP didn't call VB "no-code". That was referring to Salesforce.
The "non-west" countries are forced to regularly buy bespoke amount of US goods as official tribute to their suzerain [1].

Other countries might not have much better packaging policies, but if you want a war on plastic waste, US and Europe are some of best places to start it.

1: https://www.cnbc.com/2021/01/22/china-failed-to-buy-agreed-a...
New Zealand to go into lockdown after one positive Covid case in the community
There is this guy who turned the Tatoeba database into Anki decks: https://digitalwords.net/anki/tatoeba-audio/index.eng.html
If there's one thing China got right it's the non-interference policy in internal affairs of other countries.
Others should learn by example.
T-Mobile has been hacked yet again–but still doesn’t know what was taken
My experience is the exact opposite. Having to be around people all day has been slowly draining the will to live from my soul for years. I dread the return to ‘normal’.

Another thing that I hear a lot is people complaining about a lack of work/life balance due to work from home and again here I feel the exact opposite. It has always felt really strange to me to confine work and the rest of my life into separate blocks of time and space. Going to an office, and spending an 8 hour block of time just on work, then going home and spending another 8 hour block on personal things before sleeping seems really unnatural and unhealthy to me.

With WfH I can blur the lines between them. When I’m stuck on something work related, I can just do some mindless chore around the house and that usually ets my mind unstuck. There is nothing more stressful than sitting at my desk in the office while beings stuck with nothing to do to take my mind off it for a while other than browsing the internet.

It just feels more natural and way less stressful to me to naturally flow from work to personal stuff and back.
Yeah, obesity isn't contagious nor causes immediate and simultaneous need of health services, but nice try.
> things like simple customer service become either insanely expensive or outright impossible

This is true. It is hard to design a CS backend that user user friendly and privacy cognizant at the same time.

However, the other issue is sticky habit of the companies to grab on to as much data as possible and keep it just in case. For example, this breach had SSN next to user's phone number, name and address. Why does it need to store SSN at the first place after initial verification? It is not necessary for most of it's operation. The only reason I can think of is if they want to report defaulted payments to credits bureau. Although, storing SSN can be avoided in a similar way, how payment APIs allow you to minimize handling of credit card number, of course you need support for this from credits bureau. If they aren't cooperative, you can still design the system in compartmentalized way, that simply does not keep an association between SSN and other user info in one place, because SSN is used in very narrow scenarios. There is not enough pressure on the companies right now to do that.
If your bank is under the influence of CA it can still be a problem. Something to keep in mind.
This Family Sharing problem has been known for what? 4+ years if not longer?

That is precisely why all the games are Ad based with subscription option. These Ad based Games offer 1 min of Game play and 30sec of Ads and . These Ads are also showing games the kids might like, so they go to download this new game which Apple gets to come up with new download or installation milestone. The new games are also ad based with subscription, showing ads that..... until you hit subscription.

And the great things about these Subscription is that are so cheap, so they can easily pile up without getting noticed. And this example is only the tip of the iceberg. All these changes came after they announced their Services Strategy in 2015.

It is literally impossible to convince Apple Fans there are any wrong doing of Apple. Go to Macrumors or 9to5 comments you will see Apple Apologist working there 24/7. But A lot of people are starting to question, if Apple were really doing what they said were doing.

And I mean if you are starting to doubt, you may finally understand why I have been saying Apple reeks of hypocrisy for the past few years. ( I have comparatively little to no problem with Steve Jobs's Apple )
Find yourself a co-working space somewhere in town. I live in a rather small town, but even here I found a place with about 20 other people. I started 2 weeks ago. I did more than the previous 6 months. I just cannot work at home.
> we have to draw the line somewhere at who we evacuate, the line was always going to leave some people out who thought they should be evacuated, and that was always going to be a tragedy. The tragedy is a function of line drawing, not planning.

The complain is that current line is roughly "no one". And the people there had not had even time to prepare, organize hiding places or run away.
What places did you have in mind that exemplify that cooperation?
>> I'm very happy to have upgraded to market rate

Soo much this! There's always going to be boom and bust cycles. And you know you're going to get screwed in the 'bust' cycles. The only question is, will you take full advantage of the 'boom' cycles.
No ad blocking feature?
I have a Steelcase Leap ($1550 about 15 months ago). Highly adjustable (competitive with the Aeron). I got the headrest, but I don’t love it. I kind of wish the arms would go out, rather than just in, but otherwise I love the chair. It is a great, supportive chair. I ended up going new because I wanted the warranty. It’s substantially better than the chair I was using when we started WFH.
The play button in the image looks off-center. Probably a case of centering horizontally as opposed to the centroid.
You don’t need to work on hard problems (2020)
work wouldn't be called work, if they did not have to pay you for it.
UserGems (YC S14) Is Hiring a Full-Stack Engineer in Europe (Remote)
> Remote work has given me almost two more hours of life a day (that I'd otherwise spend commuting)

Only that I now spend most of that extra time for more work & I'm behind 1.5 years on all my podcasts
I couldn't read the article because of the paywall. Judging by the quote, there are significant problems with this report. First, “a meaningful contribution to the world” and “the feeling of doing useful work” are vastly different phrases. Comparing replies to them is meaningless. Second, the definition of a bullshit job is not if it makes “a meaningful contribution to the world”. Using replies to that phrase as the share of bullshit jobs is, therefore, wrong. A job is bullshit if the one who is doing it thinks it's bullshit according to Graeber.
Reading through the comments here, I seem to be the outlier on the usage of these idioms. In fact, of the five in this article, I've only ever heard one in actual usage (Rubber Duck Debugging), though, I could say that "Bus factor" has been used, just not that specific term (more "if you were hit by a bus" as a term). The other three, however, I've never heard in my 20+ years in the tech industry (though I do remember the actual Ren & Stimpy episode...).
I have the opposite view on the type systems: Rust's type system is really great for business logic because it's really expressive (based on algebraic data types), but the language being made for low level stuff makes some things a pain. If you do something like DDD, ADTs really shine, especially when combined with pattern matching. I do agree that when you can afford a GC, Rust can be annoying.
defer (/using/with) all require the programmer to remember, and write, O(use site) times, the code to release the resource.

RAII destructors, on the other hand, do not permit the coder (at the use site of the type) to forget, as the destructor is invoked automatically when the variable goes out of scope.

In my time reviewing Python (also GC, "with" provides a similar functionality), this is a very common error.
Its also somewhat of a "lead by example" situation. Those most capable of implementing solutions should implement every solution they have and show how it can be done and then the rest of the world will follow or at least feel the pressure.

Rather than rich countries with citizens living the most resource intensive lifestyles possible judging people in poverty for not having better than first world waste treatment.
I find that's only true so long as the problem you're solving fits well into Go's view of the world.

If you want to make a data structure holding the equivalent of a parametric enum (or tagged union from C), go is very awkward to use compared with richer languages like Swift or Rust. Go is also awkward if you want to implement custom generic data structures.

Eg, this[1] code I wrote a couple years ago for doing text based operational transform became about 1.5x longer in Go compared to rust or typescript because its so awkward to express a parametric enum in go. And it was much harder to read & more buggy as a result. Sadly I lost the go version of the code. I'd be curious if someone with more go experience could do a better job, but I'm skeptical.

Hopefully the situation improves somewhat when generics land.

[1] https://github.com/josephg/textot.rs/blob/03c84b7c35a375ba7d...
Afghan central bank governor outlines how and why he fled
i don't like this podcast stuff either. even just the homepage that displays artists (that i will never listen to) is enough to annoy me. i would really love an option to open directly into my playlists or something else. im building up a local music collection at the moment so its not going to be annoying me for too long more
Uses a TikTok, concerned about network discovery.

So many mentally ill people. Please meditate, and engage in introspection.

TikTok literally, openly says it's an artificial neutral net that games the human brain for attention.
How to create a monochrome hachure-style relief map in QGIS 3.20
Mathematicians have solved traffic jams, and they're begging cities to listen
> We are never going back to normal. I don't know how to make people understand that.

This is false. With a mortality rate of only 1 in 1000, at any time US society can decide to live normally and stop hiding.

In fact, it's the countries like India, China and Australia that are facing the grimmer alternative of being totally unprepared, which is not the situation the US or Canada is in.

(China's Sino* vaccines were only about 50% effective on early corona, and less than that on delta. As a result their BRI workers spread corona to all of their debtor states.)
In Australia we had been barely touched by Covid until recently. My work generally involves a lot of rural road travel and talking to farmers and I really do miss that. Can't say I miss the air travel too much, it's the random stuff that happens when you are on the road that I miss more than anything. Listening to truckies on the UHF, blasting music or just motoring with purpose, listening to the FM Radio with a schedule to keep and sometimes not knowing exactly where you will be sleeping is damn fun sometimes. Talking to random people in pubs in small towns, sometimes digging through their cast offs in op-shops. Sleeping in a swag in the tray of my ute if I had to or nothing else was available. Small town, rural Australia is always an adventure.

Now - at home in a make-shift lab and coding. I still talk to people but Zoom just isn't the same. Supply chain issues are giving me headaches and relying on transport and post to get my gear out to people is frustrating and time consuming in a way that throwing it in the ute and driving isn't.

I had high hopes we would basically be back to normal this year but Delta has killed that for the moment.
I left my lucrative cybersecurity startup job to pursue full time independent research in AGI. Several months in and it's been great progress wise, and I have to live more frugally.
Being on the cyber startup was like being on a cruise ship headed to some destination that was "just okay", all the while seeing an island off in the distance that we were slowly passing by, which is where I wanted to be. I jumped off the bow and started swimming towards the most meaningful goal I could hope to apply my skills toward. Will I advance the field of artificial consciousness? I hope to. There's so much I don't know, and even more no one really knows. COVID was a gift. Political and economic turmoil is a gift. I was already focusing on the goal of AGI, but the strife of the world gave me the will to leap for it.
U.S. to Advise Boosters for Most Americans 8 Months After Vaccination
Yes, it was so amazing to just get to restructure my life as I saw fit to achieve what I needed to do.

That and just being able to do things in parallel was extremely valuable. Laundry could be run during the day. Same with the dishwasher. I could be around at 1 to put ribs in the oven for dinner. No more having to schlep down to the post office for missed deliveries.

It was quite fun while it lasted as I prefer to be able to blend everything I need to do into a single list.
Define extensively. Anybody who pays with checks in situations where credit cards or cash can be used is gonna get funny looks, unless they’re a little old lady.
No IM platform I am aware of does this. SMS doesn't do it, telegram doesn't do it, email doesn't do it.

Most platforms do not even let you edit or delete messages at all.
I spent most of the weekend writing a super-detailed tutorial on how to create a map using hachures in QGIS. The hachures are created using SRTM elevation data, geometry generators, and there is also a section on how to style them dynamically using the new interpolated lines feature in QGIS 3.20.

Do let me know if you find it useful and want to see more like this as it took a lot of time and energy to create — it'll help me justify spending time to create more.
Rdio had an api that let you playback songs with a valid user token. It was really sweet.
No need to swap data for drinks, says privacy body
I invite you to try attaining home equity in California through labor. Vanishingly few people in the highest reaches of the state's most lucrative industry are able to do that.

These prices aren't made out of saved-up paychecks. Not even for white collar jobs. They are wealth. A group of people who were in the right place at the right time, trading amongst themselves. When an uppity little worker somehow makes enough to break into their club, they take it as a reminder about how that pesky income inequality really needs fixing. Turn up the taxes on wages until he goes away. But no more taxes on our ownership. That's out of the question.
To be comparable in size we should look at what they do. The three game engines originally mentioned have everything from physics to an entire visual IDE. A comparable smaller project is Godot not entt.

A comparable ECS implementation is what you’re after. Is entt tiny in comparison to similar projects.
- The amount of junk food that I buy: That I'm fat
Might just be a bit of burnout. I've been a professional programmer for almost 50 years. I love it. But every 10 years or so, I fantasize about throwing all the computers out the window and doing something totally non-tech. Usually lasts about 6 months, then some new tech grabs my interest and I start all over again :-)

No matter how much you love something, you need the occasional break..I think that's just human nature.
You can relock the bootloader with other roms as well, some people do it on the oneplus 3.
They Put the Bite in Trilobite
There is a wide spectrum here though.

I would still write code if not paid for it. I just wouldn’t write code for you. I am paid to use my code writing interests for your goals.

I have no interest in ever being a toilet paper salesman and would never try to hawk toilet paper in my free time. You need to pay me a lot to do that.
You can check-out any time you like, but you can never leave.
I was thinking more along the lines of disposable/virtual credit card numbers..
Can you recommend a few places? I really struggle getting specific parts in LT.
There's a huge difference in the performance levels you're talking about, which creates a risk of unintentional equivocation.

I've written long rants about this in the past, so let me draw a picture instead:

codecs,
chrome old spotify slack, teams,
renderer | current spotify
| | |
|--v----------v----x----------v--------|
FAST | SLOW
slow enough
to notice during
casual use

\________/\________/\________/\________/
| | | |
overkill | bad UX |
| you're just being
good UX mean to users
(your app should be here)
It was easier than we expected . The emulator we are using represents the ROM with an object that we can modify with a JavaScript Proxy. Every time a read happens we record the address into a Set.
Yeah I also like that about china. For example this time it didn't interfere
https://www.theartnewspaper.com/news/genghis-khan-exhibition...
Could site countless of other examples of the chinese not meddling
It's astounding how slow the rollout is in the US. I'm 22 and in Australia and I have never used a magnetic strip card and have used the insert chip method less than 10 times. Not a single card machine does not support contactless and only weird edge cases like refunds require you to insert your card.
Transferring playlists is pretty easy. There’s a web app that connnects to most services and moves tracks between them
I'm making an app like this for Japanese, however it doesn't have preset lessons yet. (I'm planning to add more structured lessons in the future.) For now what I have are a bunch of vocabulary lists for various shows/novels/etc. which you can pick and learn the vocabulary from, and then you can use the app to find the next show/novel/etc. where you'll have to learn the least amount of new vocabulary to be able to consume it.
Lots of Jimmy Johns in my area (circa 2012) only had swipe readers for some reason. But around 2014 they started upgrading to chip readers.
If you make a ludicrous claim the onus is on you to provide some resemblance of evidence to back it up, the extent and reasons you go into avoid doing so is obvious and transparent.

VS Code is a good general multi-purpose text editor that I use daily, but it's nowhere near the responsiveness and performance of a native editors like Sublime Text.

Opening a 1MB text file with no other VS Code windows open takes up 350MB, Sublime is 48MB. If I want to view a file quickly I'll use a native text editor. But please keep baselessly spouting how Electron produces the snappiest apps and how it's everyone elses fault for assuming just because every Electron App they've ever used is slow, it's not Electron's fault - which apparently when used in stealth internally produces just as fast and snappy UX's as native Apps.
> pay all kind of things quickly,

By design transactions take an hour to confirm.

> easily

It is easy (except for if you ever misplace your private keys, which I guess is also easy)

> and anonymously in everyday live.

Again by design, it is a public ledger of every persons transactions and bank balances.
Optimizing Nitrogen Balance Leads to Better Outcomes in the Neurocritically Ill