skysight-inc/HackerNews huggingface dataset:
Let's compare this to Google Workspace.

Google Workspace functionality is only fully supports Google Chrome.

Google Workspace doesn't support a number of key features on Firefox, Safari & Edge - as denoted below.

https://support.google.com/a/answer/33864?hl=en

So how is what Microsoft is doing, different? They are only fully supporting Microsoft Edge (much like how Google only supports their own browser)
This is a tangent, but snake oil was medicinally effective.

The colloquialism "snake oil salesman" comes from the old scam of confidence men selling a cheap, adulterated (and sometimes drugged) mineral oil as snake oil (based on the Chinese water snake from Chinese traditional medicine). People would pay a premium for what they thought was medicine, only to find out later that the confidence men bamboozled them and skipped town with their money.

https://en.wikipedia.org/wiki/Snake_oil
I'm waffling on my pre-order because I realized Frameworks don't have touchscreens, which I really enjoy when reading long articles. Kind of wild that they offer all these other features that seem very niche, but a common one these days is absent.
It's not necessarily about experience except in the discipline of Philosophy. Cognitive scientists have their own ideas and theories about consciousness, like Global Workspace Theory. However, since LLMs are feed forward networks incapable for remembering things beyond their input window they also conspicuously fail to be conscious by those definitions too:

[1]https://en.wikipedia.org/wiki/Global_workspace_theory
The design philosophy of Framework seems to be diametrically opposed to Microsoft's Surface.

If there is a market for modular transformable tablets, is it large enough to cover the expense of research and development?
Subtle correction: as far as I’m aware if you were to disable lazy evaluation (which you can now do via compiler pragma) on any Haskell program of significant complexity it would blow up. Common practice is to force evaluation of critical sections of code. That’s something the compiler can sometimes do for you.

Laziness in Haskell is a great way to write declarative code, you really are describing a concept rather that telling the computer what to do. That can lead to very clear and orderly source code.

Having said that, the drawbacks are significant, performance, memory usage, and debugging can all be a real pain. The last one sucks because it affects development of all kinds of programs, not just performance critical (and challenged) ones.

Shout out for PureScript, which is essentially a strictly evaluated Haskell that runs on the browser, servers, and PaaS.

Difficulty hiring on a small scale in my experience is complete BS, there are still many passionate users looking for professional gigs. Once that pool is exhausted, I think a company should probably look outside the language for people with some type of FP experience and expect language-specific training as part of onboarding, whether that’s worth the time and cost is entirely settled for me but certainly a topic for debate.
A "hacker" is someone who makes something do what it wasn't intended to do. Plugging a high-end laptop into the correct number of monitors is not hacking.

Maybe stick to Intel chipsets if you must have 4 screens. Or maybe cover over the 4th port, and pretend you have 3 fully-functional ports?
We've used the Intel AX210 on everything except the original 11th Gen pre-built systems which use AX201 and the Chromebook Edition, which uses AX211.

AX210 on Ryzen is a YMMV situation. Neither Intel nor AMD will provide any guidance or support around the combination, and we don't have access to any of the needed source to resolve issues as they come up.
Show HN: ZeusCloud (YC W22) – open-source cloud security
Hey folks - last month, we open sourced ZeusCloud (https://github.com/Zeus-Labs/ZeusCloud) - a platform to identify, prioritize, and remediate security risks in your cloud environment.

ZeusCloud thinks like an attacker. It identifies security risks in your environment like infra misconfigurations, over-permissive identities, and workload vulnerabilities. And it pieces them together to show you attack paths like a publicly exposed VM with a critical CVE has effective admin access.

Some highlights of the ZeusCloud platform:
- Graphical attack paths so you can prioritize the risks in your cloud with context
- An asset inventory of your compute, networking, and IAM assets to give you further visibility into your AWS environments
- An interactive access explorer view that shows you how IAM users/roles can access S3 buckets, EC2 instances, etc. for blast radius analysis

We know other cloud security products exist. But, in our experience, they’re often inaccessible or fail to show you sufficient context behind security findings. The project is still early - we’ve focused so far on infra misconfiguration and identity risks. Looking to add vulnerabilities to the attack paths through tools like Project Discovery (nuclei) and Burpsuite next.

Check out our GitHub (Licensed Apache 2.0): https://github.com/Zeus-Labs/ZeusCloud

Play around with our Sandbox environment: https://demo.zeuscloud.io

Get Started (free/self-hosted): https://docs.zeuscloud.io/introduction/get-started

Would love to hear what you think!
Not a production example, but good "academic" examples are found in the Rust & WebAssembly Gitbook: https://rustwasm.github.io/docs/book/introduction.html
Web 1: HTML
Web 2: AJAX
Web 3: DLT
I don't understand how a technical audience like HN wouldn't be interested in stuff like this. Sure, maybe it's all exotic solutions to fake problems. They're still pretty cool solutions!

ZK-tech allows you to prove that you evaluated `f(x)` and got `y`. Normally someone would have to evaluate `f(x)` themselves to verify that `y` is the output, but if you encode `f` as a ZK circuit, in addition to getting the output you also get a succinct proof that you evaluated `f` correctly, In other words, you get `f' : x → (y, proof)`. The proof can then be verified in constant time for SNARKs, or log-poly time for STARKs. And depending on how you construct the proof circuit, you don't even necessarily need to know `x` to verify the proof!

How crazy is that? To me, this seems like cryptography from the future. It's not even something that would obviously be possible. It wasn't invented by cryptocurrency developers, but it's impossible to deny that cryptocurrencies have advanced the field dramatically. (Reducing the overhead of creating the proof, for example.)

There are tons of applications for this, too. Imagine you wanted to have a registry of "known-humans", a list of public keys where each private key belonged to a unique person. Now, a user wants to log into your website, and you want to verify that they're on this list. It's not obvious how to do this in a privacy-preserving way, that is, how does the user prove they control a private key associated with a public key on the list, without revealing which one? With ZK-tech, it's easy. The user downloads the list, encrypts something with their public key, then decrypts it, and does this all in a ZK circuit that produces a cryptographic proof that the process was done properly with a key that's on the list. Then they send the proof to the website, which is able to verify it without knowing the secret inputs (the private key, or the which public key was selected). There are other ways of accomplishing this that don't use ZK-tech, this was just a simple example.
Donald Shoup, as featured in this article, wrote 'the book' on this, if you're interested in a deep dive on the topic I recommend it:

> The High Cost of Free Parking

> Publication date: March 1, 2005; 2011 (Revised Edition)

> Media type Print (Hardcover)

> Pages: 733

> ISBN: 1884829988

https://en.wikipedia.org/wiki/The_High_Cost_of_Free_Parking
Scientists find link between photosynthesis and ‘fifth state of matter’
No problem with parking set to ground rent cost + amortized parking spot maintenance cost, then. But once you've given someone something you can't take it away. In SF, for instance, there's a place you can park in the middle of the street during church services. No other religion is granted this exemption.

It is no surprise that a city named after a Christian saint permits this, of course, but it is yet another example in which American separation of Church and State is mostly textual and not defacto.
We might be going full circle soon and in need of "Beware of Beware of AI pseudoscience and snake oil". In my personal bubble there's roughly the same number of AI snake oil stuff popping up as there is finger wiggly "be weary off AI claims" stuff that lacks even the simplest understanding of AI let alone modern things like how transformers actually work.
Jeremy Howard Mojo Demo
>"Hurts creators"

Edward Lee does such a cynical pearl clutch, artists does creative work, if ai replaces 90% of that, there's no "creative work" left, then it's like a record label labeling itself as a culture creator despite only maybe doing 10% of creative work.

And as you point out, it's not as if you can't copyright individual pieces and plan out the parts you are willing to make non-copyrightable (such as backgrounds).
I'm betting some people wish they had a union now.
Versailles is jaw-dropping. It's a marvel of architecture, independent of royalty.

Further, it's not just connected with royalty, but with some of the most romanticized images of royalty. Those are linked: Versailles was a symbol of excess because it is excessive.

Nothing in the UK compares. People would still go see Buckingham Palace, I'm sure, but it's nowhere near as grand and nowhere near as historically interesting.

It's impossible to say what the profit/loss would be, but that's not really why I bring it up. My point is that Versailles isn't really a great comparison, because it is a modern Wonder of the World.
Airguard can still see devices with rotating MACs. They just pollute the detection list a bit and draw attention to themselves.
That's because it's not following instructions like ChatGPT, it's just trying to guess that could plausibly come after what you put, like Copilot or the old GPT-3 models
LLMs generally but more so small models will keep going and generate seemingly unrelated things. On the frontend tools like Copilot and Ghostwriter do a lot of things like use stopwords or simply not show completions outside a single block.

As for your prompt, it's following your prompt a little too closely and generating just the function. You can however condition it that this is the start of the program it will do the import, e.g.

# python function that returns a random integer between min and max
import

This is in fact a suggestion from OpenAI on best practices for prompting called "leading words" https://help.openai.com/en/articles/6654000-best-practices-f...
> The most propserous times and bigges middle class ended with the Reagan administration

Reagan took office in 1981. So you're claiming that the late 70s -- oil embargo, hostages, double-digit inflation and unemployment -- were "the most prosperous times"? Really?
It really is an unreal subsidy.

Imagine if you had a product that you really wanted to sell, but were having trouble because every sale required 110 square feet of earth to be set aside.

And then, miraculously, the government, with an insanely heavy hand about it, terraforms the fucking planet to achieve compatibility for hundreds of millions of your devices.

I'm not sure any class of corporate operation has ever gotten a more exacting and widespread easement for its business model.

In 2020, there was a newly houseless guy (unemployed in the early pandemic panic) on my block who a few of us knew. He set up a tent in a street parking spot. And when the cops came and forced him to move on (with, I will point out, what seemed like empathetic body language), I remember pantomiming their position as, "You can't live here - this is where the person who lives <there> (points to nearby house) puts their car when they aren't using it."
What about blame the author for their lack of C++ skills while selling Rust, and pretending otherwise?
Can I ask what workloads you’re running where 8TB storage and 64gb ram aren’t enough? On a laptop…
You can put any size of M.2 SSD you want into the Pinebook Pro. The RAM limit is down to the SoC itself, the next generation laptop would probably use a RK3588 which can address more RAM.
Improving Incident Recovery by Using the SLI Pyramid
Quality software at scale with Vercel Spaces
Meta proudly supports the people and economy of the United States
GPS is being blocked within 17.5nm of central London
Two M.2 slots, two slots for 5G/WiFi and 4 RAM Slots? You're aware we're talking about a 13 inch device here, right? No way this fits into the 13 chassis.
There's not a lot of low-hanging fruit when it comes to the middle-class consumer market, and that's just the way it is. The only companies that do well in this space spend vast amounts of money on marketing to convince the middle class to buy status symbols and convenience products that don't improve their lives materially. They just provide that little bit of dopamine hit immediately after the purchase period. It's very hard for an entrepreneur to "disrupt" the middle class.

In The Millionaire Next Door, the author makes the claim that some of the most successful business are started by middle-class people who actively seek to solve the problems of the upper-middle to upper class demographic. These are (typically) people so involved with their work that they will pay much more money than you or I consider reasonable if it means they get an extra hour on Sunday to spend with their family or business network. So if you do sprinkler maintenance, for example, your business will grow a lot quicker if you skip the suburbs and focus on the McMansions and $1+mil-per-door developments just off the interstate.

In software, I believe the closest equivalent is business-to-business, but of course this requires a significant amount of knowledge of the sector you're targeting and (as always) a good network.

"If it was easy, everyone would be doing it."
Means that once it's incorporated into llama.cpp, you can run it on your laptop.
Yes. But the question remains of when & how we see Xilinx technologies/capabilities boost AMD's core businesses.
acomjean how long did you work on databases at IBM?

Did you get to work with Edgar Codd or do you know someone who might know someone who worked with him?
I've had the issue of generating random code after the completion with other models as well; it's due to how the models are trained. You need to stop generating when you encounter token(s) that indicate you're done - see https://huggingface.co/replit/replit-code-v1-3b#post-process...
Ask HN: What will you do if the world no longer requires developers?
No, I could only get 2.7B to run on 8GB VRam unfortunatly.
Correct. AMD officially announced the processors today, which means we get to announce them too. Before this, people were basically operating on trust that the Framework+Ryzen combo was going to spec out positively.
Was finally able to play it on a desktop. Maybe having a finger moveable joystick widget would give you an equal experience on mobile.
Thanks for sharing this article! Do you think this proposed tax will significantly impact the profitability of crypto mining?
17.5 nautical miles, about 20 miles or 32km

This is obviously due to the coronation this weekend.

Found via (with map): https://chaos.social/@jonty/110304516796283385
Learning to touch type any layout, either when first learning to type or learning a new layout, is seriously hampered by ever looking at your hands. You should use a layout chart and navigate the keyboard by touch. There's a reason that most actual typing education uses blank keyboards or keyboard covers that hide the letter printings.

If somebody who only knows qwerty uses your computer, you should switch the keymap to qwerty for them, not force them to try to navigate an unfamiliar layout. Every major OS makes it very easy to switch keymaps.
their pytorch_model.bin is 10.4GB
This probably makes a self-hosted and/or local Copilot a lot more feasible
I think this is written from the perspective of a continuous mathematician or physicist, and the examples of discrete maths they have have in mind are numerical simulations, which are certainly harder to reason about than their continuous counterparts.

I also suspect that this is a fairly orthodox attitude among mathematicians - in "The two cultures of mathematics" (https://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf) Tim Gowers says with more authority than I could:

> the subjects that appeal to theory-builders are, at the moment, much more fashionable than the ones that appeal to problem-solvers.

This isn't precisely the discrete/continuous split, but it's mostly aligned and the article puts combinatorics is firmly in the latter category.
I'm on the flip side of this preference. If framework laptops had a touchscreen, I would have waffled on ordering one.
I'm already a freelancer and posted in the most recent monthly freelance thread.
Crypto

in Rust (on HN and maybe other techie places)

AI

Anyone want to make predictions on what the next overhyped topic will be in a few years?

Maybe we should ask ChatGPT :)
Such an amazing article! Thanks Hacker News!
Why is it socially acceptable for those with cheap phones to be laughed at but not for those with cheap cars (the easily stolen Hyundais and Kias) to be laughed at?
It's very difficult, politically, to take away something that people are accustomed to getting for "free". Easing mandates for developers is much easier than removing existing, free, on-street parking that residents have built their lives upon. One of the main drivers of NIMBY sentiment is the threat of having to share free, public parking with people who would live in new developments. Shoup's approach to this difficult political problem is the establishment of "parking benefit districts", which create an incentive to switch to market-rate parking.
Microsoft were blatant about this anticompetitive pricing strategy with Azure.

AWS used to frequently cut prices.

Azure started immediately matching the price cuts exactly.

The tacit message to AWS was don’t cut your price because we’ll immediately remove any competitive advantage you would get from doing it.

AWS largely stopped cutting prices after that.
Ask HN: Deepfakes and publishing sha256sums of historical videos to a blockchain
It's X years in the future. We can create deep fakes that can't be distinguished from the Real Thing. Especially for videos of older quality. We have a corpus of historical videos. We temporarily live under an oppressive regime that rewrites history to fit its needs. The institutions that we trust to attest to their authenticity (archive.org, C-SPAN, many others) have thus become compromised. We could lose the thread of certain historical documents _permanently_.

But somewhere, in the shadows, or in a free land somewhere in the world, a proof-of-work blockchain lives on. It contains timestamped sha256sums of manifest files of videos, which in turn contain sha256sums of the videos. It proves that certain pieces of data existed at certain times. Once the regime falls, the authentic videos can be determined by the hashes that were published before the regime came to power.

Is anybody talking about this scenario and/or remedy? Maybe there's a less alarmist version to consider as well.
Everything for IBM 360 mainframe, including JCL, COBOL and Fortran is in https://www.amazon.com/Programming-IBM-360-Clarence-Germain/... (cheaper on eBay)

Never used COBOL section though, but everything else was excellent: jcl, Fortran and how to operate the equipment. The Russian translation was THE main programming textbook in Moscow State University in 1970s.
seventeen nanometers doesn't sound like very far
Probably not the main Copenhagen office as I expect Danish employee protection rights to be off the chart.
This honestly feels like a good step. I see a lot of comments here lamenting potential regulatory overreach and while that is definitely a risk there are also a lot of people calling for regulations on AI and LLMs. There are credible risks and a lot of people are concerned. At the end of the day it’s a democracy: ignoring these people will not work out. Enough people are concerned that doing nothing is not an option (numerous septuagenarians in my life have serious and legitimate concerns about this. The government has done nothing to curtail rampant text/phone scams targeting the elderly and LLMs can really amplify these scams).

The White House inviting leaders from industry to represent their position at a tentative stage feels like a measured and sensible approach to regulation. Industry is given a seat at the table and hopefully they can reach an agreement that satisfies the needs of industry while also placating the widespread fears about AI. This is a good incremental approach to crafting good laws. While they are at it I wouldn’t mind if the White House also did something about the rampant social security phone scams, but one step at a time.
I'm having a tough time finding a definitive answer, but it seems logical that AMD would enable this.

Traditionally, an iGPU would get a designated portion of system memory reserved for it, and unavailable to the CPU (e.g. 512MB to 2GB).

But AMD has enabled shared memory between modern Ryzen CPUs and Radeon GPUs, called "Smart Access Memory." So it sure seems logical that they would enable that feature for their APUs.
A good video! Just to attempt a potentially frivolous answer to your question, the "race" in her video is about economic factors and this is often not particularly interesting to engineering minded folks, whereas nuclear power has all sorts of fun challenges, options, and processes going on. It's more interesting, perhaps, even if it's not the best option in a pragmatic sense.
The conversation rate from pill addiction to heroin is order of magnitude 10%, even ignoring the logical leap made in saying people who get addicted to pills all have happy fulfilling lives. I think it’s substantially correct to say that happy and healthy people, by and large, don’t get addicted to heroin.
Grounding helps avoid nonsensical or factually incorrect hallucinations, which are unacceptable for most applications. At the same time, developing techniques to improve the base LLM and narrow the context window is important for achieving more natural and engaging conversations in domains the model is skilled at. An LLM-powered system will only feel truly 'revolutionary' if it exhibits a balance of both capabilities.
Foot: CPU-rendered terminal emulator faster than Alacritty and kitty
With respect to marketing hype, it's comparable to the now-reduced scale of hype for quantum computing, which has mostly vanished from the headlines compared to a year or two ago.

https://www.technologyreview.com/2022/03/28/1048355/quantum-...

The main difference is that LLMs have a lot of immediately valuable use cases in their current iteration, which has lead to widespread adoption. The hype cycle may have reached its peak and will now start to relax a bit.
I don't hear of smaller local shops doing mass layoffs like this. It seems the companies that paid more than local average and overextended themselves during the pandemic are the ones most affected by layoffs.
I have a box of batteries I need to dispose of that I haven't just tossed in the garbage.

My local Home Depot used to take batteries, but only non-lithium ion batteries. And sometime last year they stopped accepting any batteries.

I still haven't found a local place that I can easily access to get rid of these things. And I'm tired of keeping them around.
I don't think it's possible to point Copilot to other models. I don't think Microsoft would benefit much from that feature. You could use existing tools [0] to host your own model which in theory could be used by an extension your IDE uses. But I'm not sure if an extension like that exists.

[0] https://github.com/oobabooga/text-generation-webui