For another example of semantics-aware highlighting for Rust, see Flowistry, which allows you to select an expression in order to highlight all the code that either influences or is influenced by that expression: https://github.com/willcrichton/flowistry
Flowistry publishes their underlying rustc plugin as a crate, so all the analysis is already done for you, you'd just need to integrate the output with your editor of choice.
Thanks for sharing this project! That's a really neat idea and would help me a lot with understanding code written by others. It's unfortunate that it's only available for Rust, but it makes sense that the language design really lends itself to this.
Looking at this, I noticed how long it's been since I saw a new IDE feature that really made me more productive at understanding code. The last I can really remember was parameter inlay hints. It's a bummer - both the Jetbrains IDEs and VS Code seem to only focus on AI features I don't want, to the detriment of everything else.
Seconded. The call syntax is priveliged, and overloading it to serve as array indexing is a cute demonstration of how arrays approximate piecewise functions, but the same can be said for every data structure in some capacity.
For the past 20 years the population of the internet has been increasingly sorted into filter bubbles, designed by media corporations which are incentivized to use dark patterns and addictive design to hijack the human brain by weaponizing its own emotions against and creating the illusion of popular consensus. To suggest that someone who has been vibecoding for only a few months is at the tail end of mass adoption is to reveal that one's brain has been pickled by exposure to Twitter. These tools are still extremely undercooked; insert the "meet potential man" meme here.
As the article mentions, if you want to use NAT with IPv6, you can. The fact that it's optional doesn't mean that address obfuscation is suddenly impossible.
It means it is not by default, which as we know, is a powerful choice these days.
ie enterprise customers will enable it, consumers will do it if they are tech savvy and your mom/dad/granddaughter/grandson/nephew/niece will have the default option.
when you are at home you will have nat and when you are not you will be uniquely identified.
If you can be uniquely identified without NAT then you can be uniquely identified with it too, because IPs don't contain your identity. You get them from a combination of the network prefix and a random number generator.
There's generally no reason to be enabling NAT when you have enough address space to not need it. It can be a useful tool in your toolbox sometimes, but it's not something to be enabling by default.
The market can only resolve based on public information, so it could only incentivize revealing information that is already destined to be imminently revealed. Furthermore, it doesn't incentivize sharing that information with enough lead time to actually take action based on that information; the opposite is actually true, insiders are incentivized to wait until just before the event to make their trade, meaning that the public gets no actionable information in practice. And that's assuming that you can distinguish an insider from someone lying for the sake of market manipulation.
> [...] insiders are incentivized to wait until just before the event to make their trade, [...]
What are you basing that one? And how is this supposed to work?
If you are an insider the incentive is to trade as soon as possible, lest some other insider beats you to the punch, or some conventional leak (or investigative journalist) spoils your party.
This is easiest to see, when there are multiple unconnected insiders: the first to trade wins. But even if you merely suspect another insider might exist, you have an incentive to trade first.
> And that's assuming that you can distinguish an insider from someone lying for the sake of market manipulation.
That's exactly the same as any other noise trader in financial markets, yes. Nothing specific about insider information.
The pizza index is specifically about late-night pizza orders, when presumably most of those restaurants are closed (though some do appear to be open 24/7).
If the pizza-indicator is still observable, then there is insufficient internal capacity (or perhaps it would be more correct to say insufficient at the right times) to mask the signal
> In prediction markets if the markets are fully efficiently priced, in the absence of transaction costs you WILL get 100% back in the long run.
This is basically equivalent to the observation that, in a perfectly efficient market, no entity can ever make a profit.
And yet, in the real world, entities make profits all the time. In fact, they make wild, unimaginable, world-changing, history-altering profits. This is a tacit admission that our markets aren't even remotely efficient, and that includes predictions markets. Efficient, rational markets are the exception, not the rule.
In a perfectly efficient market all entries can make the same profit on a given investment at the same level of risk and time horizon. There’s nothing inefficient about a market having a risk premium etc.
If you're making nonzero profit that means that it's feasible for anyone else (literally anyone else, assuming zero barriers to entry, which we do assume for an efficient market) to make slightly less profit by selling the same product at a lower price, which iteratively pushes all profits towards zero. An efficient market also assumes perfect information, which includes information of future events, so talking about risk/uncertainty is already out of the question. If that sounds absurd, then yes, that's the point: our assumptions about what it takes in order to achieve an efficient market approaches the absurd. Which isn't to say that markets aren't often useful, especially compared to the alternatives, but rather that appeals to rationality don't survive contact with the enemy.
The economy is finite. You can’t infinity add new participants with infinite product to sell.
Instead in an efficient market everyone is already occupied making X ROI and gives as much up by entering a new market as they gain.
Put another way, if you already own a sock with 10% ROI, you can sell it and buy a sock with 10% ROI but the transaction is pointless so it doesn’t occur.
> An efficient market also assumes perfect information, which includes information of future events, so talking about risk/uncertainty is already out of the question.
Perfect information means something different here. In Chess both players have perfect information of the game state, they don’t know the future. Poker has randomness and imperfect information but there’s other games with randomness and perfect information.
Free markets aren't even an exception. They're an abstract construction that exists to make economic analysis scientific by removing all confounding variables from the equation. I'd be extremely surprised to find one example where the conditions required of a free market truly existed.
If people knew more about economics than just whatever is being parroted as 'economics' in mainstream media they would know that there's a variety of types of markets that happen in the real world and none of them are the abstraction of a free market that allows econ 201 students to compare what happens when you introduce trade between a country that produces 4 apples for 3$ each and a country that produces 5 oranges for 4$ each.
They still don't want users to leave. Yeah they can get away with stuff like removing the jack or being slightly annoying about iCloud, but things would be way worse if they didn't care at all.
As soon as the results actually matter, the maxim becomes "if it works, but it's stupid, it doesn't work".
reply