skysight-inc/HackerNews huggingface dataset:
As an example of using semantic information, you might define a bunch of functions that take two natural numbers and return some result. Then you might write some proofs about those functions.

Let's say you write those proofs via induction over the natural numbers. You can choose between arguments to induct over if your functions take multiple inputs. The most effective choice often depends on the definitions of your functions. This means to pick the best argument, already you need to unfold your definition. Chances are you do that unfolding in your head, not using a tactic, or at least not one that you keep in your final proof.

So already, an ML technique for ITPs that does not unfold definitions in goals for more information is missing out on the essential piece that makes a user choose one argument for induction over another, even when syntactically the hypotheses and goals may look identical (I can define "add" to break down the first argument or the second argument, my call).

In general, I think the ITP community likes to pretend that we are using tactics to interact with a black box, but in practice, most of us have internalized heuristics that involve introspecting on the structures of terms and types. So any model that lacks the information to internalize those heuristics is missing out.
That was true with 3G to 4G, yes. But with 4G to 5G there is hope for relief in this area. One of the big features of 5G is the ability to handle a magnitude order more density with more "intelligent" frequency allocation, modulation, and (the big one) - LoS beamsteering.

Of course, with all things in life there are tradeoffs. The tradeoff in this case is a 5G provider infrastructure radio every few hundred feet in urban areas to enable the LoS beamforming with the density factor required.
Shop in Seattle Fixes the Original Tesla Roadsters That Elon Musk Left Behind
I think you're agreeing with me -- what specifically are you saying I'm wrong about? My comment said exactly what I think you're saying -- that businesses are free to choose what to accept, by refusing to do business in the first place.

(Or did you mean to reply to the same comment I was replying to?)
Athletes have poor teeth despite brushing twice a day, study finds
Decreasing latency seems more like a material improvement, but I wasn't aware 5G impacted that. Our current peak of bandwidth, on the other hand, is pretty much as much as you could need for any given media.
Reminds me of:

https://www.nytimes.com/2007/02/06/us/06cnd-astronaut.html

Is there something in being an astronaut that triggers such behavior?
Because not everyone can come up with 50k to put 5% down on something that wont start printing you money for 10 years. 4/10 americans can’t come up with $400.

But if you can afford it there is no better investment. Practically no home in LA county lost money over an arbitrary 10 year period. The problem is the source of these profits is from squeezing middle and working class renters absolutely dry.
What "actually happened" was that a US Border Agent acted in an incredibly unprofessional manner.

I entirely agree that the border agent acted in a manner that was incredibly unprofessional and completely inappropriate.

>> He wasn't stopped.

He obviously was stopped, even if only to be questioned, and berated for being a journalist.

My apologies, I was incomplete. He wasn't stopped for being part of fake news media.

He went through the usual (in my experience) process of having his fingerprints taken when entering the country. That involves stopping, having your documents checked, being fingerprinted, and being questioned. This happens to me pretty much every time I enter the USA.

Which should never have happened.

Being berated obviously should not have happened. Being stopped happens all the time. Being stopped for being part of a fake news network would be outrageous, but that didn't happen. It's not why he was stopped. He stopped as a normal part of the entry process.

>> it was part of the questions he was asked as he was being fingerprinted

You say that trying to make the encounter somehow 'routine'. It's not.

With respect, it is. I'm stopped and have my finger-prints checked pretty much every time I enter the USA. The encounter he reports is not routine, being berated is not routine and is obviously wrong, but being stopped and having ones prints taken is routine.

The headline is accurate,

Again, with respect, the headline is:

Journalist stopped by US border agent 'for being part of fake news media'

That's incorrect. He wasn't stopped for being part of fake news media. He was stopped as part of the normal process for entering the USA.

What is unusual is for him to have been berated. And yes, that's utterly outrageous. And no, I don't agree with the agent.

But the headline is inaccurate.
Totally. In a side room at Java One in 1999 or 2000 I saw Fowler talking about Refactoring, and he happened to bring Kent Beck up on stage to talk a bit. If I hadn't been exposed to their ideas, I surely would have left software by now.

Over and over, my experience was building something that slowly got less tractable over time, where eventually we'd just want to do a big rewrite. It sucked! I had tried the big-design-up-front approach, where I thought real hard for a long time before building. That might push out the rewrite date some, but definitely not forever. It was dispiriting, a slow, sticky death. That combined with crunches and burnout was slowly making me hate something I had loved doing.

But their main point was that code bases didn't have to end in an entropic snarl. That with decent tests and a little elbow grease, code could get better organized every time we touched it. That instead of death by papercut, we could make things a little better every day. Better for the users, better for the business, better for the developers. They weren't promoting silver architecture bullets. They were saying that we should trust and empower teams to figure it out. That if we gave them room and tools to figure it out, everybody would end up happier.

It made a huge difference in my life, so it's weird to see people here aggressively putting words in Fowler's mouth, words that seem entirely at odds with my experience of him and his work.
It's possibly the best political satire bar none. I've probably watched it a good few times and will continue to watch it.
Best is, that it even lines up beautifully with some of the stuff that goes on in Indian politics here to this day!

There was also an Indian spin off sometime in the nineties.. did sort of ok but iirc got called since it ruffled a few feathers here
So you'd rather run the mains power to a device that beams power through the air to a light fixture rather than just run a wire to the light fixture?
> As another example, couldn’t those “in a Emperor/Commander/multiplayer game,…” sections be grouped by type of game?

That's an interesting question. As a fairly casual but very long term player, I think I like it this way. If I have to go look up a specific interaction about attacking, and I'm playing an Emperor+Commander game, I definitely want to look in one place but see the other game modes there.

If the game modes were substantially different, then it'd be a lot better to split them out. But typically they're relatively small layers overtop the base rules. Magic is a complex enough game that very small changes result in a different experience.

Imagine a chess variant where you couldn't perform an En Passant capture. Do you want that to be a separate rule book or section, or do you want it to be specified next to the rules for En Passant? Or what if your pawns could only be promoted to pieces you've captured from the enemy, or pieces your enemy has captured from you?
AR for businesses(like AR repair manuals, etc) seems like a good idea.

But in that case , downloading the data locally seems like a real option.
It's not particularly surprising that increased use of high-sugar products is bad for oral health.

What is a bit surprising is how popular these products are with very little research into efficacy.
Regardless of Feross’ choice, it’s hard to believe how bullish are many of the commenters there. It’s saddening. Manners are dead and people feel entitled.
I think I'd go with Nabokov's advice who said:

"Curiously enough, one cannot read a book; one can only reread it. A good reader, a major reader, and active and creative reader is a rereader."

Exploring many different books is fine, but I think what really pays of is sticking with the books that are particularly meaningful to you and exploring them over and over again, taking notes, finding people to discuss them with, mulling them over, and so on.

I also do read quite a lot but on occassion I will always go back to the 5-7 books that are special to me, as a result I know a lot of them by heart even if I haven't picked them up in years.
Kid deadlifts 405 pounds for the first time
Or suggest some public service ads -- Nobody reasonable can disagree with such messages as "cars and alcohol don't mix", "always use a thermometer when grilling", "feeling depressed? call this suicide hotline", "narcan reverses heroin overdose" etc.
Reading an enumeration of architecture options can be helpful, but I've probably found more value in works like Ousterhout's "A Philosophy of Software Design" that cover fundamental design principles. Such principles seem to be applicable no matter the project.

I appreciate that Ousterhout tries to support these principles with some data from his own experience (building Tcl, RamCloud where Raft consensus was discovered, etc) and from code reviews of student projects in his design course, but he admits that there is a lack of data about things like design.

Sample principles from Ousterhout:

* When developing an interface, favor exposing a small number of functions each with deep functionality over exposing a large number of functions each with shallow functionality. For example, favor Unix file I/O interface (open, close, read, write, unlink) over Java file I/O interface (File, FileReader, BufferedReader, FileWriter, BufferedWriter, FileNotFoundException, ... etc.)

* When choosing between keeping your code specific and keeping your code general, favor "somewhat" general. For example, instead of exposing "deleteNextCharacter(text, pos), deleteNextWord(text, pos), deleteNextSentence(text, pos)", just expose "delete(text, pos, length)" and let the caller use it how they will.
I can't really speak for large companies, but I believe my answers apply, no matter what's the company size.

> How do you tie in to version control?

You're probably talking about the infrastructure definition? Infrastructure-as-Code (e.g. AWS CloudFormation) works quite well and can easily be put under version control.

> How do you QA this? (Can it be QA'd locally?)

For AWS there are projects like the AWS SAM CLI (https://github.com/awslabs/aws-sam-cli) which try to offer the ability to run your serverless application locally, but I believe such approaches are fundamentelly flawed once your application reaches a certain complexity, as I believe such projects will never be able to re-implement all features and services made available by the Cloud provider.

What works well for us is to simply have QA environments spun up in addition to the productive ones. Once you got the infrastructure codified properly that's quite easy. The biggest downside is that it, depending on your architecture, might take some time to provision, so it's not as instant as if you'd run it locally. And you need internet access of course.

> Would you have unit tests for serverless code? E2E tests?

Yes and yes. Actually I see no reason why you'd want to handle test coverage differently from traditional applications.

> How would you catch/diagnose a more junior engineer making an infinite loop of events? Would this potentially bring down production or eat the budget?

Running code during development should never be able to affect production. For AWS the way to go is to use separate AWS accounts for production and testing/QA. You could even go so far to give each engineer his own account.

Regarding catching and diagnosing infinite loops, it all comes down to monitoring: Monitor how the cost evolves and other metrics of interest (e.g. the number of invocations of your serverless functions) and have automatic notifications once certain thresholds are crossed. Additionally limiting the maximum concurrency of serverless functions for non-production accounts might help to avoid things getting out of control too fast.
Yes, I would love more oligopolies established for home broadband.
Windows 95 and 98 (but not 98SE) had a similar problem with fast CPUs, also due to an internal delay loop being run too quickly. However, the same problem is not present in earlier versions of Windows (3.x and below) nor DOS, which is interesting because the kernel of 3.1/3.11 is almost identical to Win95's.
Disney+ will give subscribers four simultaneous streams and free 4K for $6.99/mo
Can Intelligent Machines Find Intelligent Aliens?
I could've been doing this with iTunes for TV shows for years.

It would be way less convenient, though. So I don't. I don't know which device I'll end up watching on, and don't want to deal with syncing and all that shit.
360 video is not going to take off because it’s a sucky experience. “Real” VR with positional tracking makes you feel like you’re in another space, and has lots of potential for that reason. 360 video does not.
No, but they would download their content once and store it locally instead of repeatedly re-streaming it every time.

IF you have children, you're probably familiar with the concept of streaming Frozen for the 50th time. If you're using netflix or spotify or similar, you're probably also familiar with the concept of something that was previously available just vanishing because of circumstances outside of your control.

Streaming is mostly a DRM/copyright enforcement tool. The only time streaming is actually adding value is live streaming.
The leaving coworker can still be friendly and trust their colleagues but may not share details so as not to ruin their colleagues' perception of their employer.
Polymorphism in C Language – Linux/FFmpeg
Besides this, there are reports from serious agencies (NASA is one of them) stating that what is happening on Amazon is on par with what has been happening at least in the previous 15 years (I think that's how far their data goes). [1]

I am lead to believe that all the media attention in this past week to the problem, is a mix of political staging and sensacionalism. If it was really due to environmental concerns, the same responses we are seeing now, would have already happened many years ago under Lula and Dilma governments, given that the scale of the problem is the same.

[1] https://earthobservatory.nasa.gov/images/145464/fires-in-bra...
Nucleics gave the people so much more than what 5G gives to us. I would imagine that it would be very difficult to impress anyone with the advantages it brings, versus being able to levitate and emit light.
Torn between, "Glad to see that, 'This news topic concerning death nd destruction is nearing the end of its cycle, let's see if we can extend it a bit by finally highlighting the problems that have sorely needed solving even longer in Africa,' is still a thing" and, "Someone wants to take the heat off of Bolsonaro using the tried-and-true method of exclaiming, 'Yeah well African governments are doing even worse!'".
I hope that was a long time ago (RF safety). Now a days most places I have seen (towers and the like) have very clear marked boundaries of "DO NOT STEP PAST THIS POINT WHEN RF EMITTER IS IN OPERATION" type warnings. I believe these are all certified by a RF site survey analysis AFTER the site is dialed in (positioned) to understand the exact radiation pattern and drop-off points.

While the energy is pretty much harmless even 5 or 10 feet away from the initial radiation point, you definitely don't want to risk it by potentially cooking yourself when only a few inches away...
you are talking like someone who grew up with analog radio and now can't understand advanced signal encoding beyond the basic change from analog to ttl.

the comment you are responding to is not implying you go back to buying media. but that media already transfered to my nearby network should be cached locally.

but as with the move from analog to digital, the old guard will have a very hard time to grasp distributed web now while it change the world around us (i'm including myself on the blid group btw. I wish I could see better what is comming)
T-shirt is 100% plant and algae. It biodegrades in 12 weeks
I once saw a comment similar to yours on HN, and there was a very good reply that critiqued the idea. I'll do my best to replicate something along the same lines.

If we look at the total potential lifetime "clock cycles" of a system, and compare that number to systems that we know are considered intelligent and capable of thinking, it might shed light on the plausibility.

It takes information 100,000 years to cross the galaxy, and the universe is 14 billion years old (the galaxy is younger, but not enough to matter for this), so roughly a maximum number of 100,000 round trips could have possibly occurred in this "galactic brain".

Let's use a very conservative metric, such as how long it takes a human to blink in response to stimuli (about 100 ms), for our "human clock cycle". If a human lives for 80 years, that is about 2.5 billion seconds, or 25 billion clock cycles.

This is roughly 7 orders of magnitude (10s of millions) more than in the galactic brain. This gives the a very loose impression that a such system would probably have not have enough information flow or feedback loop cycles to "think" anything interesting.

Of course, this a very rough heuristic, but I think it is interesting and useful. The idea of unexpected or strange "thinking systems" is very cool and we should continue to explore it, but there are certainly some hard constraints defining the space of such systems.
I had a similar experience (also on Three) when 4G first rolled out. Blazing speed, low latency, low contention. Unfortunately as the technology became more mainstream, the speeds dropped and peak contention increased.

A small scale roll-out is absolutely not indicative of real-world performance.

In Glasgow, I'm getting around 5Mbps on Three over 4G. In Japan and South Korea I regularly got far in excess of 100Mbps over 4G.

It's more about backhaul bandwidth and capacity planning than radio technology. 4G is more capable than you'd think, and any speed real-world increase we see with 5G is almost certainly down to better network design.

Edit: autocorrect typo - "tech logo" to "technology"
Hey! That's pretty cool! I wasn't familiar with that (and probably would have been stumped by the question :) ). Thanks for the solution! Also; thanks for a great example of something that looks like cloning (and could be mistaken as such) but isn't. I'll need to keep it in mind when explaining things in future.

By the way; the math reason for the impossibility of cloning states boils down to the fact that Quantum State evolution is described by a unitary operator. The linear algebra[1] shows that this means that you can't have a process that takes a state

Q(|psi> x |r>) => |psi> x |psi>

For a general |psi>. So it'd be very surprising to discover a process that pulls this off. :)

That said; I find it very surprising that causality gets preserved in regular quantum mechanics by a completely unexpected mechanism, namely unitary state evolution. Regular QM doesn't know about special relativity, or its needs, and by pure accident it seems to prevent a giant loophole that would play havoc with causality.

[1] https://en.wikipedia.org/wiki/No-cloning_theorem#Theorem_and...
And if the AR processing is being done on device—which I think it has to be due to latency, even under 5G—the data to be downloaded really isn’t that large. We’re talking images and 3D models.
Some landlords have seen their buildings value and the rents they can command go up well over 100%. There are landlords whose buildings were paid off decades ago. And all these landlords pay property tax on their purchased price, not the current value of the property. And I can tell you in LA county that you will absolutely not loose money on real estate if you ride out a business cycle. Its a perfect system designed for a parasite by parasites and supply comes to market in paltry controlled drips.
> Like, I'm defining "unpleasant" to mean really horrible, something actively negative, like e.g. cleaning up vomit might be, whereas you just mean "not that interesting / fun"?

I mean something in between. Not necessarily causing revulsion or mental pain, but still less preferable than doing nothing at all.

> I tend to find that my attitude towards these sorts of tasks varies depending on how stressed I am.

That's definitely true for me too.

> It seems to me that you must have a line somewhere - like gardening for example, is that a maintenance task, or is that different because it's not actually necessary? Decorating the interior of a house?

Depends. I'd definitely prefer for the garden to maintain itself by magic instead of having to micromanage it, and having no other option, I'd probably turn gardening into a set of half-baked electronics hobby projects. Decorating the house? That's a one-off task, a means to an end. Still, while I'd happily decorate the thing in CAD software[0], I'd happily pay someone to assemble and put the new stuff according to instructions. I've assembled and moved enough furniture in my life for that to become boring.

(A somewhat related example that's current for me: Kerbal Space Program. Your first couple dozen orbital insertions, your first couple dozen manual orbital intercepts and dockings, are all super fun. But after a while it gets so repetitive that you wish for a way to automate it. When your goals shift from "let's land on the Mun for the first time" to "I want to send 250-ton spaceship to Duna for long-term planetary studies", you start realizing that doing a dozen launches to assemble it in orbit is a chore, and you don't want to spend the hours required to do it.)

Maybe it's the "mastery" thing? There's this well-known "Frustration/Boredom" chart floating around the Internet, see e.g. [1]. Most maintenance tasks don't require too much skill for good enough results, so with near-zero challenge, repetitive nature, and goal being mostly treading water, it's just one big grind. People probably have different thresholds of tolerance for that.

Another issue is whether this is even self-directed. Living with other people means that you may be asked to do maintenance tasks way before you yourself think they're needed. In these cases, I find the work doubly frustrating.

--

[0] - which I recently did, to accommodate our newborn.

[1] - https://www.researchgate.net/figure/Flow-state-frustration-a...
This is now one of my favorite comments on hacker news. Thanks! I've been wondering -- how to recreate this feeling in an MMO? We can definitely have scale changes by letting people zoom in or out and changing their character avatar size and walk speed accordingly. But changing apparent time is hard. Unless you can "zoom in," program a bot, then zoom out and then it's running at a faster rate then you zoom in and see a new civilization it created, etc.
University curricula often try to expose students to a wide variety of programming paradigms. I'm not sure how you could walk out of Berkeley's CS 61 series thinking that there's One True Way to write all programs, for example.
It is actually kind of funny, I know what deconstruction is, and I would call the two quoted paragraphs pretty clear. They don't do a horrible job of describing what it is.

I think it just takes being steeped in the jargon of the field to read that. But, it is a pretty ok explanation. If you think this is somehow bad, I would argue you should try to read any of the wikipedia pages on homotopy type theory without background knowledge and tell me if those read like gibberish to you as well.