skysight-inc/HackerNews huggingface dataset:
>So no one disables lazy evaluation. It is strict evaluation that is selectively enabled.

True of vanilla Haskell, but from the article:

> So we ended up with Mu, a whole-program compiler to a bytecode representation with a small runtime interpreter... Mu has a strict runtime, which makes program performance easier to analyse and predict – but prevents us from just copy-pasting some Haskell libraries that rely crucially on lazy evaluation.

If S&C is to count as a Haskell success story (which it's often touted as), then I think it's fair to point out that it's a codebase where strict evaluation is used throughout.
Thanks for the tip on YouTube Shorts! They can be such a time suck
thank you! Currently it's possible to export a json file by clicking the export button, I could implement a csv option if there's enough interest, I've created an issue to track that idea here: https://github.com/rare-magma/guitos/issues/40
Lamba/Func/Expressions are doing exactly this in C#, there is no instantiation required. Creating a unusable Ref object is jumping through hoops.

You can parse an expression to serialize it and run it on a different server etc

See e.g. https://github.com/6bee/Remote.Linq
From https://www.amnesty.org/en/2021-global-financial-report/

> 2021 was a record-breaking year with a total fundraising income of €357m.

And

> The largest proportion of the movement’s programme expenditure €26.4m (35%) was spent towards Goal One.

And

> 45% of total income spent on Human rights research, advocacy, campaigning, raising awareness and education

So ~20% (75m of 357m) was actually spent on real work, assuming everything reached end beneficiaries.

Interesting way of showing 45% of expenditure clubbing multiple heads, while showing 2% expenditure on "Maintaining our democratic system of governance".
And so it would somehow be imprudent to check the quality of that source of water?
I believe you.

Does the issue persist on other networks? I wonder if it's a DNS/proxy/something issue.

I don't know the particulars, but Firefox does some talking over the network at startup. It checks for browser updates, blocklist updates, captive portal detection, etc. I am not certain which if any of these happen at startup, and AFAIK none of these are blocking (but I admittedly have only the vaguest knowledge here)

https://support.mozilla.org/en-US/kb/how-stop-firefox-making...

Also just out of curiosity, what OS?
> I wonder if there's a fully self hosted passkeys option?

If external authenticators work for you, physical keys (like Yubikey, Solokey etc.) are arguably self-hosted!

For on-device passkeys, at least Android is preparing an API for this [1]. I hope that iOS will follow at some point, as well as Firefox (which unfortunately has been quite slow to adopt all aspects of WebAuthN).

> I'm also opposed to attestation. With TOTP I can use any app I want and back up my keys however I like.

In principle I agree, but some service providers like banks are legally liable for fraud losses (at least in some jurisdictions). I'd say they do have a legitimate interest of being able to verify which authenticators they trust.

Of course, it's being already exploited in a pretty much expected way: My government offers a (free to end-users, tax paid) e-signature solution. They support, among other authentication methods, FIDO – but only a very specific authenticator, of which the e-signature service provider is the exclusive reseller in the country...

[1] https://developers.google.com/identity/passkeys/supported-en...
What was the submission process like? You're a small startup so I'm curious to learn about what Open AI saw in your team to put you in the early batch of plugins
No, that’s a just lower quantity demanded, not lower demand; demand is the function mapping price to quantity demanded.

Its possibly that price level could over time effect actual demand (as well), that is, it could convert people who would buy at price $X to people who would only buy at a price lower than $X or not at all, but that’s not what your example is.

(It does, actually, induced demand from availability it observed, anf the reverse from the opposite condition would be logical.)
I’m a Linux user. I don’t have an android/iOS/macOS/Windows machine.

Is there a solution? Is this being used to push Linux users off the internet? Can I just fire up emulated Android and be ok?

Am I screwed? Googling indicates I am, indeed, screwed. Pretty concerned about this future.
No I still don't get it, it's like saying that infinity^2 is larger than infinity. If 0^2 is no larger than 0, then it must be the same for infinity.

I see how a list of reals is like 2D list of infinities, so one grows from the middle and the other grows from the end, but they're both still infinite. I guess I'm still stuck in a 'mechanical' approach and not a mathematical one. I'm not sure I want to leave ;) This has been fascinating to think about anyway.
Thank you. I think the native web can do so much without dependencies or bloat, and had to try and demonstrate its abilities.
But that's fine it can be a year or two behind the state of the art. That's not the point.

The point is that there will be alternatives and that will reduce the price in time further increasing the impact of the technology.

There was a possible future where only MSFT and maybe GOOG and maybe one or two other companies had this technology and extracted massive rents.
> everyone is trying to justify much higher multiples for early stage (pre-C) private SaaS right now

Growth adjusting à la PEG [1] might help normalise the data. Pre-C businesses should grow faster than public ones. That said, these are all heuristics—details like churn, margins and customer acquisition cost matter.

[1] https://en.m.wikipedia.org/wiki/PEG_ratio
We're actively making the only habitable world we know of in the universe harder for us to live on. Maybe "soon" on shorter time scales.
It won't go to an embedded pane. What they're doing is this: Edge recently released a sidebar, one app in the sidebar is Outlook. The idea is that if you click on a link in Outlook, the link opens in the full Edge browser, opens the Outlook sidebar and opens the email the link was from so you have context. It's not a bad feature at all, the problem is the dark pattern forcing it.
List of Crayola Crayon Colors
Btw: Open-source personal website builder. Set up your website within minutes
Education company Chegg loses 40% market cap: ChatGPT is killing their business
I don't care whether it's native or natural browser behaviour, I just don't see what problem it solves and I find it irritating.

I understand scroll snapping for a gallery, but this is text, and there's nothing more natural and ingrained then scrolling through text, so I don't think the default behaviour should be changed here.

Why shouldn't this be one long page that you can scroll through normally?
No I don't want that, I want an OS that's an OS and a browser that's a browser.
I can totally see that, and Sheets seems like the most capable app in the suite. And although I found myself frusted by Docs and Slides limitations, I know that they're perfectly fine for lots of (maybe most?) use cases.
You wouldn't transfer a passkey to your YubiKey. You would enroll it as another device that can be used to login. Like right now on my Google account I have an iCloud passkey and a Windows Hello passkey since iCloud can't sync a passkey to Windows (yet).
I heard that it's relatively easy to fire people in Denmark, at least compared to the rest of Europe. Once fired, they fall into the arms of a generous social safety net, so getting fired is not as harmful as it is in other countries.
As far as I can tell, what they're doing is this: Edge recently released a sidebar, one app in the sidebar is Outlook. The idea is that if you click on a link in Outlook, the link opens in the full Edge browser, opens the Outlook sidebar and opens the email the link was from so you have context. It's not a bad feature at all, the problem is the dark pattern forcing it.
Getting to 19,000 monthly clicks: Everything I learned about SEO as a beginner
It sounds nice (maybe too nice?). I always wanted to see that it would be necessary to have a "sleeping" phase in AI.

It always felt weird that we have to sleep, it doesn't seem to give any evolutionary advantages.
Visio documents can be edited on ODfB and SPO within the browser.

https://support.microsoft.com/office/overview-of-visio-for-t...
Doesn't work here either.
But I'm on Firefox on Linux, both of which are not yet supported as per the docs.

Firefox might get it around version 120: https://connect.mozilla.org/t5/ideas/support-webauthn-passke...
Doesn't this just mean giving control of authentication to proprietary systems like google?

I can't find a single FIDO level 2 (or higher) certified implementation that is open source?
To copy a reddit meme: text-generation-webui plugin when?
But seriously, this seems like an incredible upgrade.
This is a relatively easy problem to solve, give families more and more incentives to have kids. Personally I view this as a non-issue. If a population decline reaches a truly severe level, we'll just implement a more comprehensive solution
Follow-on question, what makes FPGAs so dang expensive?
https://archive.is/YQFJD (2021)
Its key role will be as a pitchfork-immune scapegoat.
Remote - Global or US only?
For software estimation, you can get a long way by just assuming that the distribution is lognormal.

https://jbconsulting.substack.com/p/task-estimation-conqueri...
Sadly the article doesn't go into details about how the programmable RAM is wired to the actual logic gates, which seems to me the most interesting and challenging part of designing an FPGA.

In my mediocre understanding of digital circuits, RAM is usually addressable, so it has to be wired in a more direct manner to enable such a design.

I posted this article because someone mentioned some Ryzen chip having an FPGA in another post, and I am now left wondering:

1. why don't we have more user-programmable FPGAs in our fancy desktop mainboards

2. is there a SoC board, ARM or RISC-V based, with an FPGA on board? The slower the CPU, the more useful an FPGA would be to accelerate compute tasks
> They do this in Japan [0], apparently the entire country. I didn't know that they had a problem with sprawl.

This is a common fallacy: "X happens in Y, and Y has greater Z. Therefore, X increases (or does not decrease) Z". At its core, it's an issue of confounding variables: even if what you're saying is true (I don't know, because I don't know about Japanese parking policy), you can't use differences in macro results as a way to draw conclusions about the effects of micro policies. There's too much else that gets bundled up in that measurement and which isn't controlled for.

> I don't follow your connection as to how eliminating free parking leads to sprawl.

I didn't say eliminating free parking leads to sprawl. I said that requiring (or encouraging) the creation of parking spots without any external cap or limit on parking would lead to sprawl.
I think it’s short sighted to celebrate this. In reality it won’t reduce the demand for bitcoin hashpower. Instead it will force miners to flee to foreign jurisdictions (like Kazakhstan, china, russia, iran, venezuela), who are the least producers of clean energy. The result becomes higher climate impact, loss of domestic taxable income and slower growth of renewable energy due to lowered demand. Not to mention the moral issue of setting a precedent for permissioned electricity consumption .
My takeaway is that this is infinitly more secure for those do not care about security - the "password1234" crowd, actually their account may even be secure from them logging in from now on -, for the rest it is about the same, but different.
Why Does Nuclear Power Plant Construction Cost So Much?
Right. Any particular resource/list of known Win11 annoyances you've used as reference or did you just tackle them one by one?
Your central claim: "a critically broken engine" is overstated. Poorly made, maybe. But lots of teams are shipping games with Unity: Hollow Knight and Cult of the Lamb are massive sellers demonstrating Unity clearly can work.
They both use the same kind of components; the FPGA does not have a speed advantage, you are simply comparing the speed of a very simple circuit element to the speed of a very complicated pipeline.

You would use an FPGA to simulate a special purpose circuit, which would be faster than a CPU for its specific purpose. We have CPUs because having a general purpose processing chip is incredibly handy when you want to be able to do more than one thing.

EDIT: I forgot to mention that the device outputs in one clock cycle by definition: if your clock is too fast then your components output signals dont have time to stabilize and you will get read errors, so you ensure your clock is slow enough for everything to stabilize.
In the book, it's "blue on blue," which I took to mean blue sclera.
well, Jobs’ family which inherited everything is alive and you can see their net worth in real time as it mostly consists of publicly traded Apple and Disney stock. Their fortune ranks like top 20 in the world or something. pretty sure his wife and kids are happy about how the business did.
we also did an interview with Varun Mohan of Codeium, which is another competing code model trained from complete scratch: https://lspace.swyx.io/p/varun-mohan#details
> Codebook links passwords to specific websites/RPs. Some people don't take phone calls from random callers.

Sure, but passwords are still multiple-use, and sometimes auto-fill fails (often due to websites actively messing with it), requiring me to manually copy-paste the password and exposing me to phishing risk, or that of insecure/malicious applications on my system sniffing the clipboard.

> Can Apple allow existing password managers like Codebook to manage passkeys and synchronization locally?

Unfortunately not at the moment. There is some hope though, given that Apple has recently added a TOTP API for third-party authenticators, but I'm personally not holding my breath.
Well, yes, there was already an existing web concept out of University of Minnesota called Gopher: https://en.m.wikipedia.org/wiki/Gopher_(protocol)

But it had many limitations WWW/HTTP did not, and was crippled by restrictive licensing. Still, probably reasonably likely Gopher would have been riffed on by a different open source hacker eventually, had WWW not been created.
This was exactly what I was going to include. Seriously good book to see potential ramifications of this theory.
Apple and Google aim to expose Bluetooth tracker abuse
For the same reasons we do not replace CPUs with GPUs: not the right tool

Check out the instruction set of modern CPUs
> The idea is that if you click on a link in Outlook, the link opens in the full Edge browser, opens the Outlook sidebar and opens the email the link was from so you have context. It's not a bad feature at all

Maybe, but if I have the Outlook app, a browser, and a windowing desktop environment, it seems a little superfluous.
> Write your pairing down on an infinitely long sheet of paper.

If I do that then Cantor will never have a chance to give me his 'gotcha' number, because I'll always be writing on my infinite paper ;)
This kind of retort is a rookie error in the field of philosophy of mind. It clings too closely to notions of 1) self-awareness as an essential component of awareness per se (it's not) and 2) awareness as an essential component of experience per se (it's not).

Edit: I was referring to the link, not the top-level comment. It reads like an attempt at rebuttal from someone relatively unfamiliar with the field writ large.
It's insane that the beautiful and valuable Embarcadero used to be a double decker freeway. What a waste.
one big problem is memory. basic cpus have alot of facilities for high-speed synchronous interface with DRAM, and truly vast amount of resource for cache.

partially as a result, a good model for compiling code to fpgas uses a dataflow paradigm, since we don't need to serialize all operations through a memory fetch, cache, or even register file.

if we hadn't decided to move all our computing to the cloud, I suspect fpga accelerator boards for applications which map well to that model would have some traction in specialized areas. signal processing is definitely one such.
> I think you're halfway talking past the person you replied to. The two of you agree that car owners should actually pay for parking spots.

From their reply, I think you're mostly right, in that we both agree that parking should not be free for car owners.

> I think you may be thinking "require developers to build parking spots for planned occupants of (apartment/store/building)" but the person you replied to was advocating not for building more parking spots, but rather limiting the number of car registrations to the number of parking spots.

The issue is that, unless parking spots are themselves capped (or extremely costly), this just encourages developers to build more parking spaces. It's not as bad as using public land for it, but it's still bad.
Replacement parts are available in the Marketplace, and both US English Input Covers and US English Keyboards are in stock, along with most other parts: https://frame.work/marketplace

For older generation systems (12th Gen and 11th Gen), our general intent is to sell out of the older generation just as we start shipments of the newer generation. We usually get pretty close, but sometimes we do have more or less demand than anticipated.
What are employees at large enterprises doing with LLMs?
Breakdown of real life production usecases for LLMs at large enterprises today
Hard to compare them actually. The thing about ChatGPT is the chat part. It was trained to interact and respond with human conversation. This is more like CodePilot, with code complete based off of actual code
I'm not sure about that, but even if true: public transit can scale up to support a whole city using current technology. Driving can't.
Apple should have just doubled down on HyperCard
>One might ask, why are cpus not being replaced by FPGAs?

they do sometimes !, for very specific applications. The problem is that an FPGA is programmed for one specific task and would have to be taken offline and reprogrammed if you wanted to do something else with it. Its not general purpose like a CPU where you can load up any program and have it run.

Programming an FPGA is also comparatively much harder to reason about than a CPU because of the parallelism and timing you described.
Not sure why I can't reply to @amadeuspagel below.
The reason is dogfooding. The homepage uses one of the components (viewport carousel) and every section must be viewport to demonstrate its features. Now I understand that's irritating and will change it. Thanks!
> That attitude is going to cost you.

I don’t think it will cost me much to not use the explicitly-not-a-search-engine thing as a search engine.

Which LLM will you use to verify that ChatGPT is more knowledgeable than human experts on a given topic?
Yeah $10m for a lot of startups is equivalent to shutting down. Essentially asset/fire sales.
We need something similar for quantum physics.
I'm claiming that the 50s, 60s, and early 70s were the peak[0].

Yes, yes, the economy did take a hit in the 70s before Reagan took office, but it is quite obvious that that inflation was a combination of extrinsic geopolitical influences and Nixon's abandoning the Gold Standard.

Absent a huge anti-working-class / anti-union push, and shutting down most anti-trust enforcement, recovery of the working class would have been a lot faster and would be a lot further ahead.

Instead, as you can see from the chart, it has literally taken 50 years for the working class to just get back to the same level as 1973...

I don't see any argument that large corporate power, especially pricing power, has somehow declined since Reagan stopped enforcing antitrust laws. Since this is a long-term slow effect, we're seeing the cumulative results now. Most of inflation is NOT materials or labor cost increases, it is corporate profits increases. In a reasonably-regulated (e.g., regulatory bodies not captured by large corporations themselves) economy, this would not be possible. but here we are.

[0] https://www.weforum.org/agenda/2019/04/50-years-of-us-wages-...
I learned Fortran this way - learned from the book and just wrote pages of programs by hand, never running them because, no computer. Appeared in exam and did the same thing, got graded and done. Still no computer.
Arguably, Microsoft is why a browser's user-agent is so useless for determining supported features.

https://webaim.org/blog/user-agent-string-history/

The context is explained prior, but the part I'm pointing to is:

> And Microsoft grew impatient, and did not wish to wait for webmasters to learn of IE and begin to send it frames, and so Internet Explorer declared that it was “Mozilla compatible” and began to impersonate Netscape, and called itself Mozilla/1.22 (compatible; MSIE 2.0; Windows 95), and Internet Explorer received frames, and all of Microsoft was happy, but webmasters were confused.
I've been using an AX210 on a Ryzen based laptop since early 2022.

I initially had issues with it causing the laptop to lockup hard, if iwlwifi module (AX210 driver) was loaded, on resume from suspend to disk. It was easy to work around using a hook script to down the interface and unload the module before suspend, and reload + up interface if it had been up at time of suspend. S3 suspend to ram / resume worked fine without the hack.

Currently 6.1 kernel (Debian testing). When I initially put the work around in place it was IIRC 5.6 kernel, so maybe not an issue anymore, but haven't bothered checking to see.

I only bought an Intel AX210 because it was cheapest tri-band card. The Intel card is pretty gimped (broken AP modes, breakage due to issues "magically" determining regulatory domain, Intel removed functionality in recent driver versions that could somewhat work around the first two issues so now impossible to mitigate, etc.). I would probably try a Mediatek card, if doing this today (in spite of my general policy of avoiding Mediatek). Last I checked, the equivalent Atheros chipset still had poor free driver support?!
Did you mess around with the settings? I'm getting a correct implementation and since it's deterministic (with default settings) it should be the same for you.
> Does the issue persist on other networks?

I've not tried with those machines on a different network. I assume it's related to networking in some way. My network is more complex than most. All of these machines are Linux (Debian). I haven't experienced this on Windows machines at work (although I also haven't noticed that Firefox had become any faster on them).
Last time I got a loan they asked me about my rent/mortgage (and utility!) payments so they could subtract that amount from my take-home pay when determining the risk of me defaulting on the loan. They seemed to assume I'd be paying my rent first and consistently regardless of any other debts I'd accrued.
Good open questions. I suspect we'll see models distilled and compressed down to retain most of their "common sense", "core knowledge", and reasoning ability, while stripping out the gigabytes of random trivia most people will never need.
What is simpler: making logical circuit "A" or making a circuit that emulates logical circuit "A" and its relatives?
Certain people push this narrative that renewables cannot meet any need, basically at all, and are pushing that we should invest in nuclear instead, precisely because it is expensive and will go no where for quite some time so that fossil fuels continue to be needed for longer. It's intentionally done to try to handicap renewable energy progress.
What the hell? They’re separate words?

How did I go at least half my life without knowing this.