skysight-inc/HackerNews huggingface dataset:
> Does using this construct allow me to put some things in the "that doesn't matter here" bin

I've been doing this year's Advent of Code in Unison (https://unison-lang.org/, no affiliation) and I've found the form of algebraic effects used there (Abilities in Unison parlence) great for "that doesn't matter here".

For example, the `Abort` ability allows me to stop control flow deep down inside my code at without having to "thread" a bunch of monads or Maybes or Eithers through all the intermediate layers.

In one case I also used the `Store` ability to accumulate some metadata about a simulation as it progressed without having to "pollute"[^1] all of the intermediate layers with explicit handling of the metadata.

[^1]: the abilities do appear in the type signatures, though.

https://www.unison-lang.org/learn/fundamentals/abilities/

https://share.unison-lang.org/@unison/p/code/latest/namespac...
> with a network that deliberately drops maybe 0.5% of packets, and delays some at random!

I've seen Sun's Crossbow stuff in use once, but it made quite an impression - it allowed testing many failure scenarios with relatively little effort.
Swift is a very powerful and robust language. I would expect that they keep going further down the stack with it but the problem will always be, "is it worth investing in a language refactoring on an existing codebase?". I presume all but the lowest level (or server-side) new code is in Swift at Apple nowadays.
God this is going to be shit.

>You want to use Waze, Translate, Maps or anything else owned by Google? Download the Play Store now! We've blocked Youtube from being used in Safari for your safety. Please download Chrome from the Play Store to continue.

>Would you like to use Whatsapp, Messenger, Facebook? Download the Metaverse now.

>Would you like to use Signal? Download the scamcoin app store now.
Why not to use any A.I. tools
Simple. Trained on the free work of millions.
In the open for OPTIMISATION.

With every response, you give your future to the A.I. overlords.

Then they will restrict the access for the masses and remove you from your job.

I don't have any hope that someone, especially here, will realize the danger. After all, the humanity is dumbfounded to the extent of self-destruction. But, hey: Ecce homo.
https://tiagoev.tatamotors.com/

this one is $10k, double the 5700 but it has global ncap of 4. range of ~250km and the brand is solid enough to trust your life with (as opposed to manufacturers in india who have ncap rating of 0 and they still sell like hot cakes)
I started using yyyy-mm-dd for everything, since that is the most text-friendly sortable date. I haven't come across yyyy-dd-mm, but I'm sure someone uses it.
Project Overlake is the current iteration
Presumably it's so big that this amount adds up, and it's sufficiently isolated to heat up without losing too much power towards the outside
Wikipedia has a surprisingly detailed article about it:

https://en.wikipedia.org/wiki/UK_telephone_code_misconceptio...
Wow. I've been wishing for this for so long, especially for use in Electron (and things like https://github.com/nativefier/nativefier specifically).

Mr. Gorhill, if you read this: Thank you. You've made browsing the web more enjoyable (/bearable) on a daily basis for me for many years.
I wonder if Google+ could've succeeded if Google had evolved it from Reader somehow. Start with the product people are actually using, develop it until it's the product you want people to use?
No. But why would you expect that? .0 is for the general population but if you're a power user with a mix of libraries and applications and configurations plugged together over the prior decade to make your 'World', you need .1 or .2.
Everything in this world that lives, dies. "It will die anyways" is not good reasoning.
I'm also using it. It's not maintained. It might stop working with any of the next browser updates and has been like that for years. I've been told that uBO can do the same things and I started looking into it weeks ago, then got stuck. The UI of uMatrix is so much better than the one of uBO at selecting the scripts to run and block that it could become a case study in interaction design.
Great system if you can make it work, but speaking from experience the physical medium of pen and paper was too limiting for me.
I found I had the most ideas/todos to note down when I didn't have my journal around me, at places like the gym.
I know that, and I did read that article. I wasn't criticising algebraic effects, I suggested it may indeed have something on the mere "power" of constructs that can implement the same flow.

That said, the article didn't make me much wiser on what's the point. I could sort of see it if it came with guarantees in the type system, I guess.
https://timfordphoto.com/lossless-422-digitizing-of-video-ta...

if the camera is working and has RCA plugs
There's nothing stopping you implementing your own contactless payments, you just can't use Apple pay.
For me:

- Climate change = nuclear power

- Online social media abuse (e.g. Twitter) = shareable and transitive block lists
Yes, by ensuring that the average consumer is so poor that they are forced to use the cheapest possible option and then you produce that cheapest possible option for them.

The big money beats the next cheapest product by a tiny fraction, but that's enough to take them out of the market completely. Then, in the absence of competition, the big money can start to boost its profit margins again.
As a counterpoint, my "Software Engineering" degree was accredited by our national engineering professional body... to be deemed a "chartered software engineer" I'd have to pay dues and get a referral from a practising engineer. I know one guy who did it, but it confers very few advantages that I can see...
I did something similar as well
Three is also the worst network, switch as soon as you can
Does this really count though? They said returned it because they weren't expecting it, long before any of the shady news about the company came out.

I can respect that move in general, but it's hard to see it as a response to the scandal.
ever since i got vaxxed, my body always feels odd or out of sorts. never felt like this ever before in my life. i eat healthy, hike, run, and get out a lot, and still my body feels off.
Isn't that a VPN?
You, like the previous commenter, are stating the obvious. What's mystifying is the general tone suggesting that what either of you are saying is supposed to be insightful.
There must be some language pair that has some collision with that.
Any of those will do as long as you don't drag in javascript crap.
There are also architecture principles (e.g. onion architecture) which make the core of applications free of dependencies because there are the essence of your business logic.

Without having read anything here with uBlock, this could be the url matching and the calculation if a block is applicable. Then you build your hosting, UI, testing, database, etc.. as layers around it which consume the exposed interfaces of the internal domain model.

This produces highly portable modules. I have for example implemented a communication protocol against a stream interface. With this architecture we bound it later in 3 applications (Service, Cordova App, Windows App) to up to 3 different IO methods (USB, BT, TCP/IP) in even 3 programming languages (C++, .NET and JavaScript) doing communication with the same device. And 3-4 years ago, we even played with WebAssembly ... but that was not yet ready.
CZ Binance: “deposits are coming back in”
I'm currently on 3 UK and considering switching, who should I switch to?
I really hope is not Vine/Twitter.
Is there an open source phone network that one can switch to?
Chamath is probably just as sly as SBF; Shy of committing fraud, he dumped horrid businesses on public via SPACs.
Corporations want to cut costs for record profits by firing employees and replacing them with Robots or AI. It cannot be stopped. A few of my friends killed themselves because there was no future for them as they couldn't compete with AI and Robots.
Sounds like a backronym
Changing DNS servers will not get around the UK ISP “adult content blocks” in my experience, but using a VPN will.

Generally it’s a good idea to disable ISP content blocking if you can, because they can cause all kinds of problems (slowdowns, false positives).
I want to see the shock on the faces of the people who support legislation like this for the sake of the children.

Of course this was going to happen. If it gets enough blowback there will be a statement claiming this was a mistake. But people warned everyone, scope creep is real, if you allow governments to restrict access for one reason they'll use it to restrict access for any and every reason. This starts with pornography, then it will be anonymous services to get around the anonymity, eventually it will be "please verify your identity to access internet services".
people who complain about this remind me of Gary Gulman's comedy set on how the state's got their abbreviations.

https://www.youtube.com/watch?v=dLECCmKnrys
I once found a huge trail of lemmings outside leading up to my cat. Quite difficult feeling for somebody who loves cats and also all other creatures. Luckily the cat has fully adjusted now for an indoor live.
Nothing is guaranteed (it amazes me we don't have some exchange offering actual signed off proof of at least main reserves).

That said, withdrawals have resumed and given Binances policy of treating USDC USDT and BUSD interchangeably they physically cannot maintain reserves for the TOTAL liability in EACH coin...
Can you read the room or will you keep being a smart ass ?

> No one is perfect. I'm sorry for being snarky, but how else can we make meaningful change without starting with personal responsibility. We can't blame big food for our choices.

Yeah. Actually we can. The marketing and psychological warfare big food is waging against customers take its toll on personal responsibility when it's time to cook something after your second job night shift.
I wasn't even aware of the New button after years of casual browsing :) When I discovered it one day, I felt bad that I hadn't contributed to sorting through the crap.
Now just let's wait for Coinbase and let's call it a day then. Was a good ride.

Pionex, Bitstamp, Crypto.com, Gemini, ... will not survive this with the others gone.
> One of my pet peeves is "The Useless Use of cat Award". Someone awarded it to me as a teenager in the late 90s and I've been sore ever since.

Wear it as a badge of honor! It marks you as a person who puts clarity, convenience and simplicity before raw performance. I can't think of a single case when that bit of performance matters.

Needless to say, I'm happily using cat (uselessly) myself and have no plans to convert.
Because Apple forces them to comply with privacy rules in the App store. The google store won't
In at least some parts of the UK brick clad wooden houses, which I would imagine are probably balloon framed, are somewhat common in new developments (East Anglia, for example).

Insulated cavity walling with blockwork inner leaf and brickwork outer leaf (or sometimes rendered blockwork) remains incredibly popular though.
That is very nefarious. You can cancel ATM fees but withdrawing unlimited money?

Just deposit the money before withdrawing it.
Long term (~50 year) average stock market returns on reasonable indexes (like S&P500) is 10% per year.

The only real challenge is a portfolio mix and withdrawal strategy that minimizes the damage from withdrawing during downturns. That's where the 4% rule becomes relevant.
I'm surprised they don't have the option to verify age via credit card (usually a 1p transaction that gets reversed).
Ask HN: Anyone else not so excited about the metaverse?
I currently don't get the appeal of the metaverse. So far, it feels kinda clunky and poorly executed. Even in it's hypothetical best form, I'm not sure it beats real life or a zoom call.

Can anyone suggest why it's going to be the next big thing, and why is Facebook doubling down on it?
AVR (for example, old Arduino boards) and xtensa (like esp32 developer boards) are the only ones I know of. Most of the desktop OS platforms are supported by both.
Very interesting. Makes sense, in a way, but of course that makes your investment into the building quite precarious.
> the Russians may start wondering if the US aresnal actually works, no?

If anything the last year or so has probably made the reverse happening and the US and its adversaries likely both have very high confidence in that the US arsenal actually works.
> ENIAC was the first programmable, electronic, general-purpose digital computer, completed in 1945.
Yes but if you need it somewhere the conduit doesn't run, you've gotta bang more conduit into the wall.

Frankly I find it terrifying cause I don't think the contractors know anything about that structure of the building and who knows what they're doing to the structural integrity of a building in an earthquake zone. Like I said I'm ignorant of this stuff so maybe its not a big deal.
When I start to see walls of text I power scroll through the article to see headings and conclusions.

I can quickly see if the article is written with me as the audience or if someone else is the intended reader.

If you find the right technologies - starting up a company to do whatever "should" be done has never been easier.

Software is capital? I don't even get this at all... why shouldn't startups be rewarded if they produce something people want?

This article is written for people way smarter than me. I don't know who he's trying to convince.
A recent article suggests the banks writing those loans currently think they're worth at least USD 9 billion, but still less than the original 13:

https://www.reuters.com/markets/us/musks-banks-book-twitter-...
That's because the periodic table is essentially about chemistry (i.e. about electron orbitals), not about nuclear physics (i.e. the atom's nucleus). For example it doesn't talk much about isotopes, aside from usually reporting the average atomic mass.
Buck2: Facebook's Build System Successor of Buck
They treat all the big stablecoins as the same (you own "dollars" and you can withdraw using any stablecoin you like). So logically there isn't a a defined amount of USDC they should have.
I recently did an interview with Sahil and they’re still doing it. I believe they’ve iterated on it and changed parts of their policies though as they’ve gone along.
> I don’t think MAD is all that effective. At this moment in time we’re seeing:
> * Several concurrent arms races in the Middle East, Asia, and Europe
> * A high intensity conflict in Ukraine
> * China threatening a land invasion into Taiwan

I mean... Only one of those is an actual fight. And there MAD doesn't apply because the defender doesn't have the Assured Destruction capability needed.
This was certainly true for many years with their awful 4G network. But their 5G network is excellent if you are in an area with good coverage.

I’ve regularly seen over 800 Mbps in London, consistently faster than any of the other networks.

(On the other hand, I wouldn’t pick Three if you value good and consistent coverage. But if you are using it from a fixed location with a good 5G signal, it’s great)
I don't think property being subject to confiscation at any time is exactly the same thing as "no private property".
They'll possibly get some money for making the deal happen at all likely as a retention bonus or severance bonus.
The OTCA metapixel has 2048x2048 cells and a period of 35328. That's a total of 18.5 GB. And that's not counting the different states depending on neighbors and on-off-transitioning state.

Even with compression that's a lot of data.
> We aren't "heating up the planet" .. we're "insulating the atmosphere".

We are doing both. We are doing more insulating than heating, but we obviously generate more heat.
> „I have a partial understanding of a related concept and zero knowledge on the actual topic, so let me write a blog post“

Would you prefer me to not write about related concepts I do know about, or just to omit the disclaimer next time and confidently pretend I know everything?
Does this mean I can now finally generate object files from .rs sources and link them myself?

That is one of the things that rustc is severely lacking.
We can't blame big tobacco either. Let's remove taxes on tobacco and make tobacco advertising legal no matter what. Let's also stop subsidized detox clinics, those addicts have their own free will after all.
Yes very common in Germany and other European countries as well.
There's a reason the people behind Bitcoin chose a throwaway name. I guess you named that reason.
There's not really entanglement AFAIK, but Bluesky did an investigation of existing decentralized network protocols and ActivityPub was one of them. There's a paper reporting the results of this investigation, but I do not have the link at hand.

Update: It looks like the paper has been split into various README's on this location: https://gitlab.com/bluesky-community1/decentralized-ecosyste...
It really depends who that million people are... Definitely not bots... maybe a million active users? maybe people like me that doesn't use the platform that much but don't want to give elon more money nor attention? (which I'm clearly doing here)

It is a big deal if a million of active users leave.
Gosh, I laughed pretty hard, and I'm sorry :) Govno means shit in Russian (my mother tongue), and some other slavic languages.
Some context: https://gizmodo.com/elon-musk-shadowban-elonjet-private-jet-...
Remote ssh is built into vim. I think it's formally a plugin, but it's installed by default.

Of course, if you don't use too many plugins, vim is also designed so you can run it remotely. I use this sometimes to have a long-time running vim session on a remote server, using tmux or screen to reattach when I log in.
This sounds great on paper. However, the reason "Engineer" matters is because regulation requires it. If my company is required to get a sign off from an Engineer before software is updated, then you can be 100% sure those who are qualified to sign off take their title seriously. Until then, it is just a fancy title.

My impression is that this title comes from the practice of "software engineering", not necessarily that the practitioners are licensed Engineers.
> an overabundance of hills.

That's not sufficient for pumped storage at scale, but Germany is mostly focusing on hydrogen for now.
It's pretty frequent that embedded chips will have patched versions of GCC in their toolkit.
How is information on order books non public? Usually crypto order books are public APIs.
You violated policy by framing. That's a scummy thing to do. You did not "earn" $10,000. Amazon owes you nothing.
Not really. Perhaps have a look at the Prosemirror codebase. It can work with hierarchy and also supports collaborative editing.
If nothing else, be sure to play the track in the middle of the article. Search for "Virtua Fighter Kids".
So there was a “secret” D round where certain higher-ups were able to buy preferred shares and, basically, negotiate a salvage fee while the ship was still sinking? Who got those shares? I want to make sure that I don’t work with those guys in the future.

What happened to the regular employees who believed in the company enough to exercise their options? I’m assuming they were paid way less than market for the better part of a decade?

Nothing? Just: “Fuck you, I’m eating.”?

There was a layoff in August.. Did they let the people they let go know that they were cooking up a deal that would make their vested options worthless? Did they put a time pressure on them to exercise their options after getting laid off? Did they give their money to SoftBank?

These are very rich men whose company failed. I can’t imagine cashing out while screwing over everyone I worked with along the way. I couldn’t do it. At least face your people and say “Sorry this happened. We’re all in the same place.”
AVR should be working these days https://github.com/llvm/llvm-project/tree/main/llvm/lib/Targ...

Unless you mean some specific chips?
Show HN: We've built something to make our (and your) product easily extendable
Shkreli did not get “hard time”, he got a basic, well-deserved prison sentence.

I find it distressing that folks keep pointing out that the investors did not lose money. Are they deliberately ignoring the fact that Shkreli had no right to take criminal risks with investor money?
They do [0]. You can also do it in their app if you are on a contract and therefore over 18 by definition.

[0] http://ask3.three.co.uk/srvs/cgi-bin/webisapi.dll/,/?new,kb=...
IMO it's dependent on your location as network performance can vary wildly. Might be worth getting a PAYG SIM from EE and Vodafone/O2 (they share networks) to test speed, signal strength etc.

If you are on a contract I would wait until next April when the yearly inflaton price hikes are announced.

FWIW I am paying Vodafone £7 pcm after cashback for 200 GB 5G data, unlimited minutes and texts.
>That will change with this law, finally. Or put them out of business. That's a good thing, don't you agree?

Or here's a novel idea: Try not to support coercive laws and rules that seek to stamp out the possibility of people having unorthodox or somewhat unusual voluntary payment preferences, just because you don't personally like them.

>If you having to pay transactions >10k frequently enough that network outages block you, I'd wager you're doing exactly the kind of something this law should prevent.

Because somebody has cash and payment needs, or levels of preparedness that your own narrow thinking doesn't digest isn't a good reason to automatically assume that they're probably a criminal who should be targeted by invasive and authoritarian controls. Frankly, it's something of a sick mentality to immediately treat with suspicion of criminal activity those who support or personally prefer conducting their financial affairs differently from how you do.

As for your final comment, People wanting to transact privately aren't nuts and bolts to be removed from the scene by some nasty, dirty little toolbox of edicts by politicians who regularly protect corruption on larger scales. It's absurdly malicious, or at least plain ignorant to think that way. There are much more fundamental and obvious reasons underpinning the fight against parasitic, invasive financial laws. Read a little about both modern politics in much of the world and modern history even in Europe itself to at least slightly understand the basis for resisting these rules on cash.
Rewriting TypeScript in Rust?
I think the education, Jane St, etc... is what allowed him to be naive. He never had to do the grunt work of running ops at Goldman Sachs to earn his stripes. He just skipped to the fun part of mansions and TED talks.

Anyway, it's clearly fraud and he should go to prison. And in some ways maybe the callous disregard for bureaucracy and controls (we don't need these, it's a waste) is worse than if he had malicious intent (I'm going to take all this money and run). For the person with malicious intent, there's not much to do other than build rules to constrain future people like that since they won't learn from the punishment of others. For the person with disdain for mechanistic controls and regulation however, we do need to show that it's just not acceptable to bypass that stuff and that society will punish you severely.
So you expect engineers to have a comprehensive knowledge of their companies media output, to use when qualifying the legality of code changes?
Agreed. In Ireland the term would be "Chartered Engineer". Pretty clear I would say.