skysight-inc/HackerNews huggingface dataset:
Ask HN: How do I make Fluvio known?
I have been writing, creating tutorials, posting on social and there is a lot of traffic on the docs. But still people don't know about Fluvio.

Surely I am missing something. How do I make fluvio known?

Fluvio is a lightweight distributed streaming engine built from the ground up in Rust.

Fluvio includes developer tooling to build connectors, integrations, modular data transformations, and end to end stateful stream processing paradigm that runs on WebAssembly, called Stateful DataFlow (Creative! I know.)

A consistent comment I hear from people who I connect with users of Fluvio is - "I did not know about Fluvio and I tried 3 other alternatives before finding Fluvio."

Fluvio has been around for more than 5 years. But I keep struggling with this problem.

What am I not doing that I should be doing?
Sorry for the frustration within this response.

As an economist, this is has a lot of problems.

- the main claim is that the growth rate post bretton woods is lower than during the bretton woods period. It fails to uphold the claim on two counts:
1. It does not provide evidence that the decline is statistically significant, instead it just shows a graph with overlaid lines. I double checked and the data is real, but it is missing the first years of data on world GDP under bretton woods.
2. It dismisses or ignores reasonable alternate explanations such as:
- The 60s were the tail end of the recovery from WWII
- Changes in technology
- Changes in demand (both quantity and composition)
- it raises a straw-man version of ricardian and when it tries to discredit it, it fails to discuss the main result from the ricardian model: gains from trade due to comparative advantage. The attempt to discredit it discusses trade deficits, but fails to account for financial markets in any meaningful way (for those who don't know, a trade deficit is offset by foreign investment)
- It does not account for changes in purchasing power parity.
- The alternative model it suggests is one where firms/countries (it never specifies) seek to export because the domestic market is weak, not because foreign demand is high, and decides to force lower wages across the board (including in foreign countries). My understanding of what the author is proposing is that it ignores supply and demand in an international context and the standard results of increasing wages in the producing and exporting country's export industry.
- Some of the other claims appear to be mercantalist in nature, briefly arguing that the purpose of trade is not to get stuff, but money. Change "money" to gold or silver, and you'd have a pretty basic mercantalist claim.

I would recommend that the author read a textbook on international trade and finance. Not only would this show them the basic level of rigour in describing their model they need at a to match, but would allow them to counter the standard theories of trade etc that are actually used. They would also be able to discuss the impact of trade on labor within different industries in a way that doesn't just handwave results they like.
Probably. That was always described as an intentional tradeoff when vendoring, and not necessarily even a negative one.
I think some doesn't understood what does a "hobby" make. I for myself thought again about a new hobby for myself, thinking about "walking in front of a cinema, while reading a book." -that may become a hobby, my hobby.

After the last time, someone wanted to gift me with playing in a band, while selling overpriced "percussions"... Awfuly that (given) hobby came my way while "Einstürzende Neubauten" started to gain a little more popularity. wink

Now, if that isn't Off-topic... I dunno...^^
What do you feel the /average/ use case is?

The average use case I bet isn't making use of 4000 plus pixels
Lambda requires an experience and intent to get right, and when it is right it’s an obvious win.

The cost of innovation and experimentation is basically zero —- build it and if they don’t come just leave it running for no cost and maybe they will. Contrast this with other options, and maybe feel the pain of online game developers who have fewer options.
Sorry, but I don't follow. Practically, in the Go design above, PrimeNumber is going to be uninitialized only if the current value of Result is PrimeError. Which can be checked with type matching: which value is active. Attempting to dereference an uninitialized option would panic, we just shifted it from compile-time to runtime (which is typical of Go). I don't understand how things like "NonZeroU64 is guaranteed to be >=1" are related to the notion of sum types per se. Sure Go has a weaker type system than Rust and you can't guarantee that a struct will never be zero-initialized, but you can enforce it with conventions, like wrapping values with structs, using constructor functions, etc.

Example (with proposed syntax):

type Username struct {
value string
}

func NewUsername(value string) option[Username, UsernameError] {
if value == "" {
return make(option[Username, UsernameError], NewUsernameError(..))
}
return make(option[Username, UsernameError], Username{value: value})
}

u := NewUsername("")
switch u.(type) {
case Username:
// ...
case UsernameError:
// ..
}

Verbose and non-idiomatic but seems to work. Or I don't understand something.
Yeah I remember Google's certificate transparency team basically designing firmware transparency for all of Linux (not just Android) as well.
Clusters of unidentified drones spotted in New York and New Jersey
Well, let's hope you are right
404 Media Objects to Texas AG Ken Paxton's Subpoena to Access Our Reporting
The traditional concept of notes (and accessory ones like scales and traditional notation) marks the boundary between "traditional" music theory, that treats notes as the final result (when you have notes written down, it's only a matter of concretely playing them with a given instrument) and theory of electronic synthesis, which treats notes as an input, both optional and taken for granted, and audio signals as the product.
if you want to me to send you crypto, put a BTC or, preferably, Monero address in the footer or whatever.
it's one of my phd works. there was a conference paper but it seems that the database of the whole conf was gone...

still you can find some philosophy here:

https://github.com/chaosprint/glicol

the glicol-cli is also a relatively special work:

https://github.com/glicol/glicol-cli
Apple's Johny Srouji likely on Intel's new CEO short list
4o gave the "linguistic" answer seen here in this thread. None of the 5 options are conclusive.

o1 gave A as the answer, and it even mentioned "vacuous truth"
Eh, they cant control messages as well. Communication worldwide is easier than ever.

But yes, weapons are stronger too.

Things aren't black and white.
That's basically "infinite" DeMorgan:

https://en.wikipedia.org/wiki/De_Morgan's_laws#Extension_to_...
These puzzles are entirely formal logic. Now you may not like or understand the intricacies of the logic/math and how it interacts with the English language, but the rules, and thus the solutions, are pretty objective and not open to interpretation.
Dana Gioia on Stephen Sondheim
There's lots of programming languages still around with untyped elements to them. Javascript is one of them, with its string/number conversions and the way arrays are defined. Then there's all the stringly typed stuff. Make, CMake, Excel, TCL, bash. You're probably right that the original use of the term came from assembly vs. high level, but that objection is meaningless, because nobody is using "untyped" that way anymore....

What makes changing the meaning of "untyped" extra confusing is that dynamically typed programming languages often have types as 1st class objects, and they get used all the time for practical everyday programming. Calling these languages "untyped" is just wrong on the face of it -- they're full of types.
"Why do you ghost" is a rising trend on Google
Our reliance on online interactions is responsible for the increase in the tendency to ghost.

That is a big problem because that means more proportion of people's attempts to connect with others as a whole end up in straight up neglect which can be detrimental to not only one's ego, but also one's social development.

I think this contributes significantly to the loneliness epidemic, and ultimately people need more in-person interactions to overcome this.
Alk of that requires some level of knowledge of the stack. 95% of people have zilch onowledge in that regard.
HN is just a news aggregator. Being a participant does not mean one agrees with YCombinator's business practices, nor does it imply any other requisite opinions.

So I don't see the hypocrisy
A liar who always lies lies always about everything.

Therefore he lied when he said "All". He isn't talking about all of his hats.

He lied about "my", meaning that the hats aren't his. They belong to someone else.

He lied about "hats", really, they aren't hats at all!

He also lied about "are", because he is not talking about the present, but the past and the future states of the "hats".

Finally, he also lied about "green", the "hats" are anything but green, which proves, conclusively, that when he said 'green' he was actually referring to the very specific shade of green found only in government-issue pickle jars from 1972.
So I think it's time for us to have a toast
All these laws make me want to step outside and take a long, smooth drag on a Marlboro Light.
Only people with formal training in logic, or those who work with formal definitions of logic, have trouble with this aspect of the puzzles.

Trying to return to your more naive understanding of logic not only helps understand the intent of the puzzle, it also makes the puzzle more fun.
Ok. And where's the Bode plot?
Childhood and Education Roundup #7
I don't suppose anyone here knows the answer, but claims of matching accuracy like this make me wonder why basic touch ID so often fails and I need to delete my fingerprints and re-enroll. I always figured it was because of rock climbing tearing up my fingers and making the prints gradually different enough that they no longer match. Is it really easier to fool a fingerprint match than a face match? Or was I just wrong all along and the sensors suck? But if the sensors suck, why does deleting and re-enrolling work?
Agreed.

Not to mention that a liar doesn't necessarily have to mean someone who tells a falsehood in every single statement. It could just mean someone who frequently tells falsehoods. Or, more deviously, someone who wants to cause maximum uncertainty in his listeners, in which case some mix of true and false statements would probably be the way to go.
Syria After Assad
I don’t think they are accusing you of lying.

>It’d be more impressive if these predictions were shared beforehand

It’s hard to disagree with that.

Based on your comment above, it sound like “the receipts” are messages between you and one other person. Messaging a prediction to a friend is very different than publishing it for the world to see.
The first sentence of the foreword brings to the point, what the book is about:

"The Theory and Technique of Electronic Music is a uniquely complete source of
information for the computer synthesis of rich and interesting musical timbres."

Whereas tools like Max Mathews' (btw. the author of the foreword) MUSIC programs and their successors clearly separate music composition and instrument building (i.e. sound synthesis), later tools like Max, PD or SuperCollider are blurring this difference. Nevertheless the difference is still maintained by all institutions where electronic music is studied and performed (e.g. IRCAM).
USD is making every other country look and feel poor with how strong it is right now, vs… brexit, so it’s going great!

The UK is the sick man of Europe.
I was also thinking that with the pi400, but that was clocked a bit faster than a pi4 if memory serves (the heatsink). Still, it would have been nice to have a CM5 that could later be upgraded to CM6.

Anyway it looks like a wait and see for the Amiga500+ version for me, that M.2 prep. looks worth waiting for. Any maybe they got some more red paint in by then.
https://opnsense.org/wp-content/uploads/2024/07/OPNsense%C2%...

That looks so goofy
Quantum Computers Cross Critical Error Threshold
Tech companies Palantir and Anduril form fellowship for AI adventures
Show HN: Billover – Automate Invoice and Receipt Management with AI
Hi HN,

I’ve been working on Billover, a tool that uses AI to extract data from invoices and receipts. It automates the boring, repetitive task of manually entering data by using OCR to do it for you.

The idea came from dealing with the mess of financial documents and wanting something simple to reduce errors and save time.

Here’s what it does:

* Extracts data from invoices/receipts automatically.
* Reduces manual entry and errors.
* Aims to be straightforward and easy to use.

I’d love feedback or thoughts on how to improve it! If you’re interested, you can check it out here:
https://billover.com

Thanks for taking a look!
Another happy Hover user. Been using them many years. Not the cheapest, but a reasonable markup and works well, and hasn't shown signs of enshittification. Knock on wood.
That's not right; you're conflating dishonesty with lying. Why do people get weird when it comes to grokking what it means to lie?

Mere deception is not lying. (Though it is dishonest.)

A mere untrue statement is not a lie. (Though it is conterfactual.)

But to lie is to (a) state an untruth (b) that is intended to deceive. Absent both conditions being satisfied, you're not dealing with a lie.

There are other forms of dishonesty, but not all of them are lies.
> The BrandShield software is probably instructed to eradicate all "unauthorized" use of their trademark, so they sent reports independently to our host and registrar claiming there was "fraud and phishing" going on, likely to cause escalation instead of doing the expected DMCA/cease-and-desist. Because of this, I honestly think they're the malicious actor in all of this.

I feel like there's also some missing layer of infrastructure here.

itch.io, like a lot of sites (HN being another), is meant to act as a host of user-generated content, over which the site takes a curatorial but not editorial stance. (I.e. the site has a Terms of Use; and has moderators that take things down / prevent things from being posted according to the Terms of Use; but otherwise is not favoring content according to the platform's own beliefs in the way that e.g. a newspaper would. None of the UGC posted "represents the views" of the platform, and there's no UGC that the platform would be particularly sad to see taken down.)

I feel like, for such arms-length-hosted UGC platforms, there should be a mechanism to indicate to these "brand protection" services (and phishing/fraud-detection services, etc) that takedown reports should be directed first-and-foremost at the platform itself. A mechanism to assert "this site doesn't have a vested interest in the content it hosts, and so is perfectly willing to comply with takedown requests pointed at specific content; so please don't try to take down the site itself."

There are UGC-hosting websites that brand-protection services already treat this way (e.g. YouTube, Facebook, etc) — but that's just institutional "human common sense" knowledge held about a few specific sites. I feel like this could be generalized, with a rule these takedown systems can follow, where if there's some indication (in a /.well-known/ entry, for example) that the site is a UGC-host and accepts its own platform-level abuse/takedown reports, then that should be attempted first, before trying to get the site itself taken down.

(Of course, such a rule necessarily cannot be a full short-circuit for the regular host-level takedown logic such systems follow; otherwise pirates, fraudsters, etc would just pretend their one-off phishing domains are UGC platforms. But you could have e.g. a default heuristic that if the takedown system discovers a platform-automated-takedown-request channel, then it'll try that channel and give it an hour to take effect before moving onto the host-level strategy; and if it can be detected from e.g. certificate transparency logs that the current ownership of the host is sufficiently long-lived, then additional leeway could be given, upgrading to a 24-72hr wait before host-takedown triggers.)
Instead of using a timeout, an optimization that can must be cut off if the cost is excessive can keep some kind of operation or size count, where the count is strictly a function of the input. For example, an optimization based on binary decision diagrams (BDDs) can put a ceiling on the number of nodes in the BDD.
> changing the meaning of "untyped" extra confusing is that dynamically typed programming languages often have types as 1st class objects, and they get used all the time for practical everyday programming. Calling these languages "untyped" is just wrong on the face of it -- they're full of types.

Just to be clear, it's the dynamically typed languages that changed the meaning of untyped. OP's usage is closer to the original and to the current usage of the terminology in the study of programming languages.

Types and Programming Languages, one of the best regarded texts on types, has this helpful explanation:

> A type system can be regarded as calculating a kind of static approximation to the runtime behaviors of the terms in a program. ... Terms like "dynamically typed" are arguably misnomers and should probably be replaced by "dynamically checked," but the usage is standard.

In other words both are standard, but that's because the meaning of "types" has changed over time from its original sense and when it comes to the formal study of programming languages we still use the original terminology.
If there was anyone around, they probably weren't significantly affected.

Galaxy collisions have very little impact on the stars in that galaxy, or the planets around them. Stars are so far apart that the chance of even one direct collision, or a pass so close it would disturb planets around a star, is vanishingly small. Only thing that is impacted is the dust and gas in the interstellar medium.
In the world of logic puzzles, it is understood that a "liar" never makes a true statement, and that "vacuously true" statements are false.
You also sue the others, because they interfered with your contract with the registrar.
These vehicles also have horrible visibility. They have had to increase the height of bollards in many places because they cannot be seen from these vehicles and they just crash into them. In addition, vehicles like these are now happily driving over islands and curbs onto sidewalks as if it is perfectly normal.

It has gotten to be like a death race out on the streets lately. I have had to dodge lifted trucks on the sidewalk while walking my dog when they make too wide U-turns. Utter insanity!
I’m all for second hand, and have gone in this direction myself for use cases, but you do need some bare minimum level of technical competency, or someone to guide you.

I’ve purchased several SFFs on eBay, and had some experiences with broken hardware.

If you’re purchasing this as learning tool, particular for kids/teenagers, that’s not going to be a great experience.

That’s really the market where something like the Pi 400/500 shines. It’s new, it’s going to work, and the documentation/tutorials are super accessible.
You aren't reading the same article. It's obviously ambiguous
PA3FWM's Software Defined Radio
Again, well aware. "Full and rapid reusability" has been the SpaceX mantra since the beginning. They literally told us the playbook.

The fact that industry still hasn't gotten the message even after SpaceX ate their entire lunch is a continual source of astonishment.

Please continue to spread your FUD about how reuse might not be profitable. If anyone actually believes you, it will only serve to keep the other nations / players further behind. ;-D

>like FSD, or that robot

Since Elon is an ambitious entrepreneur, this is an endless FUD treadmill. Since there's always something in progress, you can always just point to those and drop (or move the goalposts about) finished projects. The criticism used to be that Falcon Heavy and Tesla Semi were never going to happen, so those entries have been quietly deleted from your list.

Haters gonna hate. Doers gonna do.
Also notation systems were further developed. Many famous composers came up with their own scores for their electronic or electro-acoustic compositions (see e.g. Xenakis or Stockhausen).
Ready for the cocktail:

>You walk in the store and are ID'd on camera

>You buy everything and use your credit card, which is linked to your ID, since the checkout has a camera too.

>You use your email once, or your address once, with that same credit card, all connected... now they have your email and home address. You significant other has the same address? Everything is linked.

If you really want to get crazy, you can combine voting records too. Based on primary ballot numbers, you can figure out if someone voted D or R in the primary with an address.

Imagine all the stuff you can get from an email address too..
Why'd you switch away from Cloudflare['s registrar]?
I think people get complacent and if it a cut that one does fairly regularly, I could see someone saying on the 1000th cut "eh lets keep it off for this one time" and then it just becomes a thing.
I think they are just moving out of school classrooms.
Curation of sources is the key skill for dealing with this change. In areas where you have no expertise, it's helpful to observe their predictive power over time and use that as a proxy for competence.
Hm. No.

const liar = { hats: [] };
liar.hats.every(hat => hat.color === "green")

true
Shouldn’t Intel focus on competing with TSMC and not nvidia?
The same operators don't need precedence rules; each language is processed left-to-right or vice versa. Usually it's left-to-right, in my experience with maybe a dozen languages professionally, maybe twice that in exploration.
I did that myself, not sure whats wrong with my eyes >.<
Of course not, everyone knows that a[b] is equivalent to *(a+b)
Wait a second.

If the liar says, "All ten-foot tall men have brown hair," we cannot conclude that there must exist a ten-foot tall man.

EDIT: I'll clarify to say I wasn't taking issue with the derivation, but rather with the translation of the English statement into first-order predicate logic. No non-logician would conclude that there must be a ten-foot tall man if "All ten-foot-tall men have brown hair" is false. But since we can derive it from the translated logic statement, then there must be a problem with the translation.

In normal discourse people don't accept vacuous truths like that as meaningfully true. Rather I think people would interpret such a statement as a kind of hypothetical: "If there were a ten-foot tall man, he would have brown hair."

It's not clear to me if first-order predicate logic is really equipped to even handle reasoning about these cases of "a liar who always lies." Such a situation seems to be intrinsically higher-order. If a liar states a hypothetical, what does that mean, exactly?

My interpretation of the negation of the statement is, "If there were a ten-foot-tall man, he would not necessarily have brown hair." This doesn't imply the existence of any ten-foot-tall man.
If all statements made by the liar are false, then the statement 'my hats' which is a statement made by the liar about his possession of hats, must be false, right? If the liar claims possession of hats, the truth must be that the liar does not possess any hats.

What if the liar said "I own no hats, but if I did own hats, not a single one of them would be green"? Can we then conclude the liar owns a green hat?

Formal logic generates contradictions easily and confuses people when expressed in word problem format, because humans aren't that logical - liars may only lie 10% of the time, when they see a benefit. It's like rational actor theory in economics - people may only act rationally 50% of the time.