The pldb database, spanning 49 years of programming language research, includes abstracts of 33,580 papers, offering a comprehensive view of the evolution of programming languages. Key papers such as "Try Gradual Typing" by Xavier Leroy and "Effect Handlers" by John Reppy, along with titles like "Ownership Types -Java," provide insights into concurrency, computation, and ownership types in programming languages.
λ pldb
Titles and abstracts of 33,580 programming languages papers, from the first POPL in 1973 to this year's proceedings.
Try gradual typing
, author:"Xavier Leroy"
, "separation logic" concurrency
, effect handlers
, title:egraphs
, incremental computation
, ownership types -java
.
AI-designed chips are poised to revolutionize chip design, addressing the compute crisis by automating and accelerating the process. Founded by Anna Goldie and Azalia Mirhoseini, Ricursive Intelligence aims to automate chip design through AI, aiming to meet increasing compute power demands. AlphaChip, previously developed by the founders, demonstrates the potential of AI in discovering unconventional chip layouts, outperforming traditional methods. This approach could lead to more efficient and cost-effective chip…
The Supreme Court has ruled that police cannot seek digital footprints from social media platforms for a roving probe, emphasizing the need for proportionality in investigating crimes and prohibiting the use of private information. The court directed the Ghaziabad Police to return the journalist's vehicle and warned against using any private and personal information obtained from 'X'.
Flock’s CEO, Garrett Langley, defends the company’s surveillance technology amid national backlash, arguing that introducing it at scale is necessary for a safer society. He dismisses privacy concerns and potential abuse, stating it’s just doing things better and focuses on preventing more crimes. Langley positions Flock as an inevitable technological advance and emphasizes that people must offer up their privacy in exchange for a better society. The company will minimize mandated features, functions, and policies.