skysight-inc/HackerNews huggingface dataset:
> knowledge isn't predicated to be correct.

It kind of is, though. The field of philosophy called epistemology deals with what knowledge is and how it is obtained, and the field overwhelmingly agrees that it is necessary (but not sufficient) for knowledge to be a (1) belief that is (2) true, and (3) justified. There is some disagreement when it comes to justification, and a lot of nuance in whether every justified true belief is knowledge, but pretty much no disagreement that knowledge must be a thing that is true and involve the mental state of believing that the thing is true.

Language doesn't imply belief (1), and it doesn't imply justification (2), and it certainly doesn't imply truth (3). Language is a medium in which knowledge can be expressed, but not knowledge itself (one can of course have knowledge about language, but that is not the same thing). Language is also a medium in which things that aren't knowledge can be expressed, such as falsehoods, nonsense statements, paradoxes, etc. LLMs generate language without belief, they sometimes do generate statements that are true and justified, but definitely not always.

I think the terms "data" or "information" are better than "knowledge" for what LLMs are trained on and produce.

(1) "The sky is green." Lying in general, are ways to use language to express something that isn't a belief. Also imperatives like "Please take out the garbage" or questions like "Did you take out the garbage?" don't seem to express a belief at all

(2) "There is a planet somewhere in the universe where s'mores naturally occur without intentional assembly by intelligent beings." This might be true, and I might believe it, but there is no justification for it. Still expressed in language. Questions and imperatives come up here too.

(3) See (1), or any other case of lying or being mistaken.
Java is absolutely not a complex language. The “enterprise java” style is an unfortunate one that can actually be traced back to C++, but it is not a necessity at all, and due to the sheer size of the java ecosystem you will find plenty of examples of a more barebones approach — also supported by the language developers.

I fail to see why I would go with go over java, besides.. perhaps some CLI app? With Graal even that can be implemented in Java.
> I really dislike exceptions because there's no documentation for how a function can fail. For this reason I prefer go style errors, which are an improvement on the C error story. Yes it has warts, but it's 80% good enough.

I’m not a go developer. How does go document how a function can fail?

A Java developer can use checked exceptions so that some information is in the signature. For unchecked exceptions the documentation must explain.

I guess in Go the type of the error return value provides some information but the rest needs to be filled in by the documentation, just like the Java checked exceptions case.
My USB connector on the phone, used for charging, seems to be dying. The SW is old.
"The United States is losing $1 trillion in unpaid taxes every year, Charles Rettig, the Internal Revenue Service commissioner, estimated on Tuesday, arguing that the agency lacks the resources to catch tax cheats. The so-called tax gap has surged in the last decade." Oct 13, 2021 -- New York Times

We just need to enforce the tax laws we already have on the books.
Show HN: I made an open-source Typeform/Google-Forms alternative
My 20+ years of being involved in broadcast/tv/video technology says otherwise about TV resolution goes along with content. It’s actually a weird chicken/egg situation, that involves more than screens or content such as delivery, price of content creation and customer acceptance.
In the end this is more a question of who should decide what people do.

Money only has value when they are spend. If you lock money up in an account and never use it, it is practically taken out of the economy.

Do, do we let governments circulate money for education, health, care, etc. or do we let corporations circulate money in the pursuit of more money?

For me, it's a balance. Right now it does seem like the inequality has been raising (in particular under the pandemic) and we probably should try to redistribute a bit more. But the increasing interest rates are already leading us in this direction. And the social unrest will probably also accelerate salary increases over the next years – which in turn needs to be financed.

I think the biggest issue we face are reaching multi-lateral agreements like the global minimum tax that can hand the power to tax companies back in the hands of governments (as it becomes unattractive to move to low-tax jurisdictions).
The toolkit doesn't support regular application menus or right-click menus.
> A big problem is that you don't actually see content on other instances

What do you mean? On lemmy you simply click "all" and see a feed from all federated sources, on kbin that seems to be the default. When you open threads/posts you see comments from all sources. The other stuff doesn't exist yet as the platform is very new. You can help.
Well so this is kind of what I was getting at. It feels similar to an email service being blocklisted, only in this case, you really _can’t_ move your content because at the end of the day, a group of federated instances will also be wary of instances without reputation, as much as those of ill repute. So no, in reality, you can’t move your content, or if you can right now it’s a foible of the system as it is today and will not continue as such.
If you got an ideal filter maybe. Having margin to half the sampling frequency helps filter design.

Then again, the frequency response of the loud speaker is not flat so I dunno if the sampling filter cutoff frequency matters.
Comparing Complexity Between MVC+CRUD vs. CQRS/Event-Sourcing
I would upvote for 'gags of four'.
It "came along a lot recently" because everything ChatGPT is "recently" -- it only came out 6 months ago.
You seem to be right. I don't have them too confused, though. There have been MiniLED display on the market for years, and they're all LCD
> Your distinction is a bit arbitrary. Every point about this company will always be about appearances unless you have first-hand accounts or experiences.

Not really. Here is a substance based argument: there is no underwater FAA. This company, and any other private submarine company is setting their own quality level and then marking their own homework to see if they have met it. In a commercial environment they are incentivised to cut corners and there is no external force resisting this.

Then you can ask them about their tech and procedures. Do they have redundant means of communication? Do they have multiply redundant means to release the ballast? How many hull penetrations there are and how are they implemented? If they are unwilling to discuss these questions that is worse than a bad answer.

Some comments are criticising their choice of carbon fiber for the middle section of their pressure vessel. I don’t know enough about the engineering there to decide for myself if that criticism is fair or not but that is an argument about substance not appearance.
> show me the thing in the world that is more beautiful than clouds! They are play and eyebright, they are blessings and gifts of God, they are wrath and the power of death. They are delicate, soft and peaceful like the souls of newborns, they are beautiful, rich and bounties like good angels, they are dark, inescapable and ruthless like the emissaries of death. They float silver in a thin layer, they sail laughingly white with a golden edge, they stand resting in yellow, red and bluish colors. They slink darkly and slowly like murderers, they rush headlong like mad riders, they hang sad and dreaming in pale heights like melancholy hermits. They have the forms of blessed islands and the forms of blessing angels, they are like threatening hands, fluttering sails, migrating cranes. They hover between God's heaven and poor earth as beautiful parables of all human longing, belonging to both — dreams of the earth in which she nestles her tainted soul against the pure heaven. They are the eternal symbol of all wandering, all searching, longing and longing for home. And just as they hang timidly and longingly and defiantly between earth and heaven, so the souls of men hang timidly and longingly and defiantly between time and eternity.
I'm disappointed, I thought it was a site about the electric light orchestra!
It's a term from the Creative Commons family of licenses.
Uh, obviously it can't recite the entirety of Dune, for example. But just as obviously, the Litany Against Fear is famous enough to likely exist verbatim thousands of times in its training corpus.
This doesn’t ring true for me. I have ChatGPT write code for me that I could write myself. I’ve had ChatGPT even rewrite code for me to make it more legible. It’s pretty good at it, especially when it comes to more popular languages.
> As for legacy - pretty sure the markets, users and developers will disagree with you

That's fine then, everyone has their point of view. I've used their platform to deploy the app before I discontinued it to make it Android-only so I do have a real experience on how bad the dev platform is, I'm not just judging randomly.

I also used the phone itself for a year and it was hands down the worst mobile experience I ever had but this is more subjective, unlike the dev experience which I do think is objectively terrible.
Thanks, you are likely correct.
And thousands of other websites…
Looks like Adobe makes about 26% of their revenue from EMEA, so it's clearly worth it for them to continue operating there and deal with the regulatory overhead. But is it possible for them to have a different corporate structure that mitigates some of these challenges? For example, could they license their technology to an EU-based distributor instead of having direct operations in the EU?
Knowledge not necessarily being correct, and language being the same thing as knowledge are big ideas! See for example:

https://en.wikipedia.org/wiki/Gettier_problem

https://en.wikipedia.org/wiki/Philosophical_Investigations
But you don't have separate identities for Youtube, Gmail, Meet et.c. For a federated internet, you should have the same ID for all federated services so that you can build the same product experience as with Apple or Microsoft or Google.
I can't see anyway this is going to be blocked. There is ample evidence of competition and innovation outside of Adobe and Figma in the market. Figma has nowhere close to a monopoly in its narrow slice of the market or even has a significantly dominant position.

If anything seeing Figmas success and acquisition will encourage more startups to launch products in theses categories.

That not to say I don't have legitimate concerns of what Adobe could do to Figma and its customers. And the EU is absolutely right to look into it, it's literally their job to check up on these large deals.
To a large extent this is already viable.

Yes, ChatGPT doesn't know what it's talking about. But Google is so bad these days, that ChatGPT in many circumstances can do much better even while being far from perfect.
If that avoids me paying a absurd markup because there's a supermarket monopoly, yes it's definitively preferable.

Most generic stores have everything though.
> ChatGPT will replace the concept of googling things

FastGPT[0] is some way towards that: it uses the web to provide answers

[0]: https://labs.kagi.com/fastgpt
Same! I want a device that waits until I fall asleep (the scientifically proven optimal kind of sleep) and then starts a timer for an optimal nap.
48khz is better for video due to the way it can be divided more evenly with popular video frame rates - and besides it’s the standard for audio alongside video so you might as well use it for everything.

So yes, for that reason alone you need more.
If you're interested in this type of study this is the name of the method: https://en.wikipedia.org/wiki/Mendelian_randomization

When I just read the article I glad to see the method I learned during my thesis has produced some mainstream knowledge. Happy to see that! It's basically "nature's randomized control trial" since you assume genes to be assigned randomly. The treatment and control group just vary in terms of this one set of SNPs, which are used as instrumental variables. In this case, comparing a genetic population of nappers to one of non-nappers. They don't have to measure their actual nap time because the genetics serve as proxy.
This. It's not like 16k displays wouldn't be desirable or useful in some use cases. It's that they are useful for most consumers.
You're not the person I replied to. Why the hell did you respond to this. Having a bad day or something?

Quite ironic to complain about waste at the same time as making this pointless and aggressive comment
How much is a human head? Chopping up cadavers is important, little talked about
Fingers crossed this deal goes through - and I am pretty confident it will.

I am building a design tool and I think my chances at success increase with Figma decaying at Adobe.
The Thomas Wehr experiment [1] in the 90s (which showed that people settle into 2 distinct periods of sleep throughout the night when they're removed from all artificial light), as well as Roger Ekirch's [2] historical research (which documented the mentioning of "first sleep" and "second sleep" throughout many cultures in pre-industrial society).

[1] https://en.wikipedia.org/wiki/Thomas_Wehr#Research

[2] https://harpers.org/archive/2013/08/segmented-sleep/
> black market marijuana can be very much cheaper compared to legal

How much cheaper are we talking? Becase seeing the recreational pricing in Seattle area (which is in another legal state), I struggle to see how one can make it significantly cheaper than what is legally offered here.
https://archive.ph/nMw0M
technically "outside the box," meaning "their creativity is expansive, not within the narrow confines of a box".

"out of the box" means works right away, as soon as you take it out of the box, no assembly required.
You are illustrating the point beautifully.
In my experience most DNS admins abhor the idea of putting private IP addresses in public DNS space and it's simply not even an option they consider. I've used weird DNS tricks like this for years and never really encountered any issues, though. I currently have both my wireguard and private IP networks published to public DNS to make my life easier, for example.
> This "hallucination" come along a lot recently.

Couldn’t exactly be otherwise given how young GPT is. ChatGPT was released a bit under 7 months ago.

> Is it a legit concept or just "the dog ate my homework" type of excuse for anything?

It’s an analogy for how LLMs work. An LLM does not know anything, it just adds tokens probabilistically based on the previous tokens.

So essentially it always hallucinates (makes shit up as it goes along, if you prefer).

Thanks to the model it’s generally quite credible, and often even lines up with actual reality, but it should not be confused for knowledge.

That’s why it will confidently give you citations it just made up, to papers or decisions it’ll happily make up as well (though less and less credibly as things get closer to hard facts).
This is a textbook example of horizontal integration, plain and simple and it is clear that this will be blocked by anti-competition regulators.

Unsurprisingly predicted in [0] and the investigations are already happening in the US: [1]

[0] https://news.ycombinator.com/item?id=33919862

[1] https://www.bloomberg.com/news/articles/2023-02-23/doj-prepa...
I only watch TV wearing headphones.
> Recently, a decision was announced to decommission Miro as an official Telia tool. The replacement tools suggested was a combination of Microsoft Whiteboard, Microsoft Visio, Jira and Confluence.

I can't even imagine a worse replacement than that shudders. How typical that great bespoke tools are rejected in favor of whatever poor features/products available through existing product licenses.
Exactly, you can't go to the moon by climbing sucessively taller trees.
Individual fibres, yes. But the composite material is fibres and resin. Plus the vessel is surely pressurized.
It's just a part of natural cycle.

Cloud became a fad a while ago, companies like Amazon/Google/MSFT rushed in burning cash to provide incentives. Now said companies adjust fees to milk businesses due to high exit cost, just because they can. This will inevitably create outflow of customers, however we are far from this point currently.
Worst pun ever:

> There exists a surprisingly lively international trade in dead human bodies for medical dissection. This trade is rarely discussed and relatively lightly regulated: there is no one head, or body, that directly oversees the imports of heads and bodies.
So, when it helped me solve a math problem by noticing a trick that I had missed – which was clearly the correct thing to do in retrospect – was I somehow in the wrong to ask it for help?

Getting answers out of it is absolutely a reasonable thing to do. Blindly trusting those answers without verification, that's another thing entirely.
I don't necessarily agree. If I have a "right" to transport that doesn't mean the government has to give me a car, maybe they provide a train and if I want a car I have to buy it commercially.

Even of the things listed above, their being a basic right doesn't preclude someone buying them. I pay for electricity like almost everyone else.here, but it won't be taken away from me even if I do not pay (though it's not worth the hassle unless I have really cannot afford to pay).
In philosophy, the most common definition of knowledge is that it is true, justified belief[1]. In that definition knowledge certainly is predicated to be correct.

[1] https://plato.stanford.edu/entries/knowledge-analysis
I found the name of the option, it's "Separate screen focus", located in the settings under Window Management -> Window Behavior -> Focus Tab -> Multiscreen behavior

It looks like that last session only shows up when there are multiple monitors, which is why I could not find it on my laptop.
I think that influence is pretty clear. In my neck of the woods, when pc monitors in 16:9 became a thing, the marketing copy was basically how great they were for watching movies.

Only now do some manufacturers start to put out taller monitors, but they're still rare, at least in my market.
Luminous LLM Family commercially available
I definitely prefer prison to all this nonsense.
I suspect this has a lot of inertia based on the current situation.

Plenty of middle class citizens here in CZ take public transport, or their kids do, so they are fine with their tax money being spent on it, and they also insist on the service being safe, clean etc.

If everyone drove everywhere, like in most of the US, the prevailing political winds would differ.

Both situations are equilibria separated by a sharp ridge that needs to be overcome in order to change one to the other.
It might not be exactly what you envisioned, but that's where the difference comes in: with a batch processing system, you generate something over night with one input. With command processing systems you generate something with dozens or hundreds of individual commands, and it might still not be what you want.

With AI systems you generate something with one action, allowing you much faster iteration loops. Remember, the author argues that the current prompting still has bad usability. Presumably a system with good usability could allow you to generate what you want with one, or a couple, of attempts.
What do you mean by "cybersecurity"? Cryptography exploits like this site are certainly a part of cybersecurity.

There are lots of challenge type security websites out there for various types of computer security. Some of my personal favourites include https://microcorruption.com/ and https://overthewire.org/wargames/natas/ . Check out also https://ctftime.org for live competitions
>total performance is still following the curve

Nitpick: Moore's law is about number of transistors on microchips not performance.
Introducing Fleetbase: an open-source, modular platform for logistics. Our Alpha release rolls out core extensions - FleetOps, Storefront, and the Developer Console.

We're building to become the definitive on-premise solution for logistics.

Join us in reshaping logistics tech together.

Github: https://github.com/fleetbase/fleetbase
Discord: https://discord.gg/zXSbFATg
Extracting Cryptographic Keys from Video Footage of a Device’s Power LED
> After Effects

A lot of that is on Adobe more than anything else, mind you. Same with Premiere, too. These tasks can be a lot faster than Adobe software allows them to be. But there is a limit, of course
Slauth.io (YC S22) Is Hiring a CTO
Aren't Adobe and Figma US-based companies? Why does the EU have any say in this?
> who are afraid of the legal risks to the monorepo

You're talking about a company which happily pays billions in fines because its just a fraction of what they otherwise manage to get away with. They're not at all afraid of doing a lot of illegal stuff, I find it highly unlikely they'd be afraid to step into a minor grey area.
That has the downside that if the user pipes your program’s standard output to, say, `head`, then once `head` is done reading the first few lines and exits, the program will blow up and probably print a message to standard error that clutters the user’s terminal (where they were expecting to see the first few lines of output).

Though, continuing to spend time generating more output that goes nowhere may not be particularly useful either, depending on what the program does.

Still I think ignoring errors writing to stdout is better as a general default. If nothing else, it’s the most common behavior and is thus more likely to fit the user’s expectations.
The key of motivation is trust.

By any chance you work at Globex Corporation?
That's why I'm happy to see new 8K TV release. I think it's overkill for 99% TV usage, but it's needed for PC display.
Hey, thanks Joseph, appreciate it. So in that particular sense it’s very scalable/efficient, the LLM doesn’t really need to scale its parsing at all because of the preprocessing we do beforehand. When you upload your doc we store it as paragraphs and keep the actual doc in cold cloud storage.
Just below the question bar a question in the archive view, there’s a selection slider for the number of paragraphs you want used as context to answer the question, this can be adjusted upwards if you think more context would help but 40 paragraphs is the number we settled on after testing because lower than that and you start getting inaccuracies.
Once you ask a question Digest checks which 40 or more paragraphs are likely to answer the question then sends those as the context for the LLM to answer with so regardless of the size of the archive the speed of the search is fairly consistent because its always ~40 paragraphs (with some adjustments for paragraph size). Thanks for the question and I hope that helps.
Why do you dislike 16:9?