skysight-inc/HackerNews huggingface dataset:
Not really. It’s just that you can’t satisfy office workers simply by opening the office doors and walking away.

At the least, you have to reorganize teams so the office staff have other team members who are also in-office and not remote.

If you can’t do that then you are better served with going all remote in my opinion.
Yes, with the current ManifestV2 and ManifestV3 - for now. There is a reason why Google is pushing hard to define what the internet is, and what is possible to do on it and what not.

Of course everyone is free to cheer for it. I, for one, refrain from celebrating.
It would probably take several years to do a full rewrite of a complicated system, and there'd be subtle differences all over the place.
Yeah; the thing that kind of triggered me on this was the Google CEO saying in December or January that he "takes full responsibility" for all these layoffs.

"Full responsibiliyt"? Really? How are you doing that exactly? By still getting your full paycheck and bonus while you fired twelve thousand humans because you didn't consider that the economy after years of a pandemic might be volatile?
Illustration of Franklin’s kite experiment is likely riddled with errors
That there is optimal corruption, in a static system, makes sense to me.

Changing the system for the better (I.e. start requiring US Supreme Court justices to actually avoid conflicts of interest, or forbid coordinated out of state money for state’s senate races) could incrementally reduce the corruption stable point.

—

What strikes me as a missed opportunity, is that democracies haven’t institutionalized a response to the inevitability of corruption. Despite most sources of corruption being out in the open.

Scientists don’t reinvent all the math for thermodynamics every time they stumble on some new context with disorder.

But currently, eliminating corruption is systemically difficult to change because of the corruption! There is no Constitutional responsibility to respond to it.

“Eliminating corruption”, including power centralization (which both requires, incentivizes and enables more corruption) should be right up there with “passing laws”, “implementing laws”, and “interpreting laws”, as an ongoing Constitutionally organized effort.

So many things, including the effectively two-party system that drives so much partisanship, are a result of corruption and the door left open for power centralizations like single party rule. (Seat limits on parties would completely upend that dynamic.)
There are some non-32 hits if you search for this prefix. https://oeis.org/search?q=1%2C2%2C4%2C8%2C16&language=englis...
> I think we all can agree that even the best LLM currently is not AGI.

Disagree, for the record. If I’d described the capabilities of contemporary AI to 100 AI scientists 5 years ago, I bet more than half would agree to call that AGI. Further, more than 90% would assume that these capabilities were decades and decades away.
You do realise it is possible to unplug something, right?
Google's is pretty incredible too. Golang; VP8; Chromium; K8s; Android.
From Yu to Me (2014)
Honkai: Star Rail
> I'll explain what the move keyword does later in the article. For now just trust me that it is needed for the code to compile.

That does not take a lot of trust, after a few rounds with that compiler. At least error messages are good with the Rust compiler. I've got very limited experience with Rust, but it does seem like a language with a massive threshold for beginners.
Bitcointalk's Bitcoin Development & Technical Discussion forum [1] is your best bet. For the most popular altcoin, there's [2].

[1] https://bitcointalk.org/index.php?board=6.0

[2] https://ethresear.ch/
"Rachel Waxman, a postdoctoral researcher in Baltimore, says she refuses to pay an extra $20 on a $100 fiddle-leaf fig when she visits B.Willow a few times a year."

...I'm curious now: what does one do with several $100 potted figs a year? If they're dying off at that rate, surely after the first few times you'd take the trouble to work out why?
> This sounds like it would enable more complex systems. Is that the goal?

Enabling more complex systems, making it much easier and faster to create safe, stable and efficient systems at current complexity levels - both are really the same goal. Making current complexity level easier to deal with also means you can increase complexity level to the point the work is as difficult as it was before. Your favorite cake suddenly costing half as much means you can save half the cost, or... just buy two.

> The skeptic in me thinks these are fancy bandaids for failure to keep complexity under control.

To me, most of the recent programming language trends are such fancy bandaids. You can't optimize for every possible concern simultaneously in a single plaintext format, but $deity, people try. That's how you get special syntax for Result<T, E> handling (e.g. ?, ?!), or increasingly impenetrable abstractions at the intersection of typing and monads - all because you'd like to represent error handling and logging and futures and few other things in maximally easy/readable way, in the same text, at the same time.

You're fighting two limits here - "in the same text" and "at the same time". IMHO, we should give up on both, and accept that the final "single source of truth" form will become some sort of unholy blend between C and Haskell, serving the role of assembly above assembly. Expressing everything in one place, but not casually readable. For day to day work, you would use many specialized representations, each focused on its specific concern, and free from constraints of a single common text format.

> The optimist in me thinks this sounds like a fabulously interesting development experience.

That's what I think too. It's about raising the tooling to meet us at the level we think at, making it work the way we think about code and systems - instead of trying to project every possible way of thinking into single programming syntax directly.

Note: there is prior art for this, mostly in Smalltalk world (including, recently, the Glamorous Toolkit). The short time I spent playing with those tools tells me this approach has great potential, but could use a lot larger dev community giving it prolonged focus, to improve and streamline the tooling.
Have you seen Ink & Switch's Upwelling (https://www.inkandswitch.com/upwelling/)? I think you might find it at least a little interesting, although it's more focused on non-fiction (where you trust all parties) than contracts. From a user perspective, it provides version control, diffing and both collaborative and private editing, all things that seem like they would be very useful when creating & editing contracts.
100% I've had this problem in the past and the functinos were way more obscure than something called " get_doc_from_code ".

Can it even deobfscuate code ?
How are bus fatalities related to a misunderstanding about what 'regular' means? (And/or how regular is not a synonym of frequent.)
Vice News used to be great and essentially apolitical. They went to interesting, dangerous places and reported what they saw by showing you what they saw. Their viewership grew rapidly.

Fast-forward. All new Vice productions are deeply and uniformly opinionated. Comparatively few people care to watch. Relative to their previous work, this later work received no significant attention and generated no revenue.

There is political groupthink in reporting ruinous to the bottom line.
NASA's Chandra, Webb combine arresting views
TSA is not required for intra-state travel in the USA. Many rural airports that don't have out of state connections (e.g. most of Alaska) lack TSA.
The main work behind this patch is to ensure that SQLite can compile to Wasm32-wasi. WASI doesn't offer all syscalls that SQLite may require, so it may require some conditional definitions and code to ensure it works properly. It doesn't mean that SQLite is part of WASI, but you can embed SQLite in a Wasm32-wasi module.

In the future, the WASI standard will include more and more features. This will allow SQLite to enable more internal features that are currently skipped due to the limitations on WASI.
These people seem a little overboard, but there are a few reasons I still use cash for some things... I think the biggest one is cab fares.

It's faster to hand someone a $20 and get some pocket change back, than it is to boot up a debit machine and wait for the transaction to go through. All the meanwhile the cab driver is holding up traffic, because some debit machines are dog slow, or the connection is so bad that it takes a few tries for it to complete successfully.
EU rules do not necessarily demand it - it depends on how exactly things are structured logically. They do demand that what you connect to termination point of ISP network is your decision, but that termination point can be a cable modem for example.
How does this work from the accessibility pov?
No the file cards stay at the shop. Since it's a balance written in felt tip pen it would probably be a little too easy to cheat ...
Some feedback: it lacks a search button. I mean, you can type a sequence, but have to hit the enter key to search. I'd expect at least some mouse-pressable button to be there that searches too (either the magnifying glass that's already there, or a button labeled "search").

You may say that "it's good enough you can press enter", however the site starts out already showing you the digit sequence "1, 2, 3, 6, 11" so you don't need the keyboard, but no way to actually search for it using only the mouse.

Second feedback: it shows icons that look like a maple leaf in the top right without any explanation what it means, perhaps a tooltip could show what this maple leaf means? Idem for the other icons there.

Third feedback: you have to individually click a full expand and then in addition expand all the subsections to view them... at least a dedicated page to entries should show everything immediately.

Final most important feedback: it doesn't have individual URL's to the sequences anymore! That seems an important missing feature. It only shows results in ephemeral rendered boxes on the main page, no way to link to an individual entry! Clicking an entry should open its individual page. Middle mouse clicking should open it in a new tab like a real link does.
I remember reading this many years ago. It didn't mean much to me at the time. It hits an awful lot harder a decade later.
Please learn to spell "receive". Most people will say nothing about this detail, it does however impact your texts.

Anyways, fantastic work with the app. I'm using it right now for writing this comment. Thank you for making it available.
I agree with most of what you said. But it wasn't just that.

In the mid-2000s, I ordered Ubuntu CDs, my first contact with Linux. The university campus had fast internet, and I could download and try other distros. Mandriva was by far the easiest to set up and use. It had everything included but was also the biggest in size (it required a DVD or 4x CDs if I remember correctly).

I ended up sticking to Ubuntu mainly because the support was better. You could find tutorials for everything you wanted targeting Ubuntu users. Whenever I had issues, I always found answers on forums. Being a total noob in the Ubuntu community was not frowned upon like in the other distros.

Ubuntu also had more up-to-date packages, and updates were coming faster. The UI was nicer in Ubuntu, and everything looked more consistent. Any other distro in that era looked more or less like Windows 98 / 2000. In Ubuntu, Compiz [1] was easy to set up. Compiz blew my mind when I discovered it.

I don't use Linux as my daily driver anymore. I prefer to run Debian on my servers, and I'll like to switch to Arch on my laptop soon. I still consider Ubuntu a distro suitable for someone who starts with Linux.

[1] https://en.wikipedia.org/wiki/Compiz
Our view is that localhost:2019 is inherently protected though - that only allows requests from the same machine. If you're running the machine with shared users, then of course it's up to you to further secure things.

That said, see https://github.com/caddyserver/caddy/issues/5317, we are considering changing the default, but that would be a breaking change although it would likely be a transparent change for most users. The default that makes the most sense depends on the platform and installation method, which is why it's complicated.
It actually does! It's called Projects.

Thus ends my search for a kanban board, since I already have Gitea.
These are all not examples of what the original comment complains about.
Copyright law is about copying, full-stop. It doesn't matter if you are copying it for yourself, it's still a copy. That's why copyright laws in some jurisdictions had to be updated to allow temporary copies in RAM existing as part of use (e.g. USA [0]), or to allow format-shifting like putting a CD you own on an MP3 player (e.g. NZ [1]), and some attempts didn't get it right at first (e.g. USA [2]).

[0] https://itlaw.fandom.com/wiki/Temporary_copies

[1] https://www.consumer.org.nz/articles/copyright-law

[2] http://digital-law-online.info/lpdi1.0/treatise20.html
Normally I would agree, especially if it's some Arxiv paper with two dudes talking about mind reading from fmri (you know who you are..). But Meta AI has shown that they are very much capable of creating serious models and releasing them, so I remain optimistic this isn't a smoke screen.
>> more susceptible to peer pressure

This implies that one should pressure people to the degree that you can pressure them, rather than to the degree that they're in the wrong. Which is pretty unjust.
Share based comp is accounted under a different line item then OPEX. And if the share price falls, more shres are used. If share prices rise bove projections, share based comp can become an issue due to the guaranteed number of shares outstanding all of a sudden becoming really expensive...
> the experts self admit they don't fully understand how LLMs can produce such output

Well I take myself to be an expert in this area, and I think it's fairly obvious how they work. Many of these so-called "Experts" are sitting on the boards of commercial companies with vested interests in presenting this technology as revolutionary. Indeed, much of what has been said recently in the media is little more than political and economic power plays disguised as philosophical musings.

A statistical AI system is a function `answer = f(question; weights)`. The `answer` obtains apparent "emergent" properties such as "suitability for basic reasoning tasks" when used by human operators.

But the function does not actually have those properties. It's a trick -- the weights are summaries of unimaginable number of similar cases, and the function is little more than "sample from those cases and merge".

Properties of the output of this function obtain trivially in the way that all statistical functions generate increasingly useful output: by having increasingly relevant weights.

If you model linear data with just y = ax then as soon as you shift to "y = ax + b" you'll see the "emergent property" that the output is now sensitive to a background bias, b.

Emergence is an ontological phenomenon concerning how `f` would be reaslised by a physical system. In this case any physical system implementing `f` shows no such emergence.

Rather the output of `f` has a "shift in utility" as the properties of the data its training on, as summarised by the weights, "shifts in utilty".

In other words, if you train a statistical system on everything ever written by billions of people over decades, then you will in fact see "domains of applicability" increases, just as much as when you shift from a y=ax model to a y=ax+b.

To make this as simple as I can: statistical AI is just a funnel. ChatGPT is a slightly better funnel, but moreso, it's had the ocean pass through it.

Much of its apparent properties are illusary, and much of the press around it puts in cases where it appears to work and claims "look it works!". This is pseudoscience -- if you want to test a hypothesis of ChatGPT, find all the cases where it doesnt work -- and you will find that in the cases where it does there was some "statistical shortcut" taken
You'd be right if not for what Russia plans to do next in the event of a victory in Ukraine. Ukraine is not the target, it's a target in the sequence of targets.

A few months before the war broke out Putin issued a very clear ultimatum to the West: withdrawal of NATO forces and installations from every country east of Germany. He issued none to Ukraine because he wanted the entire country.

The war will continue for as long as Russia is able to wage it, therefore we must destroy Russia as a political system that exists today. Or declaw it to the point of irrelevance. That is the way out of this war, unless you're willing to go back to USSR borders. And even then it's not clear they would stop.

Russia is surprisingly open about its goals. Just read what serious people in the Kremlin say over the years (and definitely tune out the garbage that they spew on Rossiya 1 for the older generation homo-sovieticus, no one in the Kremlin cares about that shit). Thanks to the large influx of Russian-speaking immigration we have quite a lot of capable experts that understand it well.

War, unlike marriage, only requires consent on one side. I.e. the "collective west" is in a war just because Russia wants that, and there's nothing "West" can do to exit the war. They can only win it.
The Go developers, many years before implementing generics, made it clear they were open to the idea. It was more about how it would fit into the language and them agreeing on it.

To their credit, they don't just throw things into the language because it's trendy or "cool" at the moment. Even if people disagree with their decisions, they are well considered and thought about decisions.
Horo - free timer app for Mac: https://matthewpalmer.net/horo-free-timer-mac/
Yep, this is a problem in tech. Anyway I'm just going to pop out to the A&P after stopping by Borders and Sears while wearing my Lehman Bros fleece
A large percentage of employees can definitely walk out if they do not need to worry about paying their bills, should things turn south. There will be less demand and more supply of workers in the foreseeable future.

My opinion is generic across all companies. I am not an Amazon employee, nor own any stocks.
Honestly, I welcome the talent working on AI now. They were working on how to make me spend 5 more seconds on Facebook, or how to click on a Google ad. AI has potentially huge positive productivity potential.
Good, I couldn't give two craps about the Metaverse, but give me a powerful, useful AI and you have my attention.
which PKD-like moron downvoted my benign comment?
Because the people who live there all have cars, so they don't see any positives only the (false) negatives.
Note that I said "properly regulated and harnessed". The creation of bubbles is a temptation for both speculators and governments.

Specifically, derivatives and futures based on real estate should be treated by governments as toxic / illegal speculation. In fact, banning bad money from bubble-making practices amplifies the incentive for small landlords to improve and build living space on property.
uh,,, gaddafi, saddam come to the top of my mind.
Yes, if I really want the software I will build a Docker image, but still I would prefer not to deal how to config/run Parcel/Webpack/Babel/Esbuild/Grunt/Whatever.
High income makes you feel like you don’t need to save, because every month lets you buy things that others wait a year to buy.

So it’s not just about the status, you can easily get addicted to spending money. Earning a lot of money and knowing how to save money are vastly different skills.
My thought exactly, and compounded that we will now have far less practiced coders as they all generate the banal they should be learning with.
Almost perfectly, the only issue I found was having to set the aria-modal with JS for the popover if I remember correctly. Tested it with screen readers on Android and iOS. (We built the website on my profile page with this, if I remember correctly, I'm not at my computer right now.)
The way things have been going lately it wouldn't surprise me if the true goal is to turn operating systems into an online only subscription.
Bad/good is a subjective matter, but I would say it is a mistake to prioritize lesser evil over long term effects and sustainable solutions. You can get away with anything in the lesser evil mindset.
> We did primality testing in literally the first sem at uni

There's a lot of things you did during university classes. I bet you don't even remember half of them, and of the half you do, you couldn't actually do most of them from memory right now.

The advantage LLMs have over programmers is that they've seen much more code than any human ever would, remember pretty much all of it - not necessarily verbatim, but also as learned concepts, and that this knowledge does not decay. It's all equally accessible. Whether you ask LLM for basic or optimized primality testing algorithms, or how to use some obscure part of Microsoft's DCOM that approximately nobody on the planet wrote new code for in the last decade - they'll perform equally well. Not perfect, but not worse than an average software dev that does remember the things they're asked to work with.
Well, this is the equivalent of saying "it's not you, it's me" when breaking up. It's just a way of avoiding a discussion.
Thanks. I did search myself and found the same results. But as I wrote, it worked when I came to Ubuntu and I gave it a shot. But I feel it's time to try Fedora now. :-)
I have my local chatbot set up to automatically run shell commands that start with "$." It wouldn't be too hard to check the status and have the LLM try to debug it if something goes wrong.

This to me seems much more flexible and likely to work than training a neural network to do arithmetic.
One way to view a programming language, that differs from the traditional math-oriented perspective, is that a programming language is a subset of a natural language which has become sufficiently unambiguous.

Ambiguity is in my opinion the biggest reason why "plain {insert natural language} programming won't be a thing"..
The major challenge in normal commercial software development is not writing working code, it's aligning expectations and identifying assumptions and eliminating ambiguities.. At that point, the coding part is more or less mapping the description to whatever particular words the implementation language is using.
Microsoft’s AI reaches Indian villages
Looks Nice! Also interesting to see they are incorporated. Would be cool to watch how they evolve the product while also implementing a business plan.

But from the home page I don't directly get whether this is backed by markdown flat files or some other system, do you know?
I've never had a runin with a black widow I didn't expect. Just look at where you put your fingers in places that are dark during the day.

Brown widows are a pain in my rear. Unlike black widows, who outside will hide in holes and places you general don't access, brown widows will hide in places you do - places that aren't pitch black during the day like outdoor toys, and under chairs and tables.
> seems perfectly possible that a model like GPT-4 is just a hair's breadth away from vastly superhuman performance

Sorry, can't help commenting the weirdness of high dimensional spaces. If you take an cube of a size of a hair breadth (100um) in a space of hindreds of billions of dimensions like gpt4, distances between random points in that cube are in the order of tens of meters...
There money to be made on India's trsnsformation