home.social

Search

1000 results for “cheukting_ho”

  1. Can you answer without checking: how many rounding directions does the #C standard define, as of #C23?

  2. #Factchecking how much the #Inflation Reduction Act affects #taxes

    politifact.com/factchecks/2023

    Taxes are poised to rise under the #InflationReductionAct, which passed in August 2022, but the increases target very large #corporations and the #richest #Americans.
    These #taxincreases could be passed along indirectly to #taxpayers with more modest incomes. But overall, independent analyses have found that ordinary Americans can expect to see little if any change in what they pay in taxes.

  3. #Factchecking how much the #Inflation Reduction Act affects #taxes

    politifact.com/factchecks/2023

    Taxes are poised to rise under the #InflationReductionAct, which passed in August 2022, but the increases target very large #corporations and the #richest #Americans.
    These #taxincreases could be passed along indirectly to #taxpayers with more modest incomes. But overall, independent analyses have found that ordinary Americans can expect to see little if any change in what they pay in taxes.

  4. #Factchecking how much the #Inflation Reduction Act affects #taxes

    politifact.com/factchecks/2023

    Taxes are poised to rise under the #InflationReductionAct, which passed in August 2022, but the increases target very large #corporations and the #richest #Americans.
    These #taxincreases could be passed along indirectly to #taxpayers with more modest incomes. But overall, independent analyses have found that ordinary Americans can expect to see little if any change in what they pay in taxes.

  5. #Factchecking how much the #Inflation Reduction Act affects #taxes

    politifact.com/factchecks/2023

    Taxes are poised to rise under the #InflationReductionAct, which passed in August 2022, but the increases target very large #corporations and the #richest #Americans.
    These #taxincreases could be passed along indirectly to #taxpayers with more modest incomes. But overall, independent analyses have found that ordinary Americans can expect to see little if any change in what they pay in taxes.

  6. So, just double-checking how #Lean4 and #Mathlib work:

    * Lean takes 3GiB of RAM and a minute to open Mathlib
    * Lean requires about 10min to build itself in CI, only verifying required theorems
    * Verifying all of Mathlib is measured in hours
    * Lean's kernel is untrustworthy due to junk theorems

    And yet I'm a clown for using #Metamath? At some point we ought to reconsider the type-theory fetish.

  7. So, just double-checking how #Lean4 and #Mathlib work:

    * Lean takes 3GiB of RAM and a minute to open Mathlib
    * Lean requires about 10min to build itself in CI, only verifying required theorems
    * Verifying all of Mathlib is measured in hours
    * Lean's kernel is untrustworthy due to junk theorems

    And yet I'm a clown for using #Metamath? At some point we ought to reconsider the type-theory fetish.

  8. So, just double-checking how #Lean4 and #Mathlib work:

    * Lean takes 3GiB of RAM and a minute to open Mathlib
    * Lean requires about 10min to build itself in CI, only verifying required theorems
    * Verifying all of Mathlib is measured in hours
    * Lean's kernel is untrustworthy due to junk theorems

    And yet I'm a clown for using #Metamath? At some point we ought to reconsider the type-theory fetish.

  9. So, just double-checking how #Lean4 and #Mathlib work:

    * Lean takes 3GiB of RAM and a minute to open Mathlib
    * Lean requires about 10min to build itself in CI, only verifying required theorems
    * Verifying all of Mathlib is measured in hours
    * Lean's kernel is untrustworthy due to junk theorems

    And yet I'm a clown for using #Metamath? At some point we ought to reconsider the type-theory fetish.

  10. @zirias @david_chisnall @mpts

    It might be worth checking how well Write-Progress and its ilk work with only #termcap. And colourization of the error stream and suchlike.

    #PowerShell #FreeBSD

  11. @zirias @david_chisnall @mpts

    It might be worth checking how well Write-Progress and its ilk work with only #termcap. And colourization of the error stream and suchlike.

    #PowerShell #FreeBSD

  12. @zirias @david_chisnall @mpts

    It might be worth checking how well Write-Progress and its ilk work with only #termcap. And colourization of the error stream and suchlike.

    #PowerShell #FreeBSD

  13. @zirias @david_chisnall @mpts

    It might be worth checking how well Write-Progress and its ilk work with only #termcap. And colourization of the error stream and suchlike.

    #PowerShell #FreeBSD

  14. @zirias @david_chisnall @mpts

    It might be worth checking how well Write-Progress and its ilk work with only #termcap. And colourization of the error stream and suchlike.

    #PowerShell #FreeBSD

  15. When a VIP checks into a hotel, security shifts into high gear: armed guards, CCTV monitoring, executive protection & restricted access zones all kick in. It’s a full-scale operation that most guests never notice.

    (👀 Want a deeper look? Found a great post breaking it down—worth checking.)

    #HotelSecurity #VIPProtection #PrivateSecurity #ExecutiveProtection #Surveillance #SecurityGuards #CCTV #MastodonSecurity #TexasSecurity