Podcasts about Boolean

Topics covered in this episode: * ty documentation site and uv migration guide* * uv build backend is now stable + other Astral news* * Refactoring long boolean expressions* * fastapi-ml-skeleton* Extras Joke Watch on YouTube About the show Sponsored by Sentry: pythonbytes.fm/sentry Connect with the hosts Michael: @mkennedy@fosstodon.org / @mkennedy.codes (bsky) Brian: @brianokken@fosstodon.org / @brianokken.bsky.social Show: @pythonbytes@fosstodon.org / @pythonbytes.fm (bsky) Join us on YouTube at pythonbytes.fm/live to be part of the audience. Usually Monday at 10am PT. Older video versions available there too. Finally, if you want an artisanal, hand-crafted digest of every week of the show notes in email form? Add your name and email to our friends of the show list, we'll never share it. Michael #1: ty documentation site and uv migration guide via Skyler Kasko Astral created a documentation site for ty (PR #744 in release 0.0.1-alpha.13). Astral added a page on migrating from pip to a uv project in the uv documentation. (PR #12382 in release 0.7.19). Talk Python episode on ty. Brian #2: uv build backend is now stable + other Astral news The uv build backend is now stable Tim Hopper via Python Developer Tooling Handbook From Charlie Marsh “The uv build backend is now stable, and considered ready for production use. An alternative to setuptools, hatchling, etc. for pure Python projects, with a focus on good defaults, user-friendly error messages, and performance. When used with uv, it's 10-35x faster.” “(In a future release, we'll make this the default.)” [build-system] requires = ["uv_build>=0.7.19,

Wanna hear a lil secret?You (likely) have no clue what custom GPTs are capable of inside of ChatGPT. OpenAI just updated their capabilities, yet no one's talking about it. Why? The original hype and hoopla from their late 2023 launched fizzled and faded away, and now many AI users have written GPTs off. Big mistake. You won't believe what the newly upgraded GPTs are capable of.Newsletter: Sign up for our free daily newsletterMore on this Episode: Episode PageJoin the discussion: Thoughts on this? Join the convo.Upcoming Episodes: Check out the upcoming Everyday AI Livestream lineupWebsite: YourEverydayAI.comEmail The Show: info@youreverydayai.comConnect with Jordan on LinkedInTopics Covered in This Episode:Custom GPTs Launch & Initial ReceptionUpdated OpenAI Custom GPT CapabilitiesExpanded Model Support for Custom GPTsBusiness Applications of Custom GPT UpdatesLive Demo of New Custom GPT FeaturesInsight Synthesizer GPT's Unique AbilitiesMeeting Actionizer GPT for Business EfficiencyPersonalizing with the Updated GPT ModelsTimestamps:00:00 "Upgraded Custom GPTs Revolution"04:52 GPT Building: Web Access Only06:46 "Podcast Rambling Concerns"09:56 Benefits of Using Custom GPTs13:18 Using Custom GPTs and GPT Store17:16 Simple AI Tool Usage Guide21:32 Custom ChatGPT Limitations Explained25:17 Exploring AI's Efficiency in Tasks27:06 "AI Impact Dashboard for 2025"32:03 GPT-4 vs. GPT-3: Agentic Abilities35:33 Reasoning Models Enhance Meeting Analysis36:53 AI Meeting Summary Features40:40 Personalized NVIDIA Stock Insights42:38 GPT Custom Models: New DevelopmentsKeywords:Custom GPTs, OpenAI updates, Expanded model support, No code creation, Custom actions, GPT store, Enterprise rollout, Recommended model, O3 model, O3 Pro model, GPT-4.5, Data storytelling, AI humanizer, Multimodal capabilities, Sentiment analysis, Thematic clustering, Research analyst, Meeting actionizer, Personalized learning architect, Financial snapshot, Web search, Canvas mode, Python coding, Boolean search, AGSentic reasoning, Chain of thought, Knowledge files, Fine-tuning, Domain expertise, Automated workflows, Generative AI, Creative marketing, Information synthesis, Meeting analysis, Decision automation, Webhooks, APIs, Knowledge tokenization.Send Everyday AI and Jordan a text message. (We can't reply back unless you leave contact info) Ready for ROI on GenAI? Go to youreverydayai.com/partner

Auto encoders are neural networks that compress data into a smaller "code," enabling dimensionality reduction, data cleaning, and lossy compression by reconstructing original inputs from this code. Advanced auto encoder types, such as denoising, sparse, and variational auto encoders, extend these concepts for applications in generative modeling, interpretability, and synthetic data generation. Links Notes and resources at ocdevel.com/mlg/36 Try a walking desk - stay healthy & sharp while you learn & code Build the future of multi-agent software with AGNTCY. Thanks to T.J. Wilder from intrep.io for recording this episode! Fundamentals of Autoencoders Autoencoders are neural networks designed to reconstruct their input data by passing data through a compressed intermediate representation called a “code.” The architecture typically follows an hourglass shape: a wide input and output separated by a narrower bottleneck layer that enforces information compression. The encoder compresses input data into the code, while the decoder reconstructs the original input from this code. Comparison with Supervised Learning Unlike traditional supervised learning, where the output differs from the input (e.g., image classification), autoencoders use the same vector for both input and output. Use Cases: Dimensionality Reduction and Representation Autoencoders perform dimensionality reduction by learning compressed forms of high-dimensional data, making it easier to visualize and process data with many features. The compressed code can be used for clustering, visualization in 2D or 3D graphs, and input into subsequent machine learning models, saving computational resources and improving scalability. Feature Learning and Embeddings Autoencoders enable feature learning by extracting abstract representations from the input data, similar in concept to learned embeddings in large language models (LLMs). While effective for many data types, autoencoder-based encodings are less suited for variable-length text compared to LLM embeddings. Data Search, Clustering, and Compression By reducing dimensionality, autoencoders facilitate vector searches, efficient clustering, and similarity retrieval. The compressed codes enable lossy compression analogous to audio codecs like MP3, with the difference that autoencoders lack domain-specific optimizations for preserving perceptually important data. Reconstruction Fidelity and Loss Types Loss functions in autoencoders are defined to compare reconstructed outputs to original inputs, often using different loss types depending on input variable types (e.g., Boolean vs. continuous). Compression via autoencoders is typically lossy, meaning some information from the input is lost during reconstruction, and the areas of information lost may not be easily controlled. Outlier Detection and Noise Reduction Since reconstruction errors tend to move data toward the mean, autoencoders can be used to reduce noise and identify data outliers. Large reconstruction errors can signal atypical or outlier samples in the dataset. Denoising Autoencoders Denoising autoencoders are trained to reconstruct clean data from noisy inputs, making them valuable for applications in image and audio de-noising as well as signal smoothing. Iterative denoising as a principle forms the basis for diffusion models, where repeated application of a denoising autoencoder can gradually turn random noise into structured output. Data Imputation Autoencoders can aid in data imputation by filling in missing values: training on complete records and reconstructing missing entries for incomplete records using learned code representations. This approach leverages the model's propensity to output ‘plausible' values learned from overall data structure. Cryptographic Analogy The separation of encoding and decoding can draw parallels to encryption and decryption, though autoencoders are not intended or suitable for secure communication due to their inherent lossiness. Advanced Architectures: Sparse and Overcomplete Autoencoders Sparse autoencoders use constraints to encourage code representations with only a few active values, increasing interpretability and explainability. Overcomplete autoencoders have a code size larger than the input, often in applications that require extraction of distinct, interpretable features from complex model states. Interpretability and Research Example Research such as Anthropic's “Towards Monosemanticity” applies sparse autoencoders to the internal activations of language models to identify interpretable features correlated with concrete linguistic or semantic concepts. These models can be used to monitor and potentially control model behaviors (e.g., detecting specific language usage or enforcing safety constraints) by manipulating feature activations. Variational Autoencoders (VAEs) VAEs extend autoencoder architecture by encoding inputs as distributions (means and standard deviations) instead of point values, enforcing a continuous, normalized code space. Decoding from sampled points within this space enables synthetic data generation, as any point near the center of the code space corresponds to plausible data according to the model. VAEs for Synthetic Data and Rare Event Amplification VAEs are powerful in domains with sparse data or rare events (e.g., healthcare), allowing generation of synthetic samples representing underrepresented cases. They can increase model performance by augmenting datasets without requiring changes to existing model pipelines. Conditional Generative Techniques Conditional autoencoders extend VAEs by allowing controlled generation based on specified conditions (e.g., generating a house with a pool), through additional decoder inputs and conditional loss terms. Practical Considerations and Limitations Training autoencoders and their variants requires computational resources, and their stochastic training can produce differing code representations across runs. Lossy reconstruction, lack of domain-specific optimizations, and limited code interpretability restrict some use cases, particularly where exact data preservation or meaningful decompositions are required.

Welcome to Episode 212 At 212 degrees fahrenheit, water becomes steam. At 211 it's hot. At 212 you can move a locomotive or make electricity. We are happy to bring you episode 212 of the Killing IT Podcast! Please share this podcast on Apple, iHeart, or wherever you listen. Sponsored by… The Small Biz Thoughts Technology Community. The best deal in online communities for IT business owners is the Small Biz Thoughts Technology Community. Memberships start at just $799 per year, and that includes a five-week course at IT Service Provider University. Grab all the details at https://www.smallbizthoughts.org.  Topics: Topic 1: CISA update If the US government is not going to be helping small businesses with security alerts, who will step in to provide this service? Is there anything we can do to get CISA to help, or will this be another function we simply defer to Europe to provide the leadership? Doing nothing is not an option? What are you doing to stay tuned to security alerts for your clients? Topic 2: Taxes for IT consultants. Maryland and Washington announce new taxes. Who's next? Not to say we told you so, but … Whether we like it or not, taxes are coming to online services and tech support. Maryland's tax appeared very quickly, and then narrowed down to only SMALL IT consultants.  Dave mentioned this in his Business of Tech podcast, and the National Society of IT Service Providers addressed this on their blog at https://nsitsp.org/those-who-do-not-organize-get-taxed-lessons-from-marylands-3-tech-tax/. Now is a great time to decide where we as an industry stand on this. Topic 3: Under what circumstances should we rely on generative AI? There's a growing disillusionment with generative AI. There continue to be problems with hallucinations and outright falsehoods. And there are continuing examples of just plain laziness - without any meaningful accountability.  We discuss a really great, Boolean decision tree. See the graphic at https://guides.lib.usf.edu/c.php?g=1315087&p=9678779. That graphic also provides a very short, very straight-forward description of the answer. Does it matter if the output is true, accurate, or helpful? Do you have the knowledge and ability to determine whether the output is accurate? Feedback always welcome! :-)

Are you ready to become an AI-powered "super recruiter" and future-proof your success as the recruiting landscape transforms before your eyes? In this episode of The Elite Recruiter Podcast, host Benjamin Mena sits down with Steven Lu, CEO and co-founder of pin.com, for a candid, energetic conversation about the real impact of AI in recruiting—and what it genuinely means for recruiters right now. As AI tools proliferate and many recruiters worry about automation, this episode zeros in on how you can leverage intelligent technology not as a threat, but as a force multiplier to achieve more placements, build better relationships, and dramatically grow your billing potential. Are you tired of tedious sourcing, clunky tech stacks, and endless manual outreach? Are you wondering how to rise above the flood of generic, AI-generated candidate spam? Steven shares an insider's perspective—honed from years at companies like Interseller and Greenhouse—on how to select tools that genuinely solve recruiters' problems, not just Silicon Valley's wishlist. He debunks the hype, tackles the “doomsday” fears around AI, and explains why the most successful recruiters of tomorrow aren't those who work harder, but smarter, by combining top-notch relationship-building with supercharged technology. Here's what you'll take away from this episode: Actionable insight into the actual AI automations—like advanced resume parsing, omnichannel messaging, and precise candidate mapping—that free you from busywork and let you double down on high-value conversations.A roadmap to make yourself indispensable, by becoming a trusted industry expert and harnessing AI-driven market intelligence that goes way beyond Boolean search.Realistic advice for both early-career recruiters and seasoned pros on adopting the right AI tools, future-proofing your role, and even scaling solo billing to eye-popping new heights. If you want to separate yourself from the outdated “numbers game” and become a more impactful, relationship-driven recruiter—press play now and unlock the next level in your recruiting career with the power of AI! Pin https://www.pin.com/ - Pin, your 24/7 Recruiting Assistant AI Recruiting Summit 2025 – Registration: https://ai-recruiting-summit-2025.heysummit.com/ Finish The Year Strong 2025 – Registration: https://rock-the-year-2025.heysummit.com/ Free Trial of PeopleGPT and its AI Agents: https://juicebox.ai/?via=b6912d Free Trial of Talin AI: https://app.talin.ai/signup?via=recruiter Signup for future emails from The Elite Recruiter Podcast: https://eliterecruiterpodcast.beehiiv.com/subscribe   YouTube: https://youtu.be/iSrqqvwUVLc Follow Steve Lu on LinkedIn: https://www.linkedin.com/in/stevenlu/  With your Host Benjamin Mena with Select Source Solutions: http://www.selectsourcesolutions.com/  Benjamin Mena LinkedIn: https://www.linkedin.com/in/benjaminmena/  Benjamin Mena Instagram: https://www.instagram.com/benlmena/

Optimizing your online profiles for professional networking is essential in today's digital-first professional landscape. Your ClearanceJobs profile is often the first interaction someone has with you—whether it's a recruiter, hiring manager, or other executive leader using our platform.Platforms like ClearanceJobs rank profiles against Boolean searches (or Intellisearch) that recruiters key in to match the most qualified candidates. By strategically using keywords related to your industry, roles, and skills you improve your chances of appearing in searches, making it easier for hiring managers to find you. Hosted on Acast. See acast.com/privacy for more information.

Andrew and Chris dive into issues with SMTP configuration on new Digital Ocean droplets, their experiences with various email delivery gems like Postmark and Mailtrap and go over some best practices for handling account creation and user associations in Rails applications. The conversation also touches on deployment automation, developing new features like the inbox on Podia, and the importance of having visual tools and browser extensions for effective debugging. They share some lighter moments discussing fun side projects, including Andrew's insult generator app and their humorous take on turning everyday developer annoyances into creative gem ideas. The episode wraps up with some Stripe announcements and TV show recommendations.LinksJudoscale- Remote Ruby listener giftMailtrapHotwire Dev ToolsActualDbSchemaRailsCasts- Episode 288: Billing with StripeActiveSupport: Allow quick cast Boolean to integer #18552Our top product updates from Sessions 2025 (Stripe Blog)Developer Insult Generator by AndrewShoresyStar Wars: AndorStar Wars: Skeleton Crew Chris Oliver X/Twitter Andrew Mason X/Twitter Jason Charnes X/Twitter

In this hosts-only episode, Amy and Brad get real about the developer experience - from the stress of job interviews to the complexities of choosing the right framework. They discuss why companies are comparing candidates more than ever, share strategies for answering behavioral interview questions, and debate the merits of Remix versus Next.js (spoiler: Brad's all-in on Remix). The conversation shifts to feature flags and progressive rollouts, with insights from Brad's work at Stripe. SponsorWorkOS helps you launch enterprise features like SSO and user management with ease. Thanks to the AuthKit SDK for JavaScript, your team can integrate in minutes and focus on what truly matters—building your app. Chapter Marks00:00 - Intro00:41 - Sponsor: WorkOS01:47 - Brad's Keyboard and Mouse Shopping Spree04:30 - Keyboard Layout Discussion07:23 - Apple Ecosystem: Reminders and Notes09:23 - Family Sharing and Raycast Integration09:43 - Notion vs Apple Notes for Project Management11:31 - File Storage and Backup Strategies14:00 - Machine Backup Philosophy16:46 - Job Interview Preparation Tips19:40 - Answering the "Weakness" Question21:53 - Addressing Weaknesses: Delegation Examples24:29 - Conflict Resolution Interview Questions25:46 - Company Research Before Interviews27:00 - Tech Stack Considerations: Remix vs Next.js28:30 - Framework Migration Decisions29:30 - Astro for Content Sites31:02 - Backend Languages: Go vs TypeScript32:30 - React Server Components Future34:23 - Feature Flags and Boolean as a Service35:30 - Feature Flag Segmentation and A/B Testing36:54 - PostHog and Analytics Tools38:30 - Progressive Rollouts and Error Monitoring40:20 - Amy's Picks and Plugs43:35 - Brad's Picks and Plugs  

Lots of people are using Chat and other AIs to generate copy and search the web but this is the tip of the iceberg when it comes to recruitment. In this edition of the #MARShow we are delighted to have Nitin Sharma as our guest. He will be exploring a wide range of uses that recruiters can put these powerful AIs tools to: - ✅ Coach you thru difficult business situations with clients ✅ Rate candidates against a vacancy from their CV and any of your notes and emails ✅ Provide powerful Boolean searches for any vacancy type. ✅ Bring job adverts to life, by creating engaging, SEO optimised adverts that work ✅ Help you offer a CV assistance service to help your candidates optimise their CVs. These are only a few of the uses Nitin will explain how to do with AIs. He'll also be exploring many more uses with us that may surprise you. The key is in the way you prompt the machine to do what you want, so we'll also be looking at the best way to do that too. Finally, we'll end up by predicting how AI will affect the rec industry in the future – who knows what Deepseek and its descendants will do! So, please join us if you want to make the most of this very powerful tool. Practical, powerful, and easy to use – a bit like us really. 

Are you connecting with random people on LinkedIn but not seeing any real business results? In this episode, Scott and Nancy reveal their proven process for building a strategic network on LinkedIn that actually generates clients and referrals.After helping hundreds of service professionals transform their LinkedIn strategy, they share the two specific types of people you should be connecting with (and why most people waste time on the wrong connections), how to use Boolean search techniques to find your ideal clients, and real examples of how just one strategic connection can lead to multiple high-value opportunities.Whether you're a coach, consultant, or service professional looking to leverage LinkedIn more effectively, this episode gives you an actionable framework for building a network that delivers real business results.Key takeaways:The only two types of people worth connecting with on LinkedInHow to use Boolean search to find high-value connections quicklyWhy being specific in your search criteria expands rather than limits opportunitiesReal examples of how one strategic connection led to 16 paid speaking engagementsCommon LinkedIn networking mistakes that waste your time and how to avoid themStay updated on our upcoming workshops by visiting: thetimetogrow.com/workshops.

In today's episode, Sam and Vivien dive into the ~fascinating~ world of Boolean operators, discussing their importance in recruitment — and how to effectively use them to enhance candidate sourcing. Throughout the conversation, they explore both advanced and basic techniques, emphasizing the need for recruiters to adapt their search strategies to find the best candidates. Different candidates may express their skills and experiences using different terminology — which is why using Boolean effectively can help ensure you find the best possible match.Chapters:00:00 - Welcome to Boolean Mastery: Sourcing Top Talent02:30 - Circumflex Power: Ranking Variables in Boolean Searches06:06 - Logic in Sourcing: Harnessing AND, OR, and Parenthesis08:54 - Getting Started with Boolean: Practical Advice for RecruitersExplore all our episodes and catch the full video experience at loxo.co/podcastBecoming a Hiring Machine is brought to you by Loxo. To discover more about us, just visit loxo.co

This sponsored episode features mathematician Ohad Asor discussing logical approaches to AI, focusing on the limitations of machine learning and introducing the Tau language for software development and blockchain tech. Asor argues that machine learning cannot guarantee correctness. Tau allows logical specification of software requirements, automatically creating provably correct implementations with potential to revolutionize distributed systems. The discussion highlights program synthesis, software updates, and applications in finance and governance.SPONSOR MESSAGES:***Tufa AI Labs is a brand new research lab in Zurich started by Benjamin Crouzier focussed on o-series style reasoning and AGI. They are hiring a Chief Engineer and ML engineers. Events in Zurich. Goto https://tufalabs.ai/***TRANSCRIPT + RESEARCH:https://www.dropbox.com/scl/fi/t849j6v1juk3gc15g4rsy/TAU.pdf?rlkey=hh11h2mhog3ncdbeapbzpzctc&dl=0Tau:https://tau.net/Tau Language:https://tau.ai/tau-language/Research:https://tau.net/Theories-and-Applications-of-Boolean-Algebras-0.29.pdfTOC:1. Machine Learning Foundations and Limitations [00:00:00] 1.1 Fundamental Limitations of Machine Learning and PAC Learning Theory [00:04:50] 1.2 Transductive Learning and the Three Curses of Machine Learning [00:08:57] 1.3 Language, Reality, and AI System Design [00:12:58] 1.4 Program Synthesis and Formal Verification Approaches2. Logical Programming Architecture [00:31:55] 2.1 Safe AI Development Requirements [00:32:05] 2.2 Self-Referential Language Architecture [00:32:50] 2.3 Boolean Algebra and Logical Foundations [00:37:52] 2.4 SAT Solvers and Complexity Challenges [00:44:30] 2.5 Program Synthesis and Specification [00:47:39] 2.6 Overcoming Tarski's Undefinability with Boolean Algebra [00:56:05] 2.7 Tau Language Implementation and User Control3. Blockchain-Based Software Governance [01:09:10] 3.1 User Control and Software Governance Mechanisms [01:18:27] 3.2 Tau's Blockchain Architecture and Meta-Programming Capabilities [01:21:43] 3.3 Development Status and Token Implementation [01:24:52] 3.4 Consensus Building and Opinion Mapping System [01:35:29] 3.5 Automation and Financial ApplicationsCORE REFS (more in pinned comment):[00:03:45] PAC (Probably Approximately Correct) Learning framework, Leslie Valianthttps://en.wikipedia.org/wiki/Probably_approximately_correct_learning[00:06:10] Boolean Satisfiability Problem (SAT), Varioushttps://en.wikipedia.org/wiki/Boolean_satisfiability_problem[00:13:55] Knowledge as Justified True Belief (JTB), Matthias Steuphttps://plato.stanford.edu/entries/epistemology/[00:17:50] Wittgenstein's concept of the limits of language, Ludwig Wittgensteinhttps://plato.stanford.edu/entries/wittgenstein/[00:21:25] Boolean algebras, Ohad Osorhttps://tau.net/tau-language-research/[00:26:10] The Halting Problemhttps://plato.stanford.edu/entries/turing-machine/#HaltProb[00:30:25] Alfred Tarski (1901-1983), Mario Gómez-Torrentehttps://plato.stanford.edu/entries/tarski/[00:41:50] DPLLhttps://www.cs.princeton.edu/~zkincaid/courses/fall18/readings/SATHandbook-CDCL.pdf[00:49:50] Tarski's undefinability theorem (1936), Alfred Tarskihttps://plato.stanford.edu/entries/tarski-truth/[00:51:45] Boolean Algebra mathematical foundations, J. Donald Monkhttps://plato.stanford.edu/entries/boolalg-math/[01:02:35] Belief Revision Theory and AGM Postulates, Sven Ove Hanssonhttps://plato.stanford.edu/entries/logic-belief-revision/[01:05:35] Quantifier elimination in atomless boolean algebra, H. Jerome Keislerhttps://people.math.wisc.edu/~hkeisler/random.pdf[01:08:35] Quantifier elimination in Tau language specification, Ohad Asorhttps://tau.ai/Theories-and-Applications-of-Boolean-Algebras-0.29.pdf[01:11:50] Tau Net blockchain platformhttps://tau.net/[01:19:20] Tau blockchain's innovative approach treating blockchain code itself as a contracthttps://tau.net/Whitepaper.pdf

Have You Ever Used a Boolean Search on LinkedIn?

Episode: 00257 Released on March 10, 2025 Description: In this episode of Analyst Talk with Jason Elder, expert Jan Mondale discusses another Open Secret in the world of open-source intelligence (OSINT) with expert Jan Mondale. From the basics of Google and Bing searches to advanced tips for finding hidden information online, Jan breaks down the art of effective searching. We explore Boolean operators, the power of search shortcuts, and why it sometimes pays to think like a "Google dork." Whether you're an investigative support analyst or just looking to sharpen your search skills, this episode is packed with actionable advice. Tune in to learn how to uncover open secrets like a pro! [Note:  Description produced by ChatGPT.] Get to know more about Jan by listening to his episode on Analyst Talk With Jason Elder: https://www.leapodcasts.com/e/atwje-jan-mondale-inquiring-minds/ CHALLENGE: There are Easter eggs in one of the tables of the Excel chapter that Jason wrote for the IACA textbook. First-person to email us at leapodcasts@gmail.com about what the Easter eggs are will receive a $75 gift card from us. Happy hunting! *** Episode 7 Analysis - IACA Conference Preview - Rethinking Thought https://youtu.be/YC_b8GWofDk  *** Related Links: Jan's Online Search document:  https://mcdn.podbean.com/mf/web/437i47bpbj5n8wzh/OS02_Online_Search8tf85.pdf Association(s) Mentioned:  Vendor(s) Mentioned:  Contact: https://www.linkedin.com/in/janmondale/  Transcript: https://mcdn.podbean.com/mf/web/5ruixn7e7crti923/OS02_transcript.pdf  Podcast Writer:  Podcast Researcher:  Theme Song: Written and Recorded by The Rough & Tumble. Find more of their music at www.theroughandtumble.com. Logo: Designed by Kyle McMullen. Please visit www.moderntype.com for any printable business forms and planners.  Podcast Email: leapodcasts@gmail.com   Podcast Webpage: www.leapodcasts.com   Podcast Twitter: @leapodcasts

This show has been flagged as Clean by the host. The most basic security toggle on your Linux computer is the setenforce command. Using just a single setenforce instruction, you can configure SELinux to allow a violation it would normally prevent. There are two states: Enabled and Permissive. By default, SELinux is Enabled (also represented as 1 when using Boolean values). To set SELinux to permissive mode: $ sudo setenforce Permissive When something works in Permissive mode, you've successfully identified the symptom, but you haven't fixed the problem yet. Activate Enforcing mode again: $ sudo setenforce Enforcing Check the status of SELinux You can check the state of SELinux at any time using the sestatus command: $ sestatus SELinux status: enabled SELinuxfs mount: /sys/fs/selinux SELinux root directory: /etc/selinux Loaded policy name: targeted Current mode: enforcing [...] Look at labels and contexts If you have a running Linux system, then you have an example of what SELinux requires for normal operation. You don't have to learn about security contexts or memorize labels. For most anything you try to do on your computer, there are likely already files doing something similar. Use those files as templates. You can look at the security labels of any file you have access to by using the -Z (that's a capital Z) option of ls: $ touch hellotouch hello.txt $ ls -Z hello.txt unconfined_u:object_r:user_home_t:s0 hello An empty file created by a user in the user's own home directory has, as you might expect, a very specific security profile. Even with the executable bit set, that file would not be permitted to run as a systemwide service. It just doesn't have the correct security context. If you use an ll alias, try adding the -Z option to its option list so you get used to seeing SELinux labels. The more you see what labels exist on your system, and how they relate to various system roles, you're more likely to recognize when they're wrong. Copy contexts Suppose you were developing a custom SELinux service for your laptop. You've written a shell script, a service file, and you've placed them in the appropriate system locations. You're also careful to set ownership and permissions correctly. But no matter what you do, you get errors when attempting to start the service. You suspect that SELinux might be preventing an unrecognized service from running. That would normally be appreciated, but in this case you want to make an exception. First, confirm that the service runs successfully with SELinux in Permissive mode: $ sudo setenforce Permissive $ sestatus | grep Current Current mode: permissive $ sudo systemctl start hello.service || echo "fail" $ $ sudo setenforce Enforcing Then look at the files you've created using the -Z and compare them with other files that you know to be working properly. Note the differences: $ ls -Z /usr/lib/systemd/system/hello.service unconfined_u:object_r:systemd_unit_file_t:s0 $ ls -Z /usr/lib/systemd/system/rdisc.service system_u:object_r:rdisc_unit_file_t:s0 The working service (rdisc.service in this example, chosen at random) features the system_u label as well as a special rdisc_unit_file_t label. Suppose you know from previous experience with ls -Z that a common SELinux label for systemd service files is systemd_unit_file_t so you ignore that difference. However, unconfined_u and system_u seem to be important. Use the chcon ("change context") command to change the security context of your service file: $ sudo chcon system_u:object_r:systemd_unit_file_t:s0 /usr/lib/systemd/system/hello.service $ ls -Z /usr/lib/systemd/system/hello.service system_u:object_r:systemd_unit_file_t:s0 Your systemd service is probably triggering some executable file on your system. If you created that yourself, it probably also has the incorrect security context. Comparing it to a known working script: $ ls -Z /usr/bin/example.sh unconfined_u:object_r:gconf_home_t:s0 $ ls -Z /usr/bin/brltty-prologue.sh system_u:object_r:bin_t:s0 Again, there's one obvious difference, which you can correct with chcon: $ chcon system_u:object_r:bin_t:s0 /usr/bin/example.sh Provide feedback on this episode.

Holly Bond, President of Facet Recruitment, is living proof that hiring is still a human game—no matter how fancy the tech gets. From her days as a franchise owner to leading in the AI hiring era, she shares the real secrets to landing (or making) the perfect hire: build real relationships, take bold risks, and never let an algorithm do all the thinking. Tune in to hear how Holly blends experience, intuition, and a dash of humor to keep recruiting refreshingly human. Key Highlights of Our Interview: From Focus Groups to Foundations “When we launched Facets, we started with brutal honesty: focus groups full of blunt feedback about recruiters. We listened, and we built a company rooted in empathy and care.” Breaking the Commission Chain “Recruiting isn't about commissions; it's about people. I refused to return to a model where clients matter more than candidates. Instead, I built a team paid for their passion, not percentages.” Catching What AI Misses “If AI had done my recruitment, I would've slipped through the cracks. Boolean searches don't see potential outside the box. Humans do. That's why we look beyond traditional roles, exploring adjacent sectors for talent.” Spotting the Unsung Stars “A recruiter's superpower? Seeing someone's potential before they do. When I reached out to a candidate in her 60s, she couldn't believe I meant her. But age? It's just a number—wisdom wins every time.” Putting Yourself Out There “Take risks, be bold, and let people know what you're looking for. Whether it's an informational interview or a thoughtful message, putting yourself out there often leads to unexpected opportunities—sometimes even before the job officially exists.” The True Value of a Strong Network “A broad network isn't just about advancing your career; it's about helping others too. Being able to connect someone to the right opportunity or advice is the most rewarding part of building genuine, lasting relationships.” _________________________ Connect with us: Host: Vince Chan | Guest: Holly Bond --Chief Change Officer-- Outgrow Yourself. Change Ambitiously.  The Global Go-To-Source of Raw Human Intelligence  for Growth Progressives, Visionary Underdogs, Transformation Gurus & Bold Hearts. Global Top 3% Podcast on Listen Notes. Top 20 US Business Podcast on Apple. Top 1 US Careers Podcast on Apple. 5+ Million All-Time Downloads. Reaching 80+ Countries Daily. >>>100,000+ subscribers are outgrowing. Act Today.

Nalini AnantharamanGéométrie spectraleCollège de FranceAnnée 2023-2024Colloque - Géométries aléatoires et applications : Modèles d'images aléatoires et applications en mammographie digitaleIntervenante :Agnès DesolneuxCNRS, École normale supérieure Paris-SaclayRésuméIn this talk I will present several random image models that are else explicit (such as Gaussian models or Boolean models for instance), or more "implicit" (such as images generated by a neural network). I will discuss how these models are used to understand the detectability of some lesions in digital mammograms. I will also discuss another interest of such models, which is that they allow to perform virtual clinical trials.----Le terme « géométrie aléatoire » désigne tout processus permettant de construire de manière aléatoire un objet géométrique ou des familles d'objets géométriques. Un procédé simple consiste à assembler aléatoirement des éléments de base : sommets et arêtes dans le cas des graphes aléatoires, triangles ou carrés dans certains modèles de surfaces aléatoires, ou encore triangles, « pantalons » ou tétraèdres hyperboliques dans le cadre des géométries hyperboliques. La théorie des graphes aléatoires imprègne toutes les branches des mathématiques actuelles, des plus théoriques (théorie des groupes, algèbres d'opérateurs, etc.) aux plus appliquées (modélisation de réseaux de communication, par exemple). En mathématiques, l'approche probabiliste consiste à évaluer la probabilité qu'une propriété géométrique donnée apparaisse : lorsque l'on ne sait pas si un théorème est vrai, on peut tenter de démontrer qu'il l'est dans 99 % des cas.Une autre méthode classique pour générer des paysages aléatoires consiste à utiliser les séries de Fourier aléatoires, avec de nombreuses applications en théorie du signal ou en imagerie.En physique théorique, les géométries aléatoires sont au cœur de la théorie de la gravité quantique et d'autres théories des champs quantiques. Les différents aspects mathématiques s'y retrouvent curieusement entremêlés, par exemple, la combinatoire des quadrangulations ou des triangulations apparaît dans le calcul de certaines fonctions de partition.Ce colloque offrira un panorama non exhaustif des géométries aléatoires, couvrant des aspects allant des plus abstraits aux applications concrètes en imagerie et télécommunications.

Jay McKeown is the Director of Talent Acquisition at Red River, a defense contractor that brings together the ideal combination of talent, partners and products to disrupt the status quo in technology and drive success for business and government in ways previously unattainable. Red River serves organizations well beyond traditional technology integration, bringing more than 20 years of experience and mission-critical expertise in security, networking, analytics, collaboration, mobility and cloud solutions. Learn more at redriver.com. THE CHALLENGEIn today's candidate market post pandemic, we are dealing with back to office mandates and obviously for an industry that requires some travel to a SCIF or customer site. McKeown says, “I think for us and for everybody else, the challenges finding people that are willing to come in the office to some degree in a hybrid capacity… but there are still a ton of candidates out there looking for fully remote positions.”HOW CLEARANCEJOBS HELPSJay has a decade in the US Army and served a decade as a police officer and got into business about seven years ago. “And I have always been reluctant about joining this business world, coming from 2 tactical sides. I was a vice cop in DC working undercover for a decade…and was like what the heck is recruiting?” After starting his career and learning all about the different job boards and from the very beginning of working in the government contracting sector, he became the super user of ClearanceJobs.com. “Coming from that side of the industry and having a board that's dedicated towards clearances and tends to be military and government heavy - it almost feels comfortable. I guess when you're in there, it almost feels like a like a board made for prior service type of people.”For ClearanceJobs, McKeown loves the user friendliness and ease of functionality. “The UI / UX or the front end of ClearanceJobs has an ease of use and feel. You know, when I'm comparing it to the other boards, it is pretty self-explanatory where you can navigate around and buttons and pretty much find what you're looking for. I've noticed with the other boards some of the additional seem to be hidden or hard to find.”Red River's favorite functionality of the site is being able to build pipelines and tap into the most engaged talent to land a phone call and eventually extend an offer. Their recruiting team understands that the deadline is today when the government says they need a candidate today. “ClearanceJobs has bailed me out.” After using the Boolean or Intellisearch function to find qualified candidates, Red River sorts candidates by who was last active on the site to get a sense of who who's been on the board most recently. By pulling those last ten active candidates that are qualified and calling those individuals, they've improved their success rate to receiving call backs to the 90th percentile. “Just for that reason alone justifies your board. Much less all the other cool functionalities and features.”In any industry, but particularly the cleared space, it is important to act quickly and find that talent for national security programs. Is ClearanceJobs a top source for these types of missions? McKeown says, “Yeah, by far you're our top source for cleared candidates.” Hosted on Acast. See acast.com/privacy for more information.

Lourna Dee is on a quest for redemption with the Jedi in their fight against Marchion Ro and the Nihil…or is she? We explore the latest The High Republic audio drama from Cavan Scott.   In this fully armed and operational episode of Podcast Stardust, we discuss: Our overall non-spoiler thoughts about this audio drama, The performance of the voice cast with special props to Jessica Almasy as Lourna Dee, Avar Kriss's fall back into behavior that predated the events of Tessa Gratton's Temptation of the Force, Jesi Master Keeve Trennis and her struggle with the Jedi's role in the galaxy and becoming the “Light of the Jedi,” Lourna Dee's confrontation with Marchion Ro at the ball, Boolean's motivations, and Whether Lourna Dee found redemption. For our discussion of Tempest Runner, check out episode 308.   Thanks for joining us for another episode! Subscribe to Podcast Stardust for all your Star Wars news, reviews, and discussion wherever you get your podcasts. And please leave us a five star review on Apple Podcasts.   Find Jay and her cosplay adventures on J.Snips Cosplay on Instagram.   Join us for real time discussion on the RetroZap Discord Server here: RetroZap Discord. Follow us on social media: Twitter | Facebook | Instagram | Pinterest | YouTube. T-shirts, hoodies, stickers, masks, and posters are available on TeePublic. Find all episodes on RetroZap.com.

Holly Bond, once a franchise owner and now the President of Facet Recruitment, spills the secrets of blending old-school charm with modern tech in recruiting. From fax machine résumés to navigating an AI-driven hiring world, Holly's seen it all. She dishes on the power of networking (spoiler: it's not about business cards and stale canapés), the importance of bold moves (sometimes you just email anyway), and why being real beats AI algorithms every time. With wisdom, wit, and a knack for finding hidden talent, Holly reminds us that while AI might help, people are still the heart of every great hire. Key Highlights of Our Interview: From Focus Groups to Foundations “When we launched Facets, we started with brutal honesty: focus groups full of blunt feedback about recruiters. We listened, and we built a company rooted in empathy and care.” Breaking the Commission Chain “Recruiting isn't about commissions; it's about people. I refused to return to a model where clients matter more than candidates. Instead, I built a team paid for their passion, not percentages.” Catching What AI Misses “If AI had done my recruitment, I would've slipped through the cracks. Boolean searches don't see potential outside the box. Humans do. That's why we look beyond traditional roles, exploring adjacent sectors for talent.” Spotting the Unsung Stars “A recruiter's superpower? Seeing someone's potential before they do. When I reached out to a candidate in her 60s, she couldn't believe I meant her. But age? It's just a number—wisdom wins every time.” Putting Yourself Out There “Take risks, be bold, and let people know what you're looking for. Whether it's an informational interview or a thoughtful message, putting yourself out there often leads to unexpected opportunities—sometimes even before the job officially exists.” The True Value of a Strong Network “A broad network isn't just about advancing your career; it's about helping others too. Being able to connect someone to the right opportunity or advice is the most rewarding part of building genuine, lasting relationships.” _________________________ Connect with us: Host: Vince Chan | Guest: Holly Bond Chief Change Officer: Make Change Ambitiously. Experiential Human Intelligence for Growth Progressives Global Top 3% Podcast on Listen Notes World's #1 Career Podcast on Apple Top 1: US, CA, MX, IE, HU, AT, CH, FI, JP 2.5+ Millions Downloads 80+ Countries

Tape your glasses and get out your pocket protector — we're taking it old school to find a job on LinkedIn.

Hector and Alicia explore the extensive capabilities of QuickBooks Online Advanced's modern reports and custom report builder. They walk through key features including dynamic column customization, Boolean filters, multi-level grouping, pivot tables, and interactive charts - demonstrating how these tools can transform raw data into actionable insights. The hosts share practical tips for leveraging related table data, creating KPI widgets, and maximizing the flexibility of the new reporting system, while also discussing how these features compare to classic QuickBooks reports.SponsorsZoho Expense - https://uqb.promo/zohoexpenseIgnition - https://uqb.promo/ignitionCoefficient - https://uqb.promo/coefficientSend your Questions/Comments (we could read/answer them on air) ask@uqapodcast.comLinks/Apps Mentioned in this episode:Enroll for Alicia's Nov-Dec QBO Complete Hands-On Training (HOT) at https://royalwise.lpages.co/qbo-complete/Intuit's 2024 Investor Day event: https://www.youtube.com/embed/8cJ9vqr6gYg?si=C3UD7Hsxu2QMtx4rHector's App - RightTool www.righttool.appAlicia's 1099 class: http://royl.ws/QBO1099Alicia's RoyalWise OWLS QBO Training - http://royl.ws/uqapodcastIntuit Connect Conference www.quickbooksconnect.comCheck out Alicia's step-by-step QBO Textbooks at http://www.questivaconsultants.comThe Comprehensive Guide to Converting from QuickBooks® Desktop (QBDT®) to QuickBooks® Online (QBO®) https://www.amazon.com/dp/B0D8L29Z5LQuickBooks Online: From Setup to Tax Time https://www.amazon.com/dp/B0CXZB1R95Sign up to Earmark to earn free CPE for listening to this podcasthttps://www.earmark.app/onboarding (00:00) - Welcome to the Unofficial QuickBooks Accountants Podcast (02:19) - Exploring Custom Report Builder Templates (05:22) - Visualizing Reports with Chart View (10:22) - Advanced Filtering and Boolean Logic (18:21) - Grouping and Subgrouping Data (22:20) - Leveraging More Columns for Detailed Insights (28:21) - Pivot Tables and Summary Reports (30:01) - Benefits of Pivot Tables (34:33) - General Options and Formatting (41:37) - Exporting and Sharing Reports (45:19) - Upcoming Classes and Events (48:05) - Conclusion and Final Thoughts

It's no secret that your database is your biggest asset — but are you leveraging it to the best of your ability? In this Tactical Tuesday episode, Sam walks us through how to use tags on candidate profiles to make your searches even smarter. It's an underused feature in Loxo (and for recruiters in general) and one that takes the concept of an MPC approach and puts it on steroids.Getting the most out of your database — and having a longterm approach to candidate relationships — is the way to win in 2024 and beyond. Do you feel confident that you're doing so? Chapters:00:00 - Podcast intro01:40 - How to leverage the power of tags in your candidate database05:00 - Boolean logic meets tags: A smarter way to find top talent05:43 - Podcast wrap-upExplore all our episodes and catch the full video experience at loxo.co/podcastBecoming a Hiring Machine is brought to you by Loxo. To discover more about us, just visit loxo.co

Stephen Wolfram answers questions from his viewers about the future of science and technology as part of an unscripted livestream series, also available on YouTube here: https://wolfr.am/youtube-sw-qa Questions include: ​​How do you envision the future of physics-informed neuroscience? In particular, do you believe that despite the brain being a warm environment, quantum effects such as entanglement and superposition play a role in its function? Finally, do you think the concept of "quantum cognition" will remain more philosophical than scientific? - Are microtubules like electrochemical transistors? - Could the concrete Boolean arithmetic functional devices in our brains be affected by temperature, or is temperature one layer above that? - Which do you think would happen first: repairing brains naturally through natural science research or having the first "computer brain" transplant for those who suffer brain traumas? - ​​I've heard AI should be able to develop treatments for cancer, but it will take decades of machine learning. What do you think could accelerate this learning process? - Maybe not a cure, but a control? Micro-monitoring and cancer-killing nanobots? - Will we ever perfect the human immune system? - ​​Do you think that the relevance weight of the "microbiome" in medical science will increase in the future? - Maybe not an artificial brain, but what about artificial hearts? Would those be easier to have a technological implant vs. a natural one? Or even livers or kidneys? - ​In the future, hopefully we can have a machine/detector that can detect every atom or molecule in our bodies, and we can simulate solutions on a fast computer.

Find More Episodes on PCA Overdrive: https://www.pcaoverdrive.org/ask-a-painter PCA Overdrive is free for members. Not a member? Download the app on the Apple Store or Google Play and enjoy a 7 day free trial! Become a member: https://www.pcapainted.org/membership-resources/ Guests Chris Kiefer and Nathan TenNapel www.helloboolean.com Book a discovery call with Nathan: Https://meetings.hubspot.com/nathan-tennapel/discovery Attend a Painting Contractors Association - PCA event for FREE! Scholarship applications: https://www.pcapainted.org/event-scholarships/ Want a LIVE Masters Class in your area? Contact Marsha at the PCA mbass@pcapainted.org and we can arrange it for you! https://app.be.live/ytsmZZsSU9Zsk5h6MhcbmWixPnMKBpkE/guest PCA member companies are 15x larger, more profitable and more stable than the average painting company. How did they do this? PCA's Business Training: https://www.pcapainted.org/business-training/ Link to the PCA's event page: https://www.pcapainted.org/events/ Upcoming events: -PCA en Espanol 12-13 September Anaheim, Ca -Tom Reber's Mile High Profit Summit - 19 Sep -SoCal // SurfPrep Master's Class - 27 Sep - Lake Elsinore Ca -Women In Paint - 8-10 Oct Hollywood Beach Fl -PCA Residential Conference 24-25 Oct Minneapolis Mn -PCA Commercial Contractor's Retreat 12-15 Nov Scottsdale, Az -Gathering of MN Painters / SW / Graco Master's Class - 6 Dec -PCA Expo Feb 3-7 2025 Colorado Springs

By mastering LinkedIn's advanced search, you can take a proactive approach to job hunting and networking. The post #645 Powerful LinkedIn Boolean Search Methods appeared first on Cheeky Scientist.

Reviews have a huge impact on your business. Five-star writeups are a big boost! But a few negative reviews can be ruinous. Chris Kiefer of Boolean explains the art of generating great reviews from your customers. (Plus: Andrew's just had dental work, and his face is, well…half frozen?) Sponsored by: BEHR & HYDE

In this episode of Cheeky Scientist, we discuss how to increase your Social Selling Index online and how to attract more employers to your professional online profiles. We also discuss how to do advanced Boolean searches for jobs that are a good fit for you by using combinations of search terms such as skills, groups, companies and more. The post #606 Increasing Your Social Selling Index & Doing Advanced Boolean Searches To Get Hired appeared first on Cheeky Scientist.

Listen to Chris Kiefer talk about his journey and give tips on using automation in your industry. This episode is full of ideas on how automation and AI can change your business!Key Takeaways:Save Time & Money with Automation: Using technology to handle tasks like updating customer records, making quotes, and managing schedules can save lots of time and money, letting your team work on more important things.Find and Fix Workflow Problems: Look at how your work gets done and find the slow spots. Then, you can use automation to make things run smoother and faster.Improve Jobs, Don't Replace Them: Automation should make jobs better by letting people focus on more valuable tasks, not taking their jobs away.Don't miss out on this opportunity to gain valuable insights and take your business to the next level with AI and automation!Find Chris:Via Email: chris@helloboolean.comLinkedIn: www.linkedin.com/in/chris-kieferIG: www.instagram.com/pursuitofpurpose.podFB: www.facebook.com/chriskiefer4TikTok: https://www.tiktok.com/@chriskiefer1Join Our Group: https://www.facebook.com/groups/hvacrevealedPresented By On Purpose Media: https://www.onpurposemedia.ca/For HVAC Internet Marketing reach out to us at info@onpurposemedia.ca or 888-428-0662Sponsored By: Chiirp: https://chiirp.com/hssrElite Call: https://elitecall.netService World Expo: https://www.serviceworldexpo.com/On Purpose Media: https://onpurposemedia.ca

John Venn created the Venn diagram, and though he's an important figure in the fields of mathematics and logic, he eventually left that work behind to write historical accounts of the places and people that were important in his life. Research: Baron, Margaret E.. “A Note on the Historical Development of Logic Diagrams: Leibniz, Euler and Venn.” The Mathematical Gazette, vol. 53, no. 384, 1969, pp. 113–25. JSTOR, https://doi.org/10.2307/3614533 Bassett, Troy J. "Author: Susanna Carnegie Venn." At the Circulating Library: A Database of Victorian Fiction, 1837—1901, 3 June 2024, http://www.victorianresearch.org/atcl/show_author.php?aid=661 com Editors. “John Venn Biography.: A&E. April 2, 2014. https://www.biography.com/scientists/john-venn Boyer, Carl B.. "Leonhard Euler". Encyclopedia Britannica, 21 Jun. 2024, https://www.britannica.com/biography/Leonhard-Euler Britannica, The Editors of Encyclopaedia. "Boolean algebra". Encyclopedia Britannica, 14 May. 2024, https://www.britannica.com/topic/Boolean-algebra Britannica, The Editors of Encyclopaedia. "Kingston upon Hull". Encyclopedia Britannica, 23 Jun. 2024, https://www.britannica.com/place/Kingston-upon-Hull “A Cricket Sensation.” Saffron Walden Weekly News. June 11, 1909. https://www.newspapers.com/image/800046974/?match=1&terms=John%20Venn%20cricket%20machine Collier, Irwin. “Cambridge. Guide to the Moral Sciences Tripos. James Ward, editor, 1891.” Feb 26, 2018. https://www.irwincollier.com/cambridge-on-the-moral-sciences-tripos-james-ward-editor-1891/ Duignan, Brian. "John Venn". Encyclopedia Britannica, 12 Jun. 2024, https://www.britannica.com/biography/John-Venn Duignan, Brian. "Venn diagram". Encyclopedia Britannica, 25 Apr. 2024, https://www.britannica.com/topic/Venn-diagram Gordon, Neil. “Venn: the person behind the famous diagrams – and why his work still matters today.” EconoTimes. April 14, 2023. https://www.econotimes.com/Venn-the-person-behind-the-famous-diagrams--and-why-his-work-still-matters-today-1654353 Hall, Madeleine. “The Improbably Genius of John Venn.” The Spectator. April 4, 2023. https://www.spectator.co.uk/article/the-improbable-genius-of-john-venn/ “History.” Highgate School. https://www.highgateschool.org.uk/about/our-history/ “The Jargon.” Queens' College Cambridge. https://www.queens.cam.ac.uk/visiting-the-college/history/university-facts/the-jargon “John Venn Of Caius.” The British Medical Journal, vol. 1, no. 3250, 1923, pp. 641–42. JSTOR, http://www.jstor.org/stable/20423118 Lenze, Wolfgang. “Leibniz: Logic.” Internet Encyclopedia of Philosophy. https://iep.utm.edu/leib-log/ O'Connor, J.J. and E.F. Robertson. “John Venn.” Mac Tutor. School of Mathematics and Statistics, University of St. Andrews, Scotland. October 2003. “Professor Hugh Hunt leads engineering team to recreate historic cricket bowling machine.” Trinity College Cambridge. June 6, 2024. https://www.trin.cam.ac.uk/news/professor-hugh-hunt-leads-engineering-team-to-recreate-historic-bowling-machine-that-bowled-out-australian-cricketers-more-than-100-years-ago/ Venn, John. “The logic of chance. An essay on the foundations and province of the theory of probability, with especial reference to its logical bearings and its application to moral and social science.” London. Macmillan, 1876. Accessed online: https://archive.org/details/50424309/page/n19/mode/2up Venn, John. “The principles of empirical or inductive logic.” 1889. https://archive.org/details/principlesempir00venngoog B.H. “John Venn.” Obituary notices of fellows deceased. Royal Society Publishing. April 1, 1926. Accessed online: https://royalsocietypublishing.org/doi/epdf/10.1098/rspa.1926.0036 Young, Angus. “John Venn Inspired £325k makeover of Hull's Drypool Bridge is now complete.” Hull Live. June 5, 2017. https://www.hulldailymail.co.uk/news/drypool-bridge-turned-work-art-91547 See omnystudio.com/listener for privacy information.

The term ‘nil' refers to the absence of value, but we often imbue it with much more meaning than just that. Today, hosts Joël and Stephanie discuss the various ways we tend to project extra semantics onto nil and the implications of this before unpacking potential alternatives and trade-offs. Joël and Stephanie highlight some of the key ways programmers project additional meaning onto nil (and why), like when it's used to create a guest session, and how this can lead to bugs, confusion, and poor user experiences. They discuss solutions to this problem, like introducing objects for improved readability, before taking a closer look at the implications of excessive guard clauses in code. Our hosts also explore the three-state Boolean problem, illustrating the pitfalls of using nullable Booleans, and why you should use default values in your database. Joël then shares insights from the Elm community and how it encourages rigorous checks and structured data modeling to manage nil values effectively.

They advocate for using nil only to represent truly optional data, cautioning against overloading nil with additional meanings that can compromise code clarity and reliability. Joël also shares a fun example of modeling a card deck, explaining why you might be tempted to add extra semantics onto nil, and why the joker always inevitably ends up causing chaos!
 Key Points From This Episode The project Joël is working on and why he's concerned about bugs and readability. Potential solutions for a confusing constant definition in a nested module. A client work update from Stephanie: cleaning up code and removing dead dependencies. How she used Figjam to discover dependencies and navigate her work. Today's topic: how programmers project extra semantics onto nil. What makes nil really tricky to use, like forcing you to go down a default path. How nil sweeps the cases you don't want to think too hard about under the rug. Extra semantics that accompany nil (that you might not know about) like a guest session. Examples of how these semantics mean different things in different contexts. How these can lead to bugs, hard-to-find knowledge, confusion, and poor user experiences. Introducing objects to replace extra nil semantics, improve readability, and other solutions. Some of the reasons why programmers tend to project extra semantics onto nil. How to notice that nil has additional meanings, and when to model it differently. The implications of excessive guard clauses in code. An overview of the three-state Boolean problem with nullable Booleans. Connecting with the Elm community: how it can help you conduct more rigorous checks. Some of the good reasons to have nil as a value in your database. The benefits of using nil only to represent truly optional data. Links Mentioned in Today's Episode Figjam (https://www.figma.com/figjam/) Miro (https://miro.com/) 'Working Iteratively' blog post (https://thoughtbot.com/blog/working-iteratively) Mermaid.js (https://mermaid.js.org/) Draw.io (https://draw.io/) Check your return values (web) (https://thoughtbot.com/blog/check-return-values-web) Check your return values (API) (https://thoughtbot.com/blog/check-return-values-api) Primitive obsession (https://wiki.c2.com/?PrimitiveObsession) 'Avoid the Three-state Boolean Problem' (https://thoughtbot.com/blog/avoid-the-threestate-boolean-problem) Elm Community (https://elm-lang.org/community) 'The Shape of Data': Modeling a deck of cards (https://thoughtbot.com/blog/modeling-with-union-types#the-shape-of-data) The Bike Shed (https://bikeshed.thoughtbot.com/) Joël Quenneville on LinkedIn (https://www.linkedin.com/in/joel-quenneville-96b18b58/)

Public health job titles and postings are not as standardized as they are in many other fields. Another issue is that many public health organizations use different terms to describe similar roles. So what happens when your search is no longer yielding results?Fortunately, there are simple strategies for finding job opportunities in the public health field beyond the obvious ones. When you're stuck, try generating specific and general job titles to search for with this formula which includes the prefix (topic) and suffix (functional duty).Once you have your job search terms, using a Boolean search strategy can help you to combine different job titles and keywords to yield more specific results. Find out more in this episode of the Public Health Insight Podcast.References◼️ LinkedIn Post: One way to find jobs when you're stuck...Hosts & Producers◼️ Gordon Thane, BMSc, MPH, PMP®◼️ Leshawn Benedict, MPH, MSc, PMP®Production Notes◼️ Music from Johnny Harris x Tom Fox: The Music RoomSubscribe to the NewsletterSubscribe to The Insight newsletter so you don't miss out on the latest podcast episodes, live events, job skills, learning opportunities, and other engaging professional development content here.Send us a Text Message to let us know what you think.

This Tactical Tuesday conversation highlights the limitations of using job titles as a search term when looking for candidates — and introduces better ways to source talent.Job titles are not always indicative of the specific skills, experience, and responsibilities of a candidate — and often, they're more of a representation of where the candidate is than we're they're going.There are other issues, too, like the fact that companies often use creative job titles that may not accurately represent the role, and job titles can vary widely between companies — making it difficult to compare candidates. Vivien's recommendation is that instead of relying on job titles, recruiters should use Boolean search and filters to find candidates based on specific skills and experiences.Chapters:00:00 - Podcast Intro02:02 - Rethinking Job Titles in Talent Sourcing08:33 - Optimizing Candidate Search with Boolean Techniques13:37 - Final Tips and Podcast Wrap-UpExplore all our episodes and catch the full video experience at loxo.co/podcastBecoming a Hiring Machine is brought to you by Loxo. To discover more about us, just visit loxo.co

In The Room Series 4 Eps 05. Angels, Demons, NDE, then 1s and 0s. Garvin and George started talking about angels and demons and Garvin asked George if he believed in them. As a deacon, he does, but things have to be tested out to see what is true or false. A Boolean statement looked as though it was going to emerge, however, things go off in other directions about what drives us and our purpose.

Are you tired of feeling like you're always one step behind in finding the best candidates in today's competitive job market? In this enlightening episode of The Elite Recruiter Podcast, host Benjamin Mena welcomes recruiting expert Michael Rasmussen to share his wealth of knowledge on modern sourcing hacks that can elevate your recruitment game. Amid the rapid changes in recruiting technology and techniques, knowing how to effectively source talent is critical for any recruiter aiming for success. Whether you are a seasoned pro or just starting out, this episode delivers actionable insights to enhance your sourcing strategies and achieve better results. 1. **Harnessing AI for Greater Efficiency:** Michael Rasmussen reveals how to leverage AI tools like Chat GPT to fine-tune Boolean strings, craft personalized candidate messages, and identify synonymous terms that can expand your search results—saving you time while increasing your productivity. 2. **Exploring Beyond LinkedIn:** Learn how to tap into a vast array of platforms such as Facebook, GitHub, and employing sophisticated Google search techniques using the site operator to uncover diverse candidate profiles, including those in trades who may not be on LinkedIn. 3. **Game-Changing Sourcing Tools:** Gain expert recommendations on a variety of powerful tools like Lucia, ContactOut, Rocket Reach, Kendo, and several others to streamline your contact methods and ensure you have every possible edge in sourcing the right talent. Don't miss out on these transformative sourcing strategies—listen to the episode now to unlock the full potential of your recruiting efforts and start placing top-tier talent effortlessly!  Join The Elite Recruiter Community:  https://elite-recruiter.circle.so/join?invitation_token=5089bd69d8ac69486fc7afca52662675ec3ffc8a-d63afaf0-02f2-4925-9f80-b83f00d142de  Signup for future emails from The Elite Recruiter Podcast: https://eliterecruiterpodcast.beehiiv.com/subscribe  YouTube: https://youtu.be/AXD0k-Iak_8 Michael Rasmussen LinkedIn: https://www.linkedin.com/in/michaelrasmussen408/ With your Host Benjamin Mena with Select Source Solutions: http://www.selectsourcesolutions.com/  Benjamin Mena LinkedIn: https://www.linkedin.com/in/benjaminmena/  Benjamin Mena Instagram: https://www.instagram.com/benlmena/  Benjamin Mena TikTok: https://www.tiktok.com/@benjaminlmena

Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: The consistent guessing problem is easier than the halting problem, published by Jessica Taylor on May 20, 2024 on The AI Alignment Forum. The halting problem is the problem of taking as input a Turing machine M, returning true if it halts, false if it doesn't halt. This is known to be uncomputable. The consistent guessing problem (named by Scott Aaronson) is the problem of taking as input a Turing machine M (which either returns a Boolean or never halts), and returning true or false; if M ever returns true, the oracle's answer must be true, and likewise for false. This is also known to be uncomputable. Scott Aaronson inquires as to whether the consistent guessing problem is strictly easier than the halting problem. This would mean there is no Turing machine that, when given access to a consistent guessing oracle, solves the halting problem, no matter which consistent guessing oracle (of which there are many) it has access too. As prior work, Andrew Drucker has written a paper describing a proof of this, although I find the proof hard to understand and have not checked it independently. In this post, I will prove this fact in a way that I at least find easier to understand. (Note that the other direction, that a Turing machine with access to a halting oracle can be a consistent guessing oracle, is trivial.) First I will show that a Turing machine with access to a halting oracle cannot in general determine whether another machine with access to a halting oracle will halt. Suppose M(O, N) is a Turing machine that returns true if N(O) halts, false otherwise, when O is a halting oracle. Let T(O) be a machine that runs M(O, T), halting if it returns false, running forever if it returns true. Now M(O, T) must be its own negation, a contradiction. In particular, this implies that the problem of deciding whether a Turing machine with access to a halting oracle halts cannot be a Σ01 statement in the arithmetic hierarchy, since these statements can be decided by a machine with access to a halting oracle. Now consider the problem of deciding whether a Turing machine with access to a consistent guessing oracle halts for all possible consistent guessing oracles. If this is a Σ01 statement, then consistent guessing oracles must be strictly weaker than halting oracles. Since, if there were a reliable way to derive a halting oracle from a consistent guessing oracle, then any machine with access to a halting oracle can be translated to one making use of a consistent guessing oracle, that halts for all consistent guessing oracles if and only if the original halts when given access to a halting oracle. That would make the problem of deciding whether a Turing machine with access to a halting oracle halts a Σ01 statement, which we have shown to be impossible. What remains to be shown is that the problem of deciding whether a Turing machine with access to a consistent guessing oracle halts for all consistent guessing oracles, is a Σ01 statement. To do this, I will construct a recursively enumerable propositional theory T that depends on the Turing machine. Let M be a Turing machine that takes an oracle as input (where an oracle maps encodings of Turing machines to Booleans). Add to the T the following propositional variables: ON for each Turing machine encoding N, representing the oracle's answer about this machine. H, representing that M(O) halts. Rs for each possible state s of the Turing machine, where the state includes the head state and the state of the tape, representing that s is reached by the machine's execution. Clearly, these variables are recursively enumerable and can be computably mapped to the natural numbers. We introduce the following axiom schemas: (a) For any machine N that halts and returns true, ON. (b) For any machine N that halts and returns false, ON. (c) For any ...

Are you looking to learn the ins and outs of LinkedIn Boolean search? Then this podcast is for you! I'm breaking down the basics of Boolean search and exploring the best keywords to use, how to use Boolean operators to refine your search, and get the best results. By the end of this podcast, you'll have a better understanding of how to use Boolean searches on LinkedIn and save time on your search. Learn everything you need to know about Boolean search on LinkedIn today! 

Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Can Kauffman's NK Boolean networks make humans swarm?, published by Yori Ong on May 8, 2024 on The AI Alignment Forum. With this article, I intend to initiate a discussion with the community on a remarkable (thought) experiment and its implications. The experiment is to conceptualize Stuart Kauffman's NK Boolean networks as a digital social communication network, which introduces a thus far unrealized method for strategic information transmission. From this premise, I deduce that such a technology would enable people to 'swarm', i.e.: engage in self-organized collective behavior without central control. Its realization could result in a powerful tool for bringing about large-scale behavior change. The concept provides a tangible connection between network topology, common knowledge and cooperation, which can improve our understanding of the logic behind prosocial behavior and morality. It also presents us with the question of how the development of such a technology should be pursued and how the underlying ideas can be applied to the alignment of AI with human values. The intention behind sharing these ideas is to test whether they are correct, create common knowledge of unexplored possibilities, and to seek concrete opportunities to move forward. This article is a more freely written form of a paper I recently submitted to the arXiv, which can be found here. Introduction Random NK Boolean networks were first introduced by Stuart Kauffman in 1969 to model gene regulatory systems.[1] The model consists of N automata which are either switched ON (1) or OFF (0). The next state of each automaton is determined by a random boolean function that takes the current state of K other automata as input, resulting in a dynamic network underpinned by a semi-regular and directed graph. It can be applied to model gene regulation, in which the activation of some leads to the activation or suppression of others, but also to physical systems, in which a configuration of spins acting on another will determine whether it flips up or down. NK Boolean networks evolve deterministically: each following state can be computed based on its preceding state. Since the total number of possible states of the network is finite (although potentially very large), the network must eventually return to a previously visited state, resulting in cyclic behavior. The possible instances of Boolean networks can be subdivided between an ordered and a chaotic regime, which is mainly determined by the number of inputs for each node, K. In the ordered regime, the behavior of the network eventually gets trapped in cycles (attractors) that are relatively short and few in number. When a network in the ordered phase is perturbed by an externally induced 'bit-flip', the network eventually returns to the same or slightly altered ordered behavior. If the connectivity K is increased beyond a certain critical threshold, the network's behavior transitions from ordered to chaotic. States of the network become part of many and long cycles and minute external perturbations can easily change the course of the network state's evolution to a different track. This is popularly called the 'butterfly effect'. It has been extensively demonstrated that human behavior is not just determined by our 'own' decisions. Both offline and online social networks determine the input we receive, and causally influence the choices we make and opinions we adopt autonomously.[2] However, social networks are not regular, social ties are often reciprocal instead of directed and people are no automata. NK Boolean networks are therefore not very suitable for modeling an existing reality. What is nevertheless possible in the digital age, is to conceptualize and realize online communication networks based on its logic: just give N people a 'lightbulb app...

In this episode of the Manufacturing Culture Podcast, host Jim Mayer interviews Ann Wyatt, the founder of Ann Wyatt Recruiting and the host of the Workforce 4.0 show. Ann shares her journey from working in the government to starting her own recruiting business. She specializes in recruiting for the manufacturing industry, particularly metals, pulp, and paper. Ann discusses the skills gap in manufacturing and how she helps companies bridge that gap by advocating for workforce development and implementing new technologies. Ann Wyatt discusses training challenges in the manufacturing industry and the need to advocate for short-term training and transferable skill sets in this conversation. They also explore the automation culture paradox and the importance of data in measuring workforce performance. Ann shares her insights on the future of talent acquisition and company culture in manufacturing, emphasizing the value of people over capital investments. They conclude by discussing the need to focus on employee experience and the importance of not singling out employees. Takeaways Ann Wyatt is a pioneer in talent acquisition for the manufacturing industry, focusing on metals, pulp, and paper. She is passionate about workforce development and bridging the skills gap in manufacturing. Ann helps companies by advocating for workforce development programs and implementing new technologies. She uses Boolean search strings to find qualified candidates and enjoys the screening process. Advocate for short-term training and identify transferable skill sets to address training challenges in the manufacturing industry. Recognize the automation culture paradox and the need for cultural readiness to embrace automation in manufacturing facilities. Utilize data to measure workforce performance and make informed talent acquisition and retention decisions. Value people as a capital investment in manufacturing and prioritize their well-being and development. To create a positive and engaging work culture, focus on the entire employee experience, from recruitment to exit interviews. Connect with Ann on Linkedin Watch Workforce 4.0 on YouTube Are you ready to elevate your team's skills to the next level? Check out Baltu Technologies! They specialize in advancing workforce development through intuitive micro-learning platforms. Whether in manufacturing or education, Baltu provides tailored upskilling programs and software solutions designed to boost efficiency and expertise. Empower your organization with the tools it needs for tomorrow's challenges. Visit Baltu Technologies today and start your journey towards a smarter workforce. Imagine a workplace where every team member feels recognized and valued. That's the promise of Secchi, the leading Employee Relationship Management solution. Secchi empowers frontline leaders to effectively inspire, recognize, and coach their teams. With Secchi's system, you can enhance performance through strategic decision-making, impactful recognition, and real-time process control. Ready to transform your organizational culture? Visit Secchi now and see how it can affect your team's dynamics.

Introduction This is the start of a short series about the JSON data format, and how the command-line tool jq can be used to process such data. The plan is to make an open series to which others may contribute their own experiences using this tool. The jq command is described on the GitHub page as follows: jq is a lightweight and flexible command-line JSON processor …and as: jq is like sed for JSON data - you can use it to slice and filter and map and transform structured data with the same ease that sed, awk, grep and friends let you play with text. The jq tool is controlled by a programming language (also referred to as jq), which is very powerful. This series will mainly deal with this. JSON (JavaScript Object Notation) To begin we will look at JSON itself. It is defined on the Wikipedia page thus: JSON is an open standard file format and data interchange format that uses human-readable text to store and transmit data objects consisting of attribute–value pairs and arrays (or other serializable values). It is a common data format with diverse uses in electronic data interchange, including that of web applications with servers. The syntax of JSON is defined by RFC 8259 and by ECMA-404. It is fairly simple in principle but has some complexity. JSON's basic data types are (edited from the Wikipedia page): Number: a signed decimal number that may contain a fractional part and may use exponential E notation, but cannot include non-numbers. (NOTE: Unlike what I said in the audio, there are two values representing non-numbers: 'nan' and infinity: 'infinity'. String: a sequence of zero or more Unicode characters. Strings are delimited with double quotation marks and support a backslash escaping syntax. Boolean: either of the values true or false Array: an ordered list of zero or more elements, each of which may be of any type. Arrays use square bracket notation with comma-separated elements. Object: a collection of name–value pairs where the names (also called keys) are strings. Objects are delimited with curly brackets and use commas to separate each pair, while within each pair the colon ':' character separates the key or name from its value. null: an empty value, using the word null Examples These are the basic data types listed above (same order): 42 "HPR" true ["Hacker","Public","Radio"] { "firstname": "John", "lastname": "Doe" } null jq From the Wikipedia page: jq was created by Stephen Dolan, and released in October 2012. It was described as being “like sed for JSON data”. Support for regular expressions was added in jq version 1.5. Obtaining jq This tool is available in most of the Linux repositories. For example, on Debian and Debian-based releases you can install it with: sudo apt install jq See the download page for the definitive information about available versions. Manual for jq There is a detailed manual describing the use of the jq programming language that is used to filter JSON data. It can be found at https://jqlang.github.io/jq/manual/. The HPR statistics page This is a collection of statistics about HPR, in the form of JSON data. We will use this as a moderately detailed example in this episode. A link to this page may be found on the HPR Calendar page close to the foot of the page under the heading Workflow. The link to the JSON statistics is https://hub.hackerpublicradio.org/stats.json. If you click on this you should see the JSON data formatted for you by your browser. Different browsers represent this in different ways. You can also collect and display this data from the command line, using jq of course: $ curl -s https://hub.hackerpublicradio.org/stats.json | jq '.' | nl -w3 -s' ' 1 { 2 "stats_generated": 1712785509, 3 "age": { 4 "start": "2005-09-19T00:00:00Z", 5 "rename": "2007-12-31T00:00:00Z", 6 "since_start": { 7 "total_seconds": 585697507, 8 "years": 18, 9 "months": 6, 10 "days": 28 11 }, 12 "since_rename": { 13 "total_seconds": 513726307, 14 "years": 16, 15 "months": 3, 16 "days": 15 17 } 18 }, 19 "shows": { 20 "total": 4626, 21 "twat": 300, 22 "hpr": 4326, 23 "duration": 7462050, 24 "human_duration": "0 Years, 2 months, 27 days, 8 hours, 47 minutes and 30 seconds" 25 }, 26 "hosts": 356, 27 "slot": { 28 "next_free": 8, 29 "no_media": 0 30 }, 31 "workflow": { 32 "UPLOADED_TO_IA": "2", 33 "RESERVE_SHOW_SUBMITTED": "27" 34 }, 35 "queue": { 36 "number_future_hosts": 7, 37 "number_future_shows": 28, 38 "unprocessed_comments": 0, 39 "submitted_shows": 0, 40 "shows_in_workflow": 15, 41 "reserve": 27 42 } 43 } The curl utility is useful for collecting information from links like this. I have used the -s option to ensure it does not show information about the download process, since it does this by default. The output is piped to jq which displays the data in a “pretty printed” form by default, as you see. In this case I have given jq a minimal filter which causes what it receives to be printed. The filter is simply '.'. I have piped the formatted JSON through the nl command to get line numbers for reference. The JSON shown here consists of nested JSON objects. The first opening brace and the last at line 43 define the whole thing as a single object. Briefly, the object contains the following: a number called stats_generated (line 2) an object called age on lines 3-18; this object contains two strings and two objects an object called shows on lines 19-25 a number called hosts on line 26 an object called slot on lines 27-30 an object called workflow on lines 31-34 an object called queue on lines 35-42 We will look at ways to summarise and reformat such output in a later episode. Next episode I will look at some of the options to jq next time, though most of them will be revealed as they become relevant. I will also start looking at jq filters in that episode. Links JSON (JavaScript Object Notation): Wikipedia page about JSON Standards: RFC8259: The JavaScript Object Notation (JSON) Data Interchange Format ECMA-404: The JSON data interchange syntax jq: GitHub page Downloading jq The jq manual Wikipedia page about the jq programming language MrX's show on using the HPR statistics in JSON: Modifying a Python script with some help from ChatGPT

Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Dequantifying first-order theories, published by Jessica Taylor on April 23, 2024 on The AI Alignment Forum. The Löwenheim-Skolem theorem implies, among other things, that any first-order theory whose symbols are countable, and which has an infinite model, has a countably infinite model. This means that, in attempting to refer to uncountably infinite structures (such as in set theory), one "may as well" be referring to an only countably infinite structure, as far as proofs are concerned. The main limitation I see with this theorem is that it preserves arbitrarily deep quantifier nesting. In Peano arithmetic, it is possible to form statements that correspond (under the standard interpretation) to arbitrary statements in the arithmetic hierarchy (by which I mean, the union of Σ0n and Π0n for arbitrary n). Not all of these statements are computable. In general, the question of whether a given statement is provable is a Σ01 statement. So, even with a countable model, one can still believe one's self to be "referring" to high levels of the arithmetic hierarchy, despite the computational implausibility of this. What I aim to show is that these statements that appear to refer to high levels of the arithmetic hierarchy are, in terms of provability, equivalent to different statements that only refer to a bounded level of hypercomputation. I call this "dequantification", as it translates statements that may have deeply nested quantifiers to ones with bounded or no quantifiers. I first attempted translating statements in a consistent first-order theory T to statements in a different consistent first-order theory U, such that the translated statements have only bounded quantifier depth, as do the axioms of U. This succeeded, but then I realized that I didn't even need U to be first-order; U could instead be a propositional theory (with a recursively enumerable axiom schema). Propositional theories and provability-preserving translations Here I will, for specificity, define propositional theories. A propositional theory is specified by a countable set of proposition symbols, and a countable set of axioms, each of which is a statement in the theory. Statements in the theory consist of proposition symbols, , , and statements formed from and/or/not and other statements. Proving a statement in a propositional theory consists of an ordinary propositional calculus proof that it follows from some finite subset of the axioms (I assume that base propositional calculus is specified by inference rules, containing no axioms). A propositional theory is recursively enumerable if there exists a Turing machine that eventually prints all its axioms; assume that the (countable) proposition symbols are specified by their natural indices in some standard ordering. If the theory is recursively enumerable, then proofs (that specify the indices of axioms they use in the recursive enumeration) can be checked for validity by a Turing machine. Due to the soundness and completeness of propositional calculus, a statement in a propositional theory is provable if and only if it is true in all models of the theory. Here, a model consists of an assignment of Boolean truth values to proposition symbols such that all axioms are true. (Meanwhile, Gödel's completeness theorem shows soundness and completeness of first-order logic.) Let's start with a consistent first-order theory T, which may, like propositional theories, have a countable set of symbols and axioms. Also assume this theory is recursively enumerable, that is, there is a Turing machine printing its axioms. The initial challenge is to find a recursively enumerable propositional theory U and a computable translation of T-statements to U-statements, such that a T-statement is provable if and only if its translation is provable. This turns out to be trivia...

Our friend Damien Riehl stopped by to talk with Marlene Gebauer about two big happenings at vLex. Riehl unveiled exciting advancements in vLex's AI-powered legal research platform and shed light on vLex's commitment to streamlining legal workflows and reducing the need for extensive prompt engineering. One of the major developments is the enhanced document analysis feature. Users can now upload legal documents, such as complaints, and vLex's AI will automatically extract key information including claims, facts, parties involved, and potential legal defenses. This eliminates the tedious manual process of reviewing and analyzing documents, saving lawyers significant time and effort. Additionally, the platform suggests relevant legal research questions based on the document's content, further expediting the research process. vLex's advancements directly address the growing concerns surrounding prompt engineering in legal tech. By automating key analytical tasks, the platform empowers lawyers to focus on higher-level strategizing and client interactions, rather than spending hours crafting the perfect prompts for AI tools. Riehl echoes the sentiment of OpenAI's Sam Altman, believing that successful AI integration should render prompt engineering obsolete. He acknowledges that the option to fine-tune prompts remains, similar to Boolean search techniques, but emphasizes that vLex aims to make it a choice rather than a necessity. The potential impact on the legal industry is substantial. Clients, especially large corporations, can leverage vLex's capabilities to analyze past legal actions and assess the value provided by their law firms. This transparency could lead to a shift from billable hours to flat-fee arrangements, incentivizing efficiency and cost-effectiveness. Further amplifying vLex's potential, the company welcomes Daniel Hoadley, a renowned legal tech expert, to lead their research and development team. Hoadley's expertise in data science and large language models promises exciting advancements in harnessing the power of vLex's vast legal document database. With a robust roadmap of projects, vLex's is poised to continue pushing the boundaries of legal technology and shaping the future of legal practice. Listen on mobile platforms:  ⁠⁠⁠⁠Apple Podcasts⁠⁠⁠⁠ |  ⁠⁠⁠⁠Spotify⁠⁠⁠⁠ | ⁠⁠⁠YouTube⁠⁠ Contact Us:  Twitter: ⁠⁠⁠⁠⁠@gebauerm⁠⁠⁠⁠⁠, or ⁠⁠⁠⁠⁠@glambert⁠⁠⁠⁠⁠Threads: @glambertpod or @gebauerm66Email: geekinreviewpodcast@gmail.comMusic: ⁠⁠⁠⁠⁠⁠⁠⁠Jerry David DeCicca⁠⁠⁠⁠

Techcrunch is reporting that Checkr, a 10-year-old employee background check company  which was last valued at $5 billion has laid off 382 employees as companies are not significantly hiring talent. https://techcrunch.com/2024/04/10/checkr-layoffs/ Tech company Multiverse has acquired Searchlight, a talent intelligence and skills assessment platform that uses AI to help companies close their skills gaps. https://hrtechfeed.com/multiverse-acquires-ai-talent-software-company-searchlight/ NEW YORK – Cadient, a leading provider of talent acquisition solutions in the hourly hiring sector, has been acquired by Basis Vectors Capital, a private equity and technology investment firm that focuses on the B2B sass space https://hrtechfeed.com/cadient-ats-acquired-by-private-equity-firm/ SeekOut, the Talent Intelligence Platform, announced the release of conversational search as part of its SeekOut Assist generative AI product portfolio. The new feature expands the capabilities of SeekOut Assist, enabling recruiters to use their own language in sourcing. This makes powerful AI-assisted searches accessible to all recruiters, allowing for simple descriptions instead of complex Boolean queries. https://hrtechfeed.com/seekout-adds-conversational-search-to-its-platform/ ReadySetHire, powered by Talroo, is a new recruiting platform built from the ground-up exclusively for small businesses that lack the tools and insight needed to follow recruiting best practices to attract new hires.  https://hrtechfeed.com/talroo-launches-readysethire/  

Dive into the world of Building Automation System (BAS) point objects with Phil Zito in Episode 449 of the Smart Buildings Academy Podcast. This episode is dedicated to demystifying BAS point objects, a fundamental concept for professionals in the building automation industry. Whether you're new to BAS or looking to refresh your knowledge, this episode provides valuable insights into different types of point objects, their applications, and how they interact within a BAS environment. Episode Highlights: Introduction to Point Objects: Phil begins with an overview of the basic types of point objects found in building automation systems, including Boolean, Numeric, and Enumerated objects, and their common aliases (Binary, Analog, Multistate). Deep Dive into Point Types: Explore the characteristics of Boolean (Binary), Numeric (Analog), and Enumerated (Multistate) points, including their functions, how they're used in BAS, and nuances across different BAS software. Priority Arrays Explained: Gain a clear understanding of priority arrays, a crucial concept for managing point object priorities within a BAS. Learn how priority arrays influence the behavior of BAS objects and ensure desired outcomes in automation logic. Practical Applications: Phil discusses real-world applications and scenarios where different point objects are utilized within a BAS, providing listeners with practical knowledge to apply in their daily work. Interactive Q&A: The episode includes an interactive Q&A session, where Phil addresses listeners' questions, offering further clarifications on point objects and their use in building automation systems. Join Phil Zito for this informative session on BAS point objects, designed to enhance your understanding and mastery of building automation systems. This episode is a must-listen for anyone involved in designing, implementing, or managing BAS, providing the foundational knowledge needed to navigate the complexities of automation with confidence.

In this episode, I sit down with Chris Kiefer, Automation, Data, and Analytics expert and founder of Boolean. Join us as Chris shares his insights on the importance of automation in a painting business. He gives practical examples of what can be automated to increase efficiency and profitability. Download our podcast-exclusive toolkit of templates for your painting company: ⁠⁠⁠⁠⁠www.paintergrowth.com/podcast/⁠⁠⁠⁠⁠  Learn how to grow your painting company NOW: ⁠⁠⁠⁠⁠go.paintergrowth.com?el=podcast ⁠⁠⁠⁠⁠ Free business breakthrough session with my team: ⁠⁠⁠⁠⁠go.paintergrowth.com/schedule?el=podcast ⁠⁠⁠⁠⁠ Free training series on Youtube: ⁠⁠⁠⁠⁠https://www.youtube.com/@paintergrowthblueprint⁠⁠⁠⁠⁠ Painter Growth Secrets Facebook group: ⁠⁠⁠⁠⁠https://www.facebook.com/groups/paintergrowt⁠

Episode Description: Dive into the intricacies of building automation programming with Phil Zito in Episode 447 of the Smart Buildings Academy Podcast. This technical episode takes a deep dive into the art and science of writing effective building automation programs, focusing on sequences of operations, design patterns, and translating complex sequences into graphical programming interfaces. Episode Highlights: Introduction to Building Automation Programming: Phil sets the stage for a comprehensive exploration of programming fundamentals, emphasizing the transition from theoretical knowledge to practical application. Understanding Sequences of Operations: Learn how to dissect and understand general sequences of operations, focusing on economizers as a primary example to illustrate the process of identifying patterns and translating them into code. Graphical vs. Line Code Programming: Phil explains the difference between graphical and line code programming, focusing on the use of graphical blocks to represent programming logic, making it accessible for beginners and seasoned professionals alike. Decoding Design Patterns: Discover the importance of design patterns in building automation programming, including comparative patterns and PID (Proportional, Integral, Derivative) patterns, and how they apply to various automation tasks. Practical Programming Demonstration: Through a live demonstration, Phil showcases the step-by-step process of writing a program, from identifying variables to implementing logic blocks and adjusting setpoints. Troubleshooting and Optimization: Insights into common programming challenges, such as understanding interlocks, utilizing Boolean logic, and the significance of loop enables for efficient PID control. Q&A and Interactive Learning: Phil addresses listener questions and emphasizes the importance of community feedback in shaping future podcast topics, particularly focusing on areas like Priority Arrays and BACnet fundamentals.

Are you making the most of LinkedIn's free search? Don't miss out on untapped opportunities to elevate your sales approach. Join us for this enlightening conversation and discover how to maximize LinkedIn's potential without spending a dime. Listen in as we uncover often-overlooked features and show you how to optimize your LinkedIn strategy. You'll master the art of navigating the search bar and learn how to leverage second-degree connections for warm introductions. Plus, you'll delve into the impact of Boolean search techniques and gain insights into the effectiveness of video messages. Don't overlook the valuable bonus tip on searching companies through first-degree connections. This episode will provide you with the necessary tools to improve your sales on LinkedIn.

We have an awesome returning podcast guest this week, Chris Kiefer, Founder of Boolean, an Online Review Software and Automation Consulting, is here to discuss the incoming AI “technology wave” that is impacting businesses of all sizes and services. Automation of your organization's workflow and no code tools are things that every business NEEDS to plan for, or risk falling vastly behind the competition. Chris is passionate about this topic and we packed a lot of content into this conversation. If you are not using Ai in your business now, it's time to get started. Shared Resources:  Boolean Automation Channel: https://www.youtube.com/@BooleanAutomation/videosAI & Technology Facebook Group: https://www.facebook.com/groups/920265796370898/AI & Technology for Painters Mailing List: https://go.booleanreview.com/ai-technology-for-paintersChris Kiefer is an engineer, entrepreneur, and thought leader. In 2013, he founded SkEye Media, a top medical marketing and branding agency, followed by the launch of Boolean Review, the highest converting Google review software in the market, and in 2022 created Boolean Automation –a consulting arm that helps residential and commercial painting companies implement no-code automation solutions. He is also the host of Pursuit of Purpose, a celebrated podcast that interviews successful entrepreneurs and inspirational people worldwide. Chris is passionate about exercise, CrossFit, adventure, and spending time with his wife and four kids in northern Idaho. To follow Chris, please visit chriskiefer.com, www.booleanreview.com and @pursuitofpurpose.pod

Ever wondered how the complexity of Language Modeling (LLMs) and cybernetics can revolutionize the way we communicate and interact? Are you curious about the sociopolitical implications of such advancements? Join us in an enlightening discussion with the well-versed Mark Rainey, as we dissect these technologies and their potential impact on our society.Our journey begins with an exploration of LLMs, their potential, and inherent limitations. We discuss the nuanced logic of human language, Boolean operators, and their influence on the design of these systems. We then shift gears to delve into the intriguing world of cybernetics, viable systems, and the behavioralist and cognitivist wars. We scrutinize the implications of these advancements and the tests used to measure intelligence, all the while contemplating the potential and pitfalls of Stafford Beer's Viable System Model. As we navigate further, we probe into the relationship between technology and Marxism, questioning the teleological feedback loop of capital and its effects on the proletariat. We also explore the exciting realm of cybernetic planning and the potential role of LLMs in such systems. Finally, we reflect on the concepts of agency, alienation, class dynamics, and the implications of capitalism on social reproduction. This rich and riveting conversation with Mark Rainey is not to be missed! Support the showCrew:Host: C. Derick VarnAudio Producer: Paul Channel Strip ( @aufhebenkultur )Intro and Outro Music by Bitter Lake.Intro Video Design: Jason MylesArt Design: Corn and C. Derick VarnLinks and Social Media:twitter: @skepoetYou can find the additional streams on Youtube