skysight-inc/HackerNews huggingface dataset:
Ultimately, we have to build our own chips. In the coming decade, getting a custom chip built will be on the same level as getting a PCB done 20 years ago. That brings many other concerns, such as slipping some snooping logic onto a corner of a chip, which is activated only when some 2048-bit string is sent to wake it up. Therefore, even when we have a Chip House build our chip, we're still going to have to knock the tops off and do something similar to what Ken Shirriff does https://www.righto.com/ to make sure there are no 'extra' circuits. Trust is Hard. https://www.win.tue.nl/~aeb/linux/hh/thompson/trust.html
The main value is to target multiple platforms at once.

Otherwise there's no point in choosing Flutter to develop for the web.
Sorry to take your example too literally, but I suspect ad blockers still might work, because at the end, it's really just JavaScript. The network panel still shows everything the app does. Plus when I see the source code, it's still just transpiled js, and even uses standard js libraries, like Google analytics, which are not written in dart.
I had used Winamp since its original release, but when development on it seemed to die off and it looked like it was becoming abandonware, I switched to MusicBee, which I thoroughly love.

Maybe there's better software out there, but I've yet to find it.
It does. It says that designers and product managers don't care to bound themselves by reality.
It also plays nicely with tiling WMs; you can replace the default with i3 or Awesome or whatever and enjoy mate-settingsd and having a nice GTK3 panel that looks nice, but also tiling windows.
The effects of any moderation system are to encourage what the moderators want and discourage what they don't. The norms on HN are very different from the norms on Slashdot, and most of Reddit, which is why you get mature discussion here and not always elsewhere. You can see how the literal moderation system has not much to do with the type of discussion by going into some of the more heavily moderated Reddit subs. Believe it or not, there are lots of subs that are not full of jokes, puns, general unseriousness, and/or toxicity. It just depends on the crowd you attract (which is highly determined by the rules and moderation policy of the sub), what the moderators tolerate, and what they discourage.
the whole screen is a big giant canvas.

I don't necessarily think it was a diberate decision, but Fluttercs CanvasKit is one of the most pernicious evil backwards awful things anyone has done to the web and it absolutely will make ads much much much harder to block.

It uses the web like a vnc session to the app. It is an absolutely sickening perversion of the web & oh it so happens such ads will be unblockable, there'll be no imgs nor divs nor anything else to block, just one massive canvas pushing pixels at you. Gobsmackingly horrible regression for the web, & I am so so so glad someone did a proper job writing up this horrorshow.
> This can take the form of “citation needed” or “sources please” bad faith sniped requests for “evidence.”

If someone makes claims (extraordinary or not), then they should be able to back them up with evidence. Asking for a citation or evidence is pretty much fine as far as I'm concerned.
When I worked for an oil and gas company many years ago, every break room played Fox News. People in leadership positions could be overheard speaking about how Sharia law was this huge threat to the country, and that Obama was a secret Muslim. I’m not a religious person but my husband comes from a practicing Muslim family.

I left the company because I didn’t agree with the opinions beings encouraged by leadership.

What’s happening at Uber reminds me of my experience. In my opinion, companies shouldn’t be a place to discuss political matters. No matter what side you’re on, someone will feel uncomfortable — it’s just a distraction from the job you actually hired these people to perform.
What threat to you are bots viewing your website?
I also write for long periods of time, and use a mechanical pencil with softer lead (2B). It doesn't replace a pen when you need a pen, but if you just want to avoid hand strain, this is another option.
Darren Owen (Dr_O) keeps Winamp updated here at the Winamp Community Update Project: https://getwacup.com/

He's been releasing new updates every few months for the last couple of years, and it's great. It's still how I use/listen to a lot of my old Media that's hard to find on streaming sites.

It also still supports the DSP plugins, a favourite of mine is Stereotool. I wish I could find a way to plug DSPs into Browsers for streaming from Youtube Music etc, but I haven't yet.

Anyway - Winamp isn't dead, it's still Whippin' the Llama's ass.
I have no number specifically for the constructions sector but in 2018, there were 5250[1] death attributed to work in the USA for 327,2 millions, which 16 deaths for 1 million inhabitants. This number was 136[1] deaths for 11.4 millions or 11.86 for 1 million. But the construction sector in the USA is so protected that if I was working in this sector I suppose I would still prefer to work in the states (higher pay for low qualified work). In western europe those jobs are mostly filled by eastern european or immigrants.

[1]: sorry my references are in French, https://www.pressegauche.org/Pourquoi-tant-d-accidents-du-tr... (I would have preferred something with a domain less politically oriented, but the number seems safe), https://www.dhnet.be/actu/societe/136-accidents-du-travail-o...
Well, mods do, and that's the point. Your disagreement with said policy is, sadly, not relevant.
It's a prolific issue, but Windows gets dishonorable mention for making things take twelve clicks that used to take three.
Yea to me I honestly think Google is throwing stuff at a wall and seeing what sticks. Personally I hope Flutter remains primarily on mobile.
Downvoting is a form of moderation, and we all know what happens to online communities without moderation.

I downvote low effort comments, including views I disagree with if they are off topic or poorly expressed. Nobody is owed an explanation of downvotes, but if someone asks for one on something I downvoted, I would reply if it hadn't already been adequately addressed by someone else.

When a comment is partly greyed out, I'm almost certain to either upvote or downvote. If I think the downvotes are unfair, I will upvote, and if I think the comment should be hidden, I'll hasten the process.

The point of downvoting is to keep the site as a useful resource, and that means downvoting when appropriate without spending an inordinate amount of time on it. Nobody has time to read every comment posted on HN.
> We all began as single cells (zygotes) and somewhere along the way we suddenly became conscious, whereas a moment before, we were not conscious. What was that point in time?

You never 'become' conscious, you adapt and interact with the environment from the first cell.
He's not talking about that. You're ignorant.
Apart from the God-awful layout, the article is pretty light on anything useful or actionable.

> I need merely two variables [...] resulting in a simple yet accurate model.

It's accurate-enough, but not accurate accurate. This is why things like quantum gravity are being researched. Maybe I'm looking too deeply into this analogy, but I think it's a really bad one.

> In highly complex systems such as business, things like butterfly effects can cause massive distortions rendering our models flawed.

Most businesses fail due to a lack of product-market fit. This has nothing to do with chaos theory or initial conditions. In fact, I'd say if you have product-market fit, the market tends to be very lenient of initial conditions.

> In order to perfectly predict the weather, you’d need incredible amounts of data and an equally overwhelming number of data points and then somehow synthesize that into an accurate prediction.

I'm pretty sure that we're still not sure if you can even actually predict the weather -- like, ever (we aren't sure if Navier–Stokes is smoothly solvable in 3D). All these physics analogies are just shallow and inaccurate.

> It’s easy for the takeaway to be human behavior is difficult, business is complex, all data is meaningless, we can’t apply a scientific process at all, let’s wing it. And while there are people who lean heavily on intuition (Gary Vaynerchuk comes to mind) I believe if that’s the takeaway, the pendulum has swung too far out of whack.

I'm not sure why this is "out of whack" -- to me, this seems like a perfectly valid strategy. As I get older, I value intuition more and more. There's a reason Warren Buffet's moniker is the "Oracle of Omaha."
https://news.ycombinator.com/item?id=24940676 is also related.
Alas a bunch of absolutely positioned elements wasn't enough. The team went full "the web is now VNC" mode.
Downvoting without a comment forces the commenter to think about the variety of reasons for the downvote. I find this valuable for myself when I am downvoted but I did not expect to be.

Alternatively sometimes I make a comment that I think is worthwhile saying, even though I know it will be downvoted (for reasons I may disagree with).

Making comments just to farm karma is very easy but I don’t find it satisfying (and certainly doesn’t help create good discussion).
Sorry if I wasn't clear - I'm not saying someone sat at a meeting titled "how to stop uBlock Origin" and it ended with Flutter. But I do think the overall approach of Google is let's make the internet more of a controlled experience, and Flutter fits perfectly in that approach.
Same, have been looking for a slightly different use case: Using RPi as a video capture card that takes an HDMI input and outputs H.264. Even better would have been to implement it as a UVC device that can be plugged in as a video source.

I was surprised that gamers haven't implemented this yet as a DIY Elgato project.
This means we’re rapidly approaching LCARS, right?
Which ssl libraries do they use?
How many wars did the US and China engage in over the past couple of decades and how many civilians were killed (in comparison)? Just curious in finding out who has the moral high ground here.
I think a lot of socialists and communists ignore the 1980’s of Eastern Europe and Russia too much. Generation after generation of people were indoctrinated with these philosophies. And yet, as soon as liberalism became an option for them, they immediately traded in their party card for it. No guns needed.

We ran the experiment and in the end it declared itself a failure.

Now the thing to be done is to work out all the wrong ways liberalism has gone and rinse away the communist influence on parts of it over the 20th century.
How does it split the time from the risk?

My main problem with points is the impossibility to represent:
- A long task of 5 days that's very well known, it's 5 days of work
- A short task that's very uncertain. It could be a one line change or many days of work

With time range, you can represent that and it's very visible. With points, you can represent that as the same points, but that does not reflect reality, one of the two estimates is potentially wrong.
This also helps providing input on what research tasks should be performed and what's their value.
But the issue is that people are considering flutter for mobile to build decent user experiences, which it cannot achieve being flash player like
I missed what pq and sdr stand for. :(
Wait, winamp didn't work on Windows 10? Why is that? I've been using it -version 2.91- in Windows 7 without problems (in fact I'm currently listening to it right now). I thought that it was solidly programmed and that it could work with any Windows as long as the underlying OS API was compatible. Is that not the case?

EDIT: Ok, after reading the comments, it seems that Winamp does indeed work in W10. So I guess that this "update" is not really necessary and this is just PR. I understand the reasons, but personally I've never felt the need to update.
This is strange to me. When I was in school (1970s/80s in the USA) we used pencils almost exclusively. Rarely, the final draft of an essay might be required in ink (pen type immaterial), or typed, but not below grade 6-ish.

I do like the feel of writing with a fountain pen but never used one until I was an adult. I still prefer pencil for note-taking and rough draft writing.
I most definitely do. Fountain pens are used by first graders and second graders. Everyone else is using ball point pen.

People even draw with them.
Oh, fully agreed that it's a terrible idea on many levels that should be reserved for very niche scenarios(I don't think it's totally useless, and would be curious how well it can be expanded to add accessibility features if the developer cooperates). I just think negligence/ignorance/bad priorities are more likely explanations.

(another technical argument: today you seldom see ads being served from the app domain, despite it being not that difficult and an easy way around domain blocks, because the ad industry doesn't trust that model - so even if the rendering is obfuscated, at least for now ads from Google would still be fetched through stoppable network requests for anti-fraud reasons)
On some further introspection, this is probably a good moment for a break from HN for me. There is just too much crap out there, and I need to focus all of my time on creating something much better instead of writing HN comments of questionable value.
> There are semantic models of `F + Not(Con(F))` that accurately describe the theory.

That depends on what you allow to count as "accurately describing" the theory. See below.

> The difference is that these models contain nonstandard natural numbers (these nonstandard numbers become the Godel numberings of the proofs of `Not(Con(F))`) if `F` is "truly" consistent (according to the standard model of PA).

These "proofs" are only "proofs" if you accept "proofs" with an infinite number of steps. In the post I originally responded to in this subthread, there is a quote from the Aaronson article that describes it this way:

"it has a model (involving “nonstandard integers,” formal artifacts that effectively promise a proof of F’s inconsistency without ever actually delivering it)"

Aaronson doesn't accept these "proofs" as being valid, which is why he takes the position that F + Not(Con(F)) is unsound--or, to put it the way I was putting it, that Not(Con(F)) does not accurately describe the theory since F is consistent but Not(Con(F)) says it isn't. That is also the position I have been taking.

The position you are taking is that Not(Con(F)) does accurately describe the theory--and therefore that the theory F + Not(Con(F)) is in fact sound--because we can reinterpret the formula Not(Con(F)) to mean, not "there is some standard natural number that gives a proof that F is inconsistent", but "there is some non-standard natural number that gives a proof that F is inconsistent". Then, as noted, you would also have to reinterpret the notion of "proof" to allow "proofs" that contain an infinite number of steps and never actually end, since that is what a proof whose Godel number is a non-standard natural number would look like. And since such a proof never actually ends, it never actually delivers a formula that says "F is not consistent", so it never actually makes the formal system inconsistent.

In the end this is not really a dispute about the math--we agree on what the formal theory is, what its possible semantic models are, and what properties those models have--but on the use of words like "proof" and "accurately describe". So there isn't really a way to resolve such a dispute; we just have to be aware that there are two different viewpoints on how such ordinary language words can be used to describe the math.

> The fact that there must be semantic models of any consistent theory is a cornerstone of first-order logic and is e.g. not true of second-order logic. This follows from Godel's Completeness Theorem (not Incompleteness Theorems).

Yes, I'm aware of that; see above.
It still hypothetically works, it's just much harder and not generalizable, so you'd have to write features specifically for flutter websites.
I don't think so.

A major difference is that as far as I can tell flutter is long term meant to be the main way to write native Android apps.

Flutter on web has this kind of problem due to how they handle text differently then a HTML does and HTML provides no way to customize it to the way they need it.

Flutter on Android, iOs, Linux, etc. won't have this problem.

Most modern UI's render with a graphics API like OpenGl (ES), Firefox does so for HTML.
> In fact, I think a platform like this could good for accessibility if it handles it properly instead of leaving it up to fallible developers.

Fluttercs CanvasKit will never be good for accessibility because it will never work with the tools user's use on the rest of the web. Tools expect hypertext, expect a dom, & smashing that on the rocks & turning the web into VNCh no matter how hard the team tries- is going to result in the kind of accessibility that matches well & works across the rest of the web.
Eh? The problem with using unsigned is identical to using size_t. size_t doesn't have any special carveouts that eg. say that wrapping is undefined behavior. It's defined as an unsigned integer type. Meaning it has unsigned integer type behaviors.
The idea is sexy on paper, and it's been tried several times since webRTC came out. But the execution, both technically and commercially, is really hard to get right. I wish you good luck.
I don't know why everybody thinks Microsoft Word doesn't have Reveal Codes. They have it; it's called Reveal Formatting; it has mostly been there since version 1.0 which I remember installing from 100 floppy disks in college in 1989.
A more justified explanation would be that consciousness is the capacity to learn and adapt to the environment, so we don't have to say 'it just emerges'. It's there, even at cell level, but it's not inherent in matter, that makes no sense. It's probably inherent in self replicators that live in a competitive environment, but not just any matter. Rocks don't learn and adapt and have no reason to do so.
Considering or are? 2 very different things. How do you mean "Flash player like"?
So, now, I think you're getting into an area I like to call "shit you can't say on HN." For example, I think pretty much everybody agrees genocide is bad, and that Stalin committed a good amount of genocide. But, he also brought a feudal, agrarian nation from nothing to launching the first artificial satellite in under 50 years. I'm pretty sure such a comment would be downvoted because "scary genocidal mustache man bad."

I can give other examples, if you like.
Tokyo vs. Hiroshima
Authentically 80's :)

I regret selling my 800XL - spent many hours playing Dig Dug on that machine!
As someone who shipped an app in Flutter on Android and iOS, there is practically 0 code re-usability between web and mobile. Regardless of platform, mobile apps feel the same - they both have navbars, tab bars, lists and table views, etc. Even if I could use an iOS navbar on web, it would look so out of place it's not worth considering.

Okay, so you can't reuse UI components, surely you can reuse the Dart code that makes up the guts of the webapp? And, sure, you could, but why would you when you can spend maybe 10 minutes to translate it to native JS (the two languages are practically identical) and ship it without the Flutter Web dependency?

I actually feel like it'd be easier for me to convert some of my Flutter components into React ones, than to try and learn Flutter Web and set up its whole toolchain. I think it's a cool idea, but it's not meant for widespread use (speculation): it's meant specifically for Google's Fuchsia, where they are probably planning on shipping Web applications pretending to be native desktop apps along with the full Chrome experience much like they did for Chromebook.
>It is based on dependent products which you need to understand sooner-or-later (sooner, really),

Type-theoretic universal quantification _is_ the dependent product (/dependent function, a term I prefer). I assume you're talking about the Cartesian representation, but that's just one way to visualize it, the definition is not dependent on it. If you understand predicate logical quantification it's not necessary at all, since the introduction/elimination rules for type theoretic quantification are the same as for normal predicate logic quantifiers.

>are rather more intricate than FOL

Maybe in application and theoretical implications, but to grasp the concept you have just have to understand that it's relaxing the restriction on "what you can quantify over", which really isn't a huge jump I'd say.

> Ah, but that's the thing. It's not a function and it can't be (for the same reason you don't have an identity function in set theory).

Why would it not be a function? With set theory you have the issue that you can't take a set as an argument and have the codomain and it's elements be dependent on it, but that's exactly what dependent function types allow you to do.
The universe U is a sort and A is a valid sort too, so

forall A:U. forall a : A. A

is a perfectly valid function signature and the term would just be (lambda A : U. lambda a : A. a). That doesn't strike me as any more complicated than your second TLA+ example. Sure, you have to deal with universe polymorphism, but I'd say that's compensated by the increased complexity from having to use syntactic operator.

Lean's syntax to specify the universe U is admittedly pretty ugly, but the actual meta-theory isn't that complex I'd say.
All Chromecast Ambient Mode Images [with Metadata]
This happened to me very recently. It was a meeting with five people and I asked for some information. But when she started answering I realized I had phrased my question poorly, and as a result she wasn't really addressing my actual concerns. When I tried to interrupt to clarify my question, she slightly raised her voice to drown me out.

So when she concluded her explanation I had to go "sorry, what I actually meant to ask was ...".
In Clutter's CanvasKit there is just a canvas, pushing pixels in your face. Be glad you got a hard to use DOM, that's better than the abomination that is coming.
True, but compared to what? Everyone else seems just as bad in that regard.
I use winamp 2.91 on Windows 10 as my main music player. It works fine except .wav files have clipping/static which doesn't occur in other players, and some newer formats are not supported. But still works great for flac (with a plugin) and mp3. I use the double size feature so it's not tiny on a 4K HiDPI monitor.
It’s curious you mention these lines already being legally defined while seeming to not actually know what they are.

US law already makes speech that incites violence illegal. There is plenty for you to learn in this area.

https://en.wikipedia.org/wiki/Imminent_lawless_action
not entirely related, but my buddy is sitting on ballpoint.com

he isn’t a squatter but it’d be nice if he could flip it no doubt. maybe in 1945 ;)
> Say what you want about Secure Enclaves, we know of no better way to conceal social graphs.

I'm not following. Secure Enclaves have nothing to do with protecting the social graph of Signal users. They're used to store the contact list (and other things) in the "cloud" in a safe way – things that weren't even shared / stored anywhere by Signal before Secure Value Recovery was introduced.
'We wrote this cross platform framework, now we must bend to break the web to fit it.'
These always strike me as requiring a ton of understanding beforehand. Is unfortunately like a lot of testing folks do. If you knew to write some tests, the test probably want necessary.
That and the fact they had like 5 years of a head start.
What about when companies themselves get explicitly political, such as Uber & Lyft with respect to prop 22? Is it not fair to discuss literal company policy?
Millions of animals missing from scientific studies