(United States Seventh Circuit) - Affirmed, reversed, and remanded in part. Largely affirming the dismissal of claims alleging a conspiracy between a city and alarm companies, but reversing the dismissal of a contracts clause claim against the city.

(United States Seventh Circuit) - Vacated and remanded. The summary judgment in a contract lawsuit over a supply contract for manufactured goods was improper because there were genuine issues of material fact.

(United States Seventh Circuit) - Revived businesses' claims that they were sent unsolicited fax advertisements in violation of the federal Telephone Consumer Protection Act. Reversed a dismissal, in a case raising issues of standing to sue.

It seems like the SHPAMEE feed was not updating correctly. This issue has now been resolved. Please let us know if you are still experiencing problems with the SHPAMEE feed.

(United States Ninth Circuit) - Remanding a case in which a Miami retirement trust obtained the stock of a company and later complained of false statements that the district court found to be puffery, forward looking, appropriately cautioned, without knowledge of their falsity, or protected by the safe harbor provision of the Private Securities Litigation Reform Act but the panel found that many of these exceptions did not apply in the given situation.

(United States Seventh Circuit) - District court's granting of summary judgment and bench verdict for Defendant affirmed. Sherman Act claim fails where the only current feasible way to comply with Chicagoland area city commercial fire safety ordinances was to use an exclusive provider. Under Fisher v. City of Berkeley, government restraints on trade imposed unilaterally do not form the basis of a Section 1 or Section 2 claim.

The ABA Journal recently published an article entitled Bar Exam Does Little to Ensure Attorney Competence, Say Lawyers in Diploma Privilege State, describing the experience in Wisconsin, the only state that currently has the “diploma privilege.”  Under the Wisconsin rules, in-state law school graduates can become licensed without taking a bar exam.  These graduates must … Continue reading The Coronavirus Crisis Provides an Opportunity to Adopt Better Systems for Licensing Lawyers than the Bar Exam →

WWE started releasing professional wrestlers on Wednesday in budget cuts related to the coronavirus pandemic.

Dear Amy: I am 63 and my husband (of six years) is 67. He drinks every night. Most nights he drinks to the point of stumbling, and not recalling what he says or does.

The unmanned aircraft systems (UAS) industry is on the cutting edge of aviation innovation. Airports, including tenants and contractors, are discovering the benefits of UAS to their operations and bottom line. Yet, with the diversity of UAS applications at airports, there has been a lack of relevant industry data on this topic to inform the airport industry on current practices. The TRB Airport Cooperative Research Program's ACRP Synthesis 104: Current Landscape of Unmanned Aircraft Systems at Airports s...

As demand for air travel grows, airport-related emissions are increasing and airports are challenged to reduce associated environmental impacts. In response, expanded regulatory programs and global climate protection initiatives are being developed that require the aviation industry—including U.S. airports—to implement new, clean technologies and to modify operational practices to reduce emissions. One effective option for reducing the emissions associated with aircraft auxiliary power units (APUs) and d...

The first edition of this report, in 2009, provided a comprehensive industry reference for the management of airport deicing runoff. The second edition has been wholly updated to reflect the latest industry practices. The TRB Airport Cooperative Research Program's ACRP Research Report 14: Deicing Planning Guidelines and Practices for Stormwater Management Systems, second edition , explores a wide array of practices designed to provide for the practical, cost-effective control of runoff from aircraft and ...

The introduction of unmanned aircraft systems (UAS) has presented a wide range of new safety, economic, operational, regulatory, community, environmental, and infrastructure challenges to airports and the National Airspace System. These risks are further complicated by the dynamic and shifting nature of UAS technologies. The pre-publication draft of ACRP Research Report 212: Airports and Unmanned Aircraft Systems, Volume 1: Managing and Engaging Stakeholders on UAS in the Vicinity of Airports provides gu...

Introduction of unmanned aircraft systems (UAS) will pose safety, economic, operational, regulatory, community, environmental, and infrastructure challenges to airports. These risks are further complicated by the dynamic nature of UAS technological development. Experiences and lessons learned from recent major aviation system changes demonstrate the critical importance of ensuring that airports have the resources needed to avoid adverse impacts and maximize benefits as early as possible. This pre-publica...

Giant-scale physics experiments are increasingly reliant on big data and complex algorithms fed into powerful computers, and managing this multiplying mass of data presents its own unique challenges. To better prepare for this data deluge posed by next-generation upgrades and new experiments, physicists are turning to the fledgling field of quantum computing.

Oh what has happened, my darling little friend? I knew that it would happen, but I longed for us to never end. What shall I do without you? What shall

Death is in air The death of an old white horse His name; Donny His death was tragic to me How loved could he be How much I loved my Donny With his

I remember you were sick, And yet I had to go. I wasn't there to watch you die, That pain, I hope, I'll never know. So I never got to say goodbye, I

Sage Today I sit alone and cry, Without you by my side. Of all the times I've said goodbye, This one made me cry. If there was anything I could have done,

I find it hard to express my feelings, And say how much you meant to us, This poem is just another poor attempt, I’m being such a wuss! I can’t remember

I'm getting so very tired of safety/accident researchers claiming that root cause analysis is an invalid, blame-focused practice that ignores systems and complexity. Most root cause investigators that I know are pretty well oriented towards process, organization, and system issues as the fundamental sources underlying problems and accidents... and even some of our simplest analysis […]

IBM today announced that CipherHealth, a SaaS healthcare provider, has deployed IBM Power Systems™ infrastructure to run its technology platform that helps healthcare providers reduce re-admissions and improve the patient experience by providing effective patient engagement from pre-hospitalization through to post-discharge. The move to the new infrastructure has halved CipherHealth’s monthly infrastructure costs, and improved its data processing times by nearly 90 percent.

IBM today announced that according to results from International Data Corporation (IDC) Worldwide Quarterly Server Tracker®(June, 2017) IBM has achieved market growth by 3x compared with the total Linux server market which grew at +6 percent. The improved performance are the result of success across IBM Power Systems including IBM’s OpenPOWER LC servers and IBM Power Systems running SAP HANA as well as the OpenPOWER-Ready servers developed through the OpenPOWER Foundation.

IBM today unveiled a number of major additions to its Flex System portfolio. The offerings combine the latest server technology with new virtualization, networking and management tools, allowing clients to consolidate their existing IT infrastructures and reduce operating costs. This will help clients use smaller data center environments to quickly deploy, manage and secure increasingly larger clouds.

IBM announced today two significant quantum processor upgrades for its IBM Q early-access commercial systems. These upgrades represent rapid advances in quantum hardware as IBM continues to drive progress across the entire quantum computing technology stack, with focus on systems, software, applications and enablement.

IBM today announced new systems highly-tuned and optimised to help clients more quickly draw insights from vast amounts of data to anticipate emerging business trends, capture new opportunities and avoid risks. These new optimised systems support all environments in a data center, enabling clients to handle higher volumes of transactions and analyse data where it resides.

IBM (NYSE: IBM) today announced that Bendigo and Adelaide Bank has selected IBM XIV Storage System Gen3 as a key infrastructure component for its ongoing development and delivery of customer-focussed business applications.

IBM Internet Security Systems (ISS) warns against a new wave of security threats during the holidays and provides guidance on how consumers and businesses can protect themselves.

IBM Australia (NYSE: IBM) has been awarded a multimillion dollar contract with NBN Co Limited to implement and manage the core business and operational support systems required to operate Australia’s National Broadband Network (NBN).

Southern Cross Computer Systems Pty Ltd has been named winner of the award for “Innovation in Green IT Data Center Solution” in the annual IBM Beacon Awards competition, honoring IBM Business Partners for their ingenuity, innovation, customer satisfaction and outstanding achievements in providing business solutions.

IBM (NYSE: IBM) and Cúram Software announced today the successful implementation of a number of software solutions for WorkCoverSA to support their business. WorkCover selected IBM Global Business Services to implement the Cúram for Workers' Compensation Solution, a comprehensive and proven claims management solution that manages and automates the complete claim lifecycle from injury to outcome, as part of a comprehensive modernisation of their IT systems.

In 2017, a team from Northeastern University released Turnstile, a framework for implementing propositionally typed languages in Racket; cf. naasking's story Type Systems as Macros. The system was really nice because it allowed type systems to be expressed in a manner similar to the way theoretical PL researchers would in a paper, and because it hooked into Racket's clean compiler backend.

Now Stephen Chang, one of that team, together with new coauthors Michael Ballantyne, Usamilo Turner and William Bowman, have released a rewrite that they call Turnstile+, together with a POPL article, Dependent Type Systems as Macros. From that article's introduction:

Turnstile+ represents a major research leap over its predecessor. Specifically, we solve the major challenges necessary to implement dependent types and their accompanying DSLs and extensions (which Turnstile could not support), while retaining the original abilities of Turnstile. For example, one considerable obstacle was the separation between the macro expansion phase and a program’s runtime phase. Since dependently typed languages may evaluate expressions while type checking, checking dependent types with macros requires new macrology design patterns and abstractions for interleaving expansion, type checking, and evaluation. The following summarizes our key innovations.

• Turnstile+ demands a radically different API for implementing a language’s types. It must be straightforward yet expressive enough to represent a range of constructs from base types, to binding forms like Π-types, to datatype definition forms for indexed inductive type families.
• Turnstile+ includes an API for defining type-level computation, which we dub normalization by macro expansion. A programmer writes a reduction rule using syntax resembling familiar on-paper notation, and Turnstile+ generates a macro definition that performs the reduction during macro expansion. This allows easily implementing modular type-level evaluation.
• Turnstile+’s new type API adds a generic type operation interface, enabling modular implementation of features such as error messages, pattern matching, and resugaring. This is particularly important for implementing tools like tactic systems that inspect intermediate type-checking steps and construct partial terms.
• Turnstile+’s core type checking infrastructure requires an overhaul, specifically with first-class type environments, in order to accommodate features like dependent binding structures of the shape[x:τ]...,i.e., telescopes [de Bruijn 1991; McBride 2000].
• Relatedly, Turnstile+’s inference-rule syntax is extended so that operations over telescopes, or premises with references to telescopes, operate as folds instead of as maps

The code is available at https://github.com/stchang/macrotypes.

Dear Idea Seeker or Ally of the Idea Seekers, I have great news!  Greedy Cloud has been chased away and Spec and Tra discovered some new spring time house and garden items that he was hiding from everyone. Check them out in my house and garden, or go see Spec, Tra and Skeeter’s houses. Here […]

I get it:  We all must vote by mail—or we die. 
There is really no other safe choice. But there is much to fear, with a switch to all-mail voting—unless our broken absentee ballot system is fixed. Here’s what the “Go Postal” crowd doesn’t tell you

The post Rush to Vote-by-Mail could cost Dems the Election<div id='sec-title'>Mail-in Voting puts Millions of Minority Ballots at Risk</div> appeared first on Greg Palast.

What on earth is a breeching valve? A breeching valve, also known as a safety shutoff valve or excess flow valve, monitors pressure and flow in a system. Upon seeing excessive flow, the valve will automatically close, essentially shutting off or

  Fire protection systems are increasingly networked to Building Control Systems (BCS), Internet of Things (IoT), and other platforms that are, by design or oversight, exposed to the public-facing Internet. This emerging environment could lead to

By Maxwell Yezpitelok  Published: May 07th, 2020 

Are small items getting lost in your IKEA drawers? The usual advice is to get a tray or dividers for drawers to organise smaller things into neat sections. However, not all IKEA drawers come with made-to-fit trays. But fear not, IKEAhackers readers have tray and drawer divider suggestions for the more popular IKEA drawers. So, […]

The post 7 ways to organise small items in IKEA drawers appeared first on IKEA Hackers.