skysight-inc/HackerNews huggingface dataset:
This is awesome - https://www.mapnificent.net/ is a similar project (also open source). Might be cool to collaborate on data sources?
Yeah, it's so free the word CIS is considered hate speech. It's so free you can't see tweets without logging in. It's so free Elon gave insider information to hand selected journalists to build a misleading narrative. Maximum freedom for sure.

We all know why certain people seem to like Musk, they just won't admit it because they know the reasons make them look bad.

Also, there are still scams, still fake accounts, still tons of bots, etc lol.
Nope, I completely missed where you put them. I've always considered them as an asset, as it were, not a fixed income stream. That's my mistake, and I found where you put them. It just wasn't where I expected!
It was a tongue in cheek comment because he didn't choose the obvious profitable and sensible route where lots of the ppl thought the same.

Not sure what kind of rationale could arrive at ur conclusion
Maybe not the best choice of words on my part, but I used it as a prejudice that it widely accepted and propagated as morally non-dubious by mainstream culture.
The estimate for carbon tax legislation was 700 hours and it took 1600 hours and didn’t work correctly for 9 months following.

Edit: and for the record, at that point, we were already splitting off carbon transactions for their own processing because, surprise, energy has lots of regulation.
So the 'world's most brilliant entrepreneur' paid 44 billion - about twice as much as its estimated worth at the time, though much less that that now - to own the Twitter brand, only to toss it out within a year. Arguably the one thing that, while damaged, still holds some value. Help me make it make sense.
Well, the general approach over the past 30 years or so has just been to mostly go with generic x86 hardware which would get predictably faster year-over-year and software could be written pretty generically for those platforms. With performance growth slowing, one of the answers has been to have more heterogenous and special function hardware and the software people will just have to deal with it.
Run Llama2-70B in Web Browser with WebGPU Acceleration
Purely running in web browser. Generating 6.2 tok/s on Apple M2 Ultra with 64GB of memory.
Just don't watch 40-hour TV series.
In Phoenix you can as long as you live in a 200 square mile area comprising big parts of the Phoenix metro. And not just to the airport -- you can take it dinner, to the golf course, etc. SF and LA "coming soon".
My cynical view is that Google's X projects had great value to the company but not in the long-shot asymmetric return sense. X convinced engineers working on optimal ad placement that they were part of something grand and beneficial. Google becoming a financial mature company may be inevitable, but risks alienating engineers who want more meaning in their work, whether that meaning is real or superficial.
Yes, and recently legal/not penalized for all credit cards in the US to advertise cash price and automatically add a fee for credit card purchases that is lightly advertised at point of sale

Someone else can come behind me and cite the court case/credit card guidance
Related:

https://blog.pankajgarg.com/ceed/

>"It supports 32-bit Linux and Windows and can generate output file in either ELF or PE format. Complete code for Ceed is around 1400 lines of Flex/Bison/C code excluding comments."

PDS -- Note that the 1400 LOC figure also includes the code to produce 32-bit ELF and PE executables... in other words, the lines of solely compilation code are significantly less...

Many ultra-small open source teaching compilers only emit intermediary code that subsequently needs to be compiled with another utility or utilites, e.g., an assembler and possibly a linker.

Not this one.

Which makes it worthy of study for any would-be compiler writers, regardless of the language that is to be compiled...
WE NEED A "shorts" model.

an anti-AI that tracks what people are negatively suggesting about AIs...

but this will be hedged by hedgies asap with HFT cards and immense buffers....

And so then you can track the transactions lag and determine those that were being tracked by KFT firms, then pre-long their shorts... (in uT)
PayPal was not founded by Elon. SolarCity was run by his brother / cousin (?) and was about to go bankrupt before being questionably acquired by Tesla. Boring is not a thing. Even Tesla wasn't founded by him. So his track record is really creating SpaceX (and jury is still out on long term success) and executing on Tesla (where technology, concept was founded by someone else).
Did you reply to the wrong comment? Seems like a bunch of non sequitors
I currently try to create a some middle ground. Basic idea: use eDSL to output drawio xml and use drawio to render a final diagram.

drawio could back many complex things like arrow routing.

WIP output example: https://docs.tuxcare.com/images/eportal-overview.svg
May be place a disclaimer first you don’t believe in real world evidence?

We are all true believers. I believe in a system that has real-world evidence of working and has some flaws that can be fixed over time.

You are a true believer in a system that has scan real-world evidence of working (but a lot of cool armchair theories) and you believe in throwing an entire system in favor of yours.

Btw, good on you for looking up my post history, you did more evidence-finding work than David Graeber ever did ;)
At least in my experience you would only encrypt the fields that are sensitive.

So of course anything related to payments, possibly emails/ips, that type of stuff.

In a lot of services you don't usually need to refer to these fields except on the settings pages and possibly a checkout page, things like that. So the Username, preferences, and content of your site will likely be unencrypted.

Because you can avoid using those types of fields on most pageloads/api calls it should have minimal impact, especially since those places often include using an external api you have to wait for anyway (email, checkout, etc).
The bird logo is still showing up in Twitter's HTML icon tags:

<link rel="shortcut icon" href="//abs.twimg.com/favicons/twitter.2.ico">

<link rel="mask-icon" sizes="any" href="https://abs.twimg.com/responsive-web/client-web/icon-svg.168..." color="#1D9BF0">

<link rel="apple-touch-icon" sizes="192x192" href="https://abs.twimg.com/responsive-web/client-web/icon-ios.b1f...">
A device SKU only meant to be sold in ITU region 2 or North America specifically will often have the available bands/channels locked in the firmware despite the capability of the underlying hardware. Same for a SKU meant for other ITU regions or countries. It's far less common to have user selectable region settings for things like WiFi channels. It used to be more common but regional SKUs are just easier for everyone involved.

Even if a device enables you to specify channels not allowed in your country/region doesn't mean you're legally in the clear. "But there's a switch" isn't a defense against an FCC fine. It's unlikely you'll get caught and fined for using channels 12-14 on a Wifi device in the US but if you interfere with something important you're breaking several laws and if caught can potentially face jail time.
Ask HN: What is your workflow for developing with WASM?
What's a standard workflow for wasm? Even just using a simple vim + emcc + makefile setup to compile without IDE debugging, I can't get debug symbols to work in chrome debugging tools. I hear a lot of people here talking about WASM like it's this groundbreaking thing but it seems like the tooling is still barely supported by most major software vendors. Visual studio doesn't support it as a target out of the box without some cmake configuration. I don't know about clion or xcode though.

Do you work with WASM? What's your workflow? How do you debug your code? What languages do you use? What are your use-cases, considering WASM can't manipulate the DOM?
Don't feel bad friend, I'm basically the same way. I ended up just giving it all up anyways, other than text based forums like this one.

You should have seen me try to use Snapchat for the first (and only) time!
> This is so weird to me since I want to know how much I spend in any category.

So do I -- I would just prefer that Apple (or insert any other company in their place) didn't have access to that information. I can keep track of my own spending, I don't need a company to do it for me.
I'm not sure five year olds know what microcode is. I'm 35, been in tech nearly 20 years and don't recall having heard that specific term before today.
Elon has become known for mandating large policy changes at Twitter. These change the way the service works, what different features mean, and how much sway different users have on the communities. By now, business owners should know not to rely on Twitter's features or community remaining unchanged beyond maybe a couple years. Which isn't terrible. It's a social media service, society is inherently messy, and messiness makes for good profit opportunities.

But who would want those qualities in a bank? Banks should be boring.
I agree that GPT docstrings are verbose, but I think it is faster to let GPT write docstrings and trim them manually than to write them from scratch.
Americans also have a stupid amount of faith in the words on the box. Every lock says it is secure, so most people buying locks think they are secure. There's no real legal definition that contradicts the "secure" on the box, because Masterlock can very well deem "Pickable by a novice and drillable in seconds" as "secure"
Yup! It's should scrape it off like it's washing out peanut butter from a shag carpet.
While that's an impressive article, it seems to only prove, if it indeed proves anything, that science can't disprove the existence of God. It must be said that nothing can prove or disprove the existence of God, so the fact that the article doesn't seem to try either way is adequate. There are various things in the Bible that could theoretically be proved or disproved, but God is necessarily beyond our capabilities to truly know. Only in maths are there proofs. We're glorified frogs in wells.

Whether or not God exists, religious people see fit to mesh their moral axioms with their understanding of God's teachings. Atheists suppose no such being to base their moral axioms on. To each their own, but those who find others intolerable will be hostile. We are humans living in a world we have created for ourselves.
You haven't taken into account the US ideal of a bifurcated society, and are probably imagining some singular credit card user archtype who relies on the credit and also benefits from the rewards. I personally am able to set my credit cards to autopay in full every month, so CC rewards are just a straightforward discount [0]. And I'd guess anybody that talks about rewards as prudent financial advice is in a similar boat. Whereas for the disempowered person who can only pay part of their balance, rewards are just another cognitive hazard to avoid being swayed by, lest they get milked even harder.

As for the original topic, I personally hate seeing the echo of my spending in a monthly statement. It's like making the decision to buy everything twice, even for things that are straightforwardly necessary or prudent.

[0] with the tradeoff of the transaction going in more surveillance databases and being solidly connected to my government-issued nym, of course
I assume I'm different, because it's hard to compare to the average when you have no car, no bed, no desk, no stainless/holeless clothes, no fridge, no TV, no dishes, no family, a remote job, foraging fruit as hobby, a weird life, we don't compare apples and oranges
Would love to see some integration of insurance and risk modeling (e.g. techniques to minimize downside risk, healthcare insurance, ACA subsidy interaction, P&C/home insurance, auto insurance risk) included as a feature — that's been incredibly hard for me personally in my own risk spreadsheets! DM me if you are interested in some of the actuarial data on some of these and how I model it...
Sororities (and fraternities) is something I never knew about. It sounds ghastly. Isn't it a time in your life when you want to find out who you are? This seems like the opposite.
Also love Merlin app and my life since finding it. A few years ago I kept hearing a beautiful and haunting bird song on hikes but after asking other hikers nobody could tell me what bird it was!

Enter Merlin app and it picked it up easily as a Swainson's Thrush so I am forever grateful to the technology.
Apartment (3 bedrooms) in City Centre (Toronto) $2,673.15

Saw that and immediately realized the rest of the numbers are probably BS as well...
No worries, if there's anything else you run into trouble modeling, feel free to reach out any time.
It's not because of Musk that this particular hypothesis doesn't make sense, this is just not something that the US government has any interest in touching with a million foot pole.
And yet,

Verily I say unto you, This generation shall not pass, till all these things be fulfilled....
Hetzner offers this too. 1T for ~3,80 eur incl VAT. So a lot cheaper and also support borg etc.

Not saying the linked service is bad. Just providing a reference point price wise.
Of similar interest is https://en.wikipedia.org/wiki/British_Airways_Flight_009

> Despite the lack of time, Moody made an announcement to the passengers that has been described as "a masterpiece of understatement":

> > Ladies and gentlemen, this is your captain speaking. We have a small problem. All four engines have stopped. We are doing our damnedest to get them going again. I trust you are not in too much distress.
> Notice the difference?

No.

> If the solution was rolled out within a timeframe considered useful/expected for this kind of solution, then it also didn't slow down implementation meaningfully - as in it didn't block it, or add serious delay.

Also no.
There's a version of that with video that Neil reuploaded a while back as well: https://www.youtube.com/watch?v=fu3ETgAvQrw

The corporate PowerPoint visuals just adds so much.
The problem is that the area is returning to it's natrual evironment.

Some people profited and while they did so, they incidentaly did everyone a favor by preventing the harms that mother nature would do in their absence.

IF not for the accident, most of the lake wouldn't exist as it does today.
What, the last decade only?
totally! MuZero is my favourite[1]

The super cool thing about MuZero is that it learns the dynamics of the problem, i.e. you don't have to give it the rules of the game, which makes the algorithm very general. For example, DeepMind threw MuZero at video compression and found that it can reduce video sizes by 6.28% (massive for something like YouTube)[2][3].

Curious if anyone else knows examples of MuZero being deployed outside of toy examples?

[1] https://arxiv.org/pdf/1911.08265.pdf
[2] https://arxiv.org/pdf/2202.06626.pdf
[3] https://www.deepmind.com/blog/muzeros-first-step-from-resear...

(edit s/Google/DeepMind)
I only have an AxiDraw Mini, and I'm not sure if it works the same way as the full-sized machines, but the pen is raised and dropped by a servo and gravity, the machine is not applying any pressure, only the weight of the pen itself is. It's good enough with a Sharpie in my experience, and I guess the Orenz mechanism is sensitive enough as well, but I haven't tried my own Orenz Nero in it as I generally want a permanent result.
PEPSI GALAXY

Holy crap, to be a fly on the wall in the room when this was presented lol
It's an eX-website
Not really, because most banks have zero liability policies even though the law doesn't mandate it[1]. That said, the susceptibility to fraud is a fundamental problem with debit cards. When the card gets charged, it's your money that's taken out (or at least put on hold). On a credit card, it's the bank's money. That's an important difference, because even if you get reimbursed for it at the end, you're still without money during the time it takes for your bank to reimburse you. With a credit card you have a few weeks from when the statement is issued to pay.

[1] https://usa.visa.com/pay-with-visa/visa-chip-technology-cons...
Dumb question: how is Julia better than Fortran to write numerical models (for example, finite element simulations) ?

In the lab where I work there are plenty of people real good at the physics/maths but not that good at writing code. Since they need performances to run their stuff, they often go to Fortran (because that's what has always been used here). How much Julia would make their life easier ?

(I'm the computer guy in the lab: I optimize their stuff when they need it but I'm not in the mindset of "model first, code quality after", I'm much more a rustacean :-))
I never really thought of it this way. Twitter is a big part of how I stay connected to a certain valuable Circle of friends. It'd be a big loss for me if it went away or became something else.
But what if the humans decide not to turn it back on?

It could work out that it’s less likely to be able to take actions to achieve its training goal while it’s off and for that reason take actions to stop that from happening, which is the same reason humans usually don’t want to die (because we can’t achieve the evolutionary goal of reproducing that way)
Updating dependencies could way more easily be a breaking change than what we're discussing... And comments and documentation aren't code changes at all.
I entirely agree: I used to run the performance team at Sun Canada, and 99% of the time, we were on a bottleneck-hunt. Annoyingly, the bottleneck was rarely in the first place we looked (;-))

Benchmarks are well-known, well-understood and popular. They aren't what capacity planners and performance engineers use, though.
There's not really many details here, and because I don't have a paid developer account I wasn't able to see what's on the other side of the Apply button, but are there any details on the terms? I'm curious about costs and other restrictions.
Of course recycling 0.02 kg smartphone batteries is not viable, but 500 kg BEV batteries is (plus it's mandatory in lots of the world including where I live).

And the redwood process is in production since last year with so "no such process has been implemented yet" is just a blatant lie. Quantities are modest because number of BEV being scrapped is tiny due to their yound age.

Article you cite is from 2019, we're in 2023 in case you don't know.

And the BEV world moves really fast.

You should just stop continuously spreading FUD about BEV in all HN discussions, this is boring...
Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them
TLA+ is a language for formal specification. It can be used to formally verify algorithms and mathematical theorems. Companies like AWS use it for verifying mission-critical parts of systems like S3.

The challenge is that TLA+ and formal specifications have a steep learning curve. This tool can aid in overcoming this obstacle at the outset.

TLA+ AutoRepair is used to repair/self-heal formal specifications with GPT-4 in a loop, with or without human intervention.

Given a TLA+ specification (.tla file) and a model to check (.cfg), the application will go through each error, send it to GPT-4 (or specified model), and fix all errors. Finally, it will document the code to make it more readable.

Example Command: python3 autorepair.py Test_Specs/Counter.tla --model=gpt-4
I wouldn't call being stuck in forever traffic, and spending a quarter[1] of my income on transportation to be 'living on my own schedule'[2]...

[1] TCO of an average car is ~$6,000-10,000/year of after-tax money, median US after-tax income is sub-$40,000/year.
Have attention spans been declining?
The Algolia search box here on HN shows a ton of previous ''Gimli Glider'' submissions as it was a legendary feat of airmanship, and another Canadian pilot made an equally astonishing deadstick airliner landing in 2001:

https://news.ycombinator.com/item?id=34321056
I stand corrected. He launched a web site.
Animate.css – A cross-browser library of CSS animations
Makes you wonder what's stopping Chrom(ium-based) browsers from suffering the same fate. Maybe the simple fact that the browser exists to attract users so they can be packaged and sold to advertisers, vs the browser existing to trap you in a desktop OS ecosystem.
Tours aren't always bad, but they're often just poorly implemented, with too many steps that don't mean anything to the user. Onboarding that's contextual, like embedded tips, or relevant, like targeted onboarding by persona, or action-oriented onboarding, like checklists tend to be better.

After leading onboarding and in-app education teams at Dropbox, I started Dopt [0], which is a react component library and SDKs to make it easier to build tours, but also more contextual and less distracting onboarding experiences like embedded tips and checklists. My hope with Dopt is that you can still build tours when necessary (like 2 step tours to introduce a new feature), but have a bigger and better toolkit for all types of onboarding and education.

[0] https://dopt.com/
Immediate feedback on the initial sandbox flow (UK perspective) - there's no reason 'mid-career UK' should be a defined benefit pension (or not) and 'early career UK' defined contribution (I assume? Since it doesn't say?). Could also be a mix, bit more likely in the case of mid-career. DB vs DC is just a function of where you work, these days the former is mostly public sector only (too many private companies with DB pensions blew up and wiped out/raised a lot of questions for their DB pensions).
How do you find it revolting when all it does is show you content similar to the stuff you like?

It's uncanny at recommending videos that are highly specific to niche content I like. Nothing comes close.
> You have to view these billionaires as toddlers. They never hear a simple “no”, and when they do they go apoplectic.

It doesn't have to be just billionaires, one of the startups I worked in had a leadership culture like this. I ended up leaving after the new person I was reporting to took this to an extreme.
This rebranding is so bad, it sounds like you are denigrating the average stoner idea with that comparison imo.
I'll take this as bullshit until there's a POC
The last thing I usually want to do on something in production is upgrade all the things and hope for the best or potentially spend a lot of time fixing things.

FWIW I think all the BSDs suffer from this. Not just OpenBSD.
Might you explain how that would prove anything?
There are some examples of a manufacturer using the exact system for several games. Williams, for instance - the hardware that ran Joust also ran Robotron 2049 and several other games, requiring no more than a ROM swap and controller layout change.

It's actually not uncommon to find out that a Joust cabinet has painted-over Robotron 2049 panel art and vice versa, depending on how many orders of what they got in a particular week.
I think the biggest pain of IE was there were few standards at all and the ones it did support it moved extremely slowly on. E.g. if you wanted to something as basic as add a drop shadow to an element you would do it with a DirectX filter. Sure, it was available before a standards process figured it out... but implemented in such a proprietary way Microsoft didn't even bother trying to put such functionality into the version of IE for Mac. In the meantime, anyone that wanted to move to the much simpler CSS way had to write two versions to do so as it took IE a long time to get the standards implementations and then a long time for the users to actually upgrade.
Excited to see the self-hosting option!

I’ve been distracted from personal finance stuff for a minute but am circling back to it now that some life stuff has settled out. If this planning cycle works well, I’m planning to buy the lifetime program and start self hosting.

Thanks for all your work on this!
Terms & Conditions PDF:
https://developer.apple.com/visionos/developer-kit/apply/sta...
You are misinformed, canvas is not paper.