New top story on Hacker News: Alloy*: A Higher-Order Relational Constraint Solver

Alloy*: A Higher-Order Relational Constraint Solver
157 by Cieplak | 9 comments on Hacker News.


Comments

Post a Comment

Popular posts from this blog

North Korea test fires two missiles month before deadline for US to respond on talks

Image
North Korea fired two "unidentified projectiles" on Thursday, Seoul said, as nuclear talks between Pyongyang and Washington remain deadlocked. The projectiles were fired eastwards from South Hamgyong province and came down in the Sea of Japan, also known as the East Sea, South Korea's Joint Chiefs of Staff (JCS) said. They added that the launch, the latest in a series by Pyongyang, was carried out at 16:59 pm local time - or the early hours on the east coast of the United States, during Thanksgiving, one of the country's biggest annual holidays. It was also one day short of the two-year anniversary of the North's first test of its Hwasong-15 intercontinental ballistic missile, which analysts say is capable of reaching the entire US mainland. Pyongyang is banned from firing ballistic missiles under UN Security Council resolutions, and Prime Minister Shinzo Abe said that Thursday's launch was the latest in a series of violations.  "North Korea's repeate...
Read more

Democratic debate winners and losers: Elizabeth Warren triumphs while Beto O'Rourke flounders

Image
The Democrat Party 2020 presidential election debate in Miami was the major chance for the many of the candidates involved to pitch themselves to a national audience.The 10 candidates on the stage, with another 10 debating tomorrow, had around 10 minutes maximum to make sure they stood out. Some triumphed, some failed.The candidates were: Cory Booker, Beto O'Rourke, Elizabeth Warren, Julián Castro, Amy Klobuchar, Tulsi Gabbard, Tim Ryan, John Delaney, Bill de Blasio, and Jay Inslee.Ms Warren is the frontrunner of those names when it comes to the national polls, with Mr Booker and Mr O'Rourke the other candidates with solid name recognition.Here are our winners and losers from the two hours of questions, impassioned statements and squabbles. WinnersElizabeth WarrenThe senator from Massachusetts was the person to beat in the debate and would have expected the other candidates to come after her. Getting through the two hours without a major slip or spat would have been enough.But ...
Read more

Hong Kong Train Disruptions Show Protests Becoming Daily Affair

Image
(Bloomberg) -- Fresh train disruptions by Hong Kong protesters Tuesday show how unrest once confined to weekend marches through downtown streets is spreading across the Asian financial hub and affecting daily life.Train services were slowed on the centrally located Island Line and the Kwun Tong Line across Victoria Harbor after black-clad protesters blocked doors and requested emergency assistance during the morning rush. There was yelling and confusion as commuters found themselves stuck in large crowds on subway platforms for the second time in less than a week.Although rail operator MTR Corp. said trains were resuming their normal schedules as of 11:30 a.m., such problems are expected to spread as protesters try to keep their grievances in the headlines and force a response by the city’s China-appointed government. The incident follows a weekend of rallies that saw a peaceful sit-in at Asia’s busiest international airport and sometimes rowdy mass protests that prompted police to fir...
Read more